yusuke1997/dblp-id-title huggingface dataset:
On the accuracy of predicting rate monotonic scheduling performance
Testing Generic Ada Packages with APE
Panel: effects of object-oriented design on reuse and maintenance
Evaluation and Improvement of Performance of the Communication Subsystem of a Real-Time, Distributed, C 2 Simulator
Process and products for software reuse in Ada
A comparison of experiences with the maintenance of object-oriented systems: Ada vs. C++
Attitudes to Ada - a market survey
Full Functional Programming in a Declarative Ada Dialect
Why we don't use Ada (panel session)
Ada 9X Validation
ADAM: A Language-Independent, Object-Oriented, Design Environment for Modeling Inheritance and Relationship Variants in Ada 95, C++, and Eiffel
Ada and software engineering education: one professor's experiences
Building Fault Tolerant Distributed Systems Using IP Multicast
Ada applications on embedded targets
Industrial strength exception freedom
SA2: languages for safety-critical software: issues and assessment
A prototype implementation of the SQL Ada module extension (SAME) method
Position paper
Ada+SQL-an overview
Real-time process control in Ada
Parallel processing and modular software construction
Proceedings of the 2009 Annual ACM SIGAda International Conference on Ada, Saint Petersburg, Florida, USA, November 1-5, 2009
Optimization of Ada '95 Tasking Constructs
A Comparison of the Object-Oriented Features of Ada 95 and Java
Ada-based support for abstraction, encapsulation and unit hierarchy
Using ASIS to generate C++ bindings
Multi-µ: An Ada 95 Based Architecture for Fault Tolerance Support of Real-Time Systems
Allocation strategies for Ada tasks on hypercube multi-processors
An Object-Oriented, Distributed Architecture for Large-Scale Ada Systems
Refactoring of an Ada 95 library with a Meta CASE tool
When to migrate legacy embedded applications
A parallel programming model for ada
Synchronization cannot be implemented as a library
Distinctions between requirements specification and design of real-time systems
Developing an automated Ada training product
Developing safety critical software for an unmanned aerial vehicle situational awareness tool
Process analysis: a technique to improve Ada-based development
Implementation versus Binding to the X Window Environment
Highly parallel Ada - Ada on an ultracomputer
DVM: an object-oriented framework for building large distributed Ada systems
Testing Ada designers and code. Test Gen-Ada testing tool
Building Tcl-Tk GUIs for HRT-HOOD systems
Developing software using the DOD procurement model
Selling Ada - the early days
The affordable application of formal methods to software engineering
GNATDIST: A Configuration Language for Distributed Ada 95 Applications
Reddo: a model driven engineering toolset for embedded software development
Combining object-oriented and functional paradigms in a design methodology for Ada
SP1: introducing the best of ada 2005
Ada in an On-Board Military Communication System
Time horizon in distributed object societies
Orchestrating shots for the national ignition racility
Ada education in universities (panel)
Tool integration in Arcadia
The automation of design in the early lifecycle of a software project
Use of Ada in Digital Radar Landmass Simulation (DRLMS)
A Comparison of Ada and Pascal in an Introductory Computer Science Course
Ada semantic interface specification (ASIS)
Proceedings of the 2006 Annual ACM SIGAda International Conference on Ada, Albuquerque, New Mexico, USA, November 12-16, 2006
A Comparison of Ada and C++
Ada in the Post Deployment Software Support Environment
Assessing Ada 9X OOP: Building a Reusable Components Library
An Ada graphical tool to support software development
Getting Ada into the mainstream in the 1990's
Cost effective satellite development with use of an Ada microprocessor
A network-based development environment for Ada
Ada and CICS: or (yes! Ada can be done on an IBM Mainframe)
Designing real-time, concurrent, and embedded software systems using UML and Ada
Instruction scheduling of Ada on RISC processors
Ada for parallel, embedded, and real-time applications
Why i came back to Ada
Towards reuse of verified Ada software
Ada in the ECLIPLSE project support environment
AdaTRAN as a teaching tool
A Model for Analyzing Megaprogramming, Reuse and Domain Specific Software Architectures
An architectural framework for supporting distributed object based routing
Kernel Ada to Unify Hardware and Software Design
Proceedings of the 2008 Annual ACM SIGAda International Conference on Ada, Portland, OR, USA, October 26-30, 2008
DRAGOON: a tool for the Ada programmer
The first 100 days of Ada
Panel: computer science accreditation and Ada: good for each other
Developmental software configuration and integration in a large Ada project
Enhancing spark's contract checking facilities using symbolic execution
A library of generic algorithms in Ada
Ada and the graphical kernel system
Conference, The annual meeting of the Ada programming world, TRI-Ada 1997, November 9-13, 1997, St. Louis, Missouri, USA
Comparative analysis of genetic algorithm implementations
Experience report: Ada & Java integration in the FAA's ERAM SWIM program
Stimulus Response Machines: An Ada-based Graphic Formalism for Describing Class and Object Behavior
Reuse: the two concurrent life cycles paradigm
Visualization of Control Structure and Complexity in Ada 95
Model Like an Egyptian
Experience with the automatic temporal analysis of multitasking Ada designs
Transforming Ada Serving Tasks into Protected Objects
Extended Application of Ada to Cover ECBS with O4S: ECBS = Engineering of Computer Based Systems; O4S = Objects for Systems
Active Information Systems, From Object-Oriented Design to Ada 95
Ada and beyond
Issues with Reusable Software Components
Combining Ada 95, Java Byte Code, and the Distributed Systems Annex
Ideas for kick-starting the Ada market of the 1990s
A real-time Ada design method based on DoD-STD-2167A
Software Specification and Design: A Disciplined Approach
GARLIC: generic Ada reusable library for interpartition communication
Teaching computer science with robotics using Ada/Mindstorms 2.0
Correctness by construction: putting engineering (back) into software
A formal model of the Ada Ravenscar tasking profile; delay until
A reinforcement strategy for least slack scheduling using BP HT
Down in the details: lessons learned in interfacing Ada and SQL
Vanna: a visual environment for the design of distributed systems
Electronic maneuvering board and dead reckoning tracer decision aid for the officer of the deck
Effective requirements engineering
How "Outsiders" see Ada and its Future
Building on the Booch Components: What Can Be Learned When Modifying Real World Software Tools for Educational Use
Ada systems
Ada 9X for Managers
A methodology for avoiding known compiler problems using static analysis
Gun turret drive stabilization system for the M1A2
Teaching Ada by the Book: The Pedagogy of Ada in CS1 (Panel)
Applying Ada, Java and CORBA for making a command and control information system platform independent
What Changes Are Needed For Undergraduate CS Curricula to Educate "Software Engineers"?
Ada Communication Components for Distributed and Real Time Applications
Management challenges and techniques on a large Ada project
Limitations on the portability of real time Ada programs
Object based data engineering: the necessary evil of Ada development
The composition of abstractions: evolution of software component design with Ada 95
Target computer independent optimizaton procedure for for metacompilers
Behavioral Inheritance: Concepts, Ada Implementation and Experience
Adapting ACATS for use with run-time checks suppressed
Expert systems development in LISP and Ada
Introduction to Ada for Programmers
Pragmatic definition of an object-oriented development process for Ada
TSL: task sequencing language
A quantitative evaluation of interrupt handling capabilities in Ada
Language features for parallel processing and resource control
Estimating Requirements for a Large Software Engineering Project: Experiences with Ada COCOMO on SIDPERS-3
Elementary functions packages for Ada
Software independent verification and validation: a process perspective
Designing and checking coding standards for ada
Real-time Ada demonstration
The DDC Ada Compiler Development Project
Introducing Software Reuse
Fashioning conceptual constructs in Ada
Experiences in Object Oriented Development
Proceedings of the Conference on TRI-Ada 1988, TRI-Ada 1988, Charleston, West Virginia, USA, 1988
Hilt'12 tutorial overview / design of multitask software: the entity-life modeling approach
Ada 95 as implementation language for object-oriented designs
Ada Training and Education in the US Army and US Air Force
Porting Applications Between Two Commercial Ada/Motif Bindings
ASIStint: An Interactive ASIS Interpreter
Onion: A Methodology for Developing Data-Dominant Systems from Building Blocks
Scheduling and memory requirements analysis with AADL
Re-engineering global variables in Ada
"All the right moves"
Reference Manual for the Meta-Language
Applying reusability to software process definition
A portable communication facility for distributed client/server architectures
Ada in Embedded Boards for Scientific and Medical Instruments
Design of a communication system for a real-time C2 simulator
Smart Recompilation: What Is It?, Its Benefits for the User, and Its Implementation in the DEC Ada Compilation System
A Modern Development Process: Experience Gained from Topaz Project
Reusable Ada Libraries Supporting Infinite Data Structures
Teaching Ada 9X
Satisfiability modulo theories for high integrity development
Tutorial: measuring and improving software process maturity (part 1)
A Comparison of the Concurrency Features of Ada 95 and Java
Development of the Standard Army Ammunition System
The GNAT implementation of controlled types
Termination of Ada tasks in hardware
Why you should be using Ada 2005 now!
Using a model railroad to teach Ada and software engineering
Improved HELLFIRE, successful use of the Ada language in an embedded, real-time application
Ada 2005 & high integrity systems
Rate Monotonic Analysis
Experiences in developing an Ada cross compiler
Optimizing the SPARK program slicer
An algebraic specification of the partial orders generated by concurrent Ada computations
Command center processing and display system replacement - CCPDS-R
Experiences using Ada in a real-time and distributed laboratory
Software design for reliability and reuse: a proof-of-concept demonstration
Experiences from Trial Use of MIL-STD-498 in Connection with the O4S (Objects for Systems) Development Method
The use of Ada in the design of distributed systems
Distributed container: a design pattern for fault tolerance and high speed data exchange
A Project Support Environment Reference Model
Adam, an Ada simulation library
Removing backward go-to statements from Ada programs: possibilities and problems
GW-Ada/Ed: free Ada 83 development environments for IBM PC-compatible and Apple Macintosh computers
Ada and the Navy next generation computer resources operating system interface standard
Experience in integrating interchangeable scheduling policies into a distribution middleware for Ada
Specification Prototyping of Concurrent Ada Programs in DProto
AspectAda: aspect oriented programming for ada95
Sociological concerns about Ada in the 1990s
Object-Oriented Design with 2176A
Specification of generic APIs, or: why algebraic may be better than pre/post
Proving specifications of tasking systems using Ada/TL
MA1: Ada for real-time and parallel processing
Hardware/Software Co-Design: VHDL and Ada 95 Code Migration and Integrated Analysis
Practical specification and verification with code contracts
Library structures for reusable components
Software engineering as a profession
Proceedings of the 2003 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2003, San Diego, CA, USA, December 7-11, 2003
An improved IDL compiler for optimizing CORBA applications
Ada 9X and Real-Time Systems
Debugging of optimized Ada code
From strawman to Ada 2005: a socio-technical retrospective
Delegation: Dynamic Specialization
Detecting concurrently executed pairs of statements using an adapted MHP algorithm
Establishing Ada repositories for reuse
Verified component-based software in SPARK: experimental results for a missile guidance system
Teaching Programming for Reuse: Generics for Educators
A Formal Semantics Definition of Sequential Ada
Hi-Lite: the convergence of compiler technology and program verification
Programming Distributed Fault Tolerant Systems: The replicAda Approach
Manageable object-oriented development: abstraction, decomposition, and modeling
Large system simulation using Ada
Command and Control Using World Wide Web Technology
Panel: software reuse - is it working?
Design and Implementation of Programming Languages, Proceeding of a DoD Sponsored Workshop, Ithaca, NY, USA, September 30 - October 1, 1976
A large on-board real time system in submarines
Tools and methods for embedded system design using Ada
An implementation of Anna
An Ada95 Basis for Propagation Modeling
The efficiency of storage management schemes for Ada programs
Developing Object-Oriented User Interfaces in Ada with the X Window System
Programming language life cycles
Ada-Java Communication in ADEPT
Developing verified programs with Dafny
Software Project Reporting: Management, Measurement, and Process Improvement
Formal semantics for the PACEMAKER system specification
Experimenting with parasail: parallel specification and implementation language
The implementation of ada 2005 synchronized interfaces in the GNAT compiler
Dynamic software replacement model and its Ada implementation
Ada 9X and OOP
ABET - a standard for Ada in a test environment
Resource Sharing Deadlock Prevention
Selecting an Ada contractor - one way that worked
SPARK: the libre language and toolset for high-assurance software engineering
Testing Reusable Software
The software lifecycle with Ada: A command and control application
Redistribution in distributed Ada
Design and implementation of an Ada mathematics library
Illustrating the AADL error modeling annex (v.2) using a simple safety-critical medical device
Where is Ada Headed? The Facts Behind the Myths (Panel)
Ada 9X and Systems Programming
A deterministic run-time environment for Ada-05 on the ATmega16 microcontroller
The Source Code Analysis Tool Construction Project
Architecture Blueprints - the "4+1" View Model of Software Architecture
A Universal Delogger Using the Ada Semantic Interface Specification (ASIS)
A prototype implementation of the Ada binding to POSIX
SP1: service oriented architecture (SOA) concepts and implementations for Ada
An ANDF based Ada 95 compiler system
Ada implementation of a real-time communications system
Language design and standardization
Features of the GNU Ada Runtime Library
COREMO: A CORBA Real Time Extension Model and its Ada 95 Implementation
Software Development in Core: The Application of Ada and Spiral Development
Managing Ada development risk in a non-Ada-based workstation environment
Real-time Ada-observations & experiences with respect to avionics
Patterns and paradigms for using Ada 95
Dependency Analysis of Ada Programs
Ada interface technology (panel)
The Ada paradox(es)
Data Analysis and Reporting for Real-Time Ada Systems
STANFINS: one year later
Using Ada 95 for embedded applications
Current and future trends in compiler validation and evaluation (invited presentation)
A distributed, multi-language architecture for large unmanned ground vehicles
Formal Methods Fact vs. Fiction
An introduction to child program units
Implementing a distributed fault-tolerant embedded system in Ada
SAW: the software analysis workbench
Proceedings of the conference on TRI-ADA 1990, TRI-Ada 1990, Baltimore, Maryland, USA, December 3-6, 1990
mbeddr: extensible languages for embedded software development
A practical comparison between Java and Ada in implementing a real-time embedded system
Real-time system development in ada using LEGO® mindstorms® NXT
A Portable Implementation of the Distributed Systems Annex in Java
Holistic case study approach to Ada based software engineering training
Up and out: scaling formal analysis using model-based development and architecture modeling
Catch that speeding turtle: latching onto fun graphics in CS1
Reliable, reusable Ada components for constructing large, distributed multi-task networks: networks architecture services (NAS)
European air traffic flow management: porting a large application to GNU/linux
A look at Ada from both sides now (a government, and a defense contractor perspective)
Encapsulated data types and generic
Bofors 9LV Mk3 system - developing for maximum software reuse
ReUSE/Ada: A Tool to Promote Code Reuse
Anima: a Ada derived programming language for real-time embedded software development
Keynote presentation: Programming the turing machine
CASE Tool Architecture for Knowledge-Based Regression Testing
Ada software experience with the advanced information processing system
Towards a distributed object-oriented propagation model using Ada95
Teaching Network Programming with Ada and Lower_Layer
Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT '12, December 2-6, 2012, Boston, Massachusetts, USA
MIS and Ada Productivity
"Unmanned systems and Ada"
Implementing Ada protected objects - interface issues and optimization
Tutorial Proceedings on TRI-Ada 1992, November 17-20, 1992, Orlando, Florida USA - Volume 2
Proceedings of the Conference on TRI-Ada 1991 - Today's Accomplishments; Tomorrow's Expectations, TRI-Ada 1991, San Jose, California, USA, October 21-25, 1991
Proceedings of the 1985 Annual ACM SIGAda International Conference on Ada, SIGAda 1985, Paris, France, May 14-16, 1985
A periodic Ada control kernel (PACK)
Assurance technology
A Controlled Experiment with Software for Teaching Ada Tasking
Portable and efficient dynamic storage management in Ada
Discrete-event simulation in Ada
AADL modeling and analysis of hierarchical schedulers
After the Assessment: Preparing and Implementing a Process Improvement Action Plan
Georegistration of imagery from unmanned aircraft systems using Ada
The evaluation of Ada software to support the space station power management and distribution system
Ada optimizations - an embedded systems view
Distribution of Ada tasks onto a heterogeneous environment
SDL: a standard language for Ada real-time applications
Ada Abstraction, Generation, Verification
Lessons from practical experience teaching hands-on, real-time, embedded system programming with Ada
Persuading Developers to 'Buy into' Software Process Improvement: Local Opinion and Empirical Evidence
The Appropriateness of Gutman's Means-End Chain Model in Software Evaluation
Eliciting better quality architecture evaluation scenarios: a controlled experiment on top-down vs. bottom-up
Understanding the Impact of Assumptions on Experimental Validity
2004 International Symposium on Empirical Software Engineering (ISESE 2004), 19-20 August 2004, Redondo Beach, CA, USA
Comparing the Fault Detection Effectiveness of N-way and Random Test Suites
PBR vs. checklist: a replication in the n-fold inspection context
Management of Interdependencies in Collaborative Software Development
Addressing the challenges of replications of surveys in software engineering research
Empirical Validation of Class Diagram Metrics
Documenting design decision rationale to improve individual and team design decision making: an experimental evaluation
A Case Study Using Sampling to Improve Software Inspection Effectiveness
An empirical investigation on the visualization of temporal uncertainties in software engineering project planning
An Ethnographic Study of Copy and Paste Programming Practices in OOPL
Identification of Key Factors in Software Process Management - A Case Study
An experiment on subjective evolvability evaluation of object-oriented software: explaining factors and interrater agreement
Commercial adoption of open source software: an empirical study
An Industrial Case Study of the Impact of Requirements Engineering on Downstream Development
Distributed versus face-to-face meetings for architecture evalution: a controlled experiment
Four Metaphors of Architecture in Software Organizations: Finding Out the Meaning of Architecture in Practice
Agile customer engagement: a longitudinal qualitative case study
An Experimental Comparison of Checklist-Based Reading and Perspective-Based Reading for UML Design Document Inspection
Cross-company and single-company effort models using the ISBSG database: a further replicated study
The consistency of empirical comparisons of regression and analogy-based software project cost prediction
The evolution of FreeBSD and Linux
Evaluating advantages of test driven development: a controlled experiment with professionals
A case study of the class firewall regression test selection technique on a large scale distributed software system
Identifying domain-specific defect classes using inspections and change history
Common refactorings, a dependency graph and some code smells: an empirical study of Java OSS
Using Students as Subjects in Requirements Prioritization
An empirical study of developers views on software reuse in statoil ASA
An Experience in Combining Flexibility and Control in a Small Company's Software Product Development Process
Improving software testing by observing practice
A Survey on Testing Technique Empirical Studies: How Limited is our Knowledge
An Empirical Analysis of Fault Persistence Through Software Releases
A family of empirical studies to compare informal and optimization-based planning of software releases
Contextual reusability metrics for event-based architectures
An Approach to Experimental Evaluation of Software Understandability
Applying the Software Evaluation Framework 'SEF' to the Software Development Life Cycle
Assessing the Reproducibility and Accuracy of Functional Size Measurement Methods through Experimentation
An Empirical Comparison of Two Safe Regression Test Selection Techniques
A comparative study on the re-documentation of existing software: code annotations vs. drawing editors
What is important when deciding to include a software requirement in a project or release?
Measuring and improving software process in China
Applying Use Cases to Design versus Validate Class Diagrams - A Controlled Experiment Using a Professional Modelling Tool
Infrastructure Support for Controlled Experimentation with Software Testing and Regression Testing Techniques
An Experimental Evaluation of Inspection and Testing for Detection of Design Faults
Evaluating the acceptor side of EM 3 : release management at SAS
An Empirical Study of eServices Product UML Sizing Metrics
Increasing the Accuracy and Reliability of Analogy-Based Cost Estimation with Extensive Project Feature Dimension Weighting
A Review of Surveys on Software Effort Estimation
An Empirical Study of Software Change: Origin, Acceptance Rate, and Functionality vs. Quality Attributes
Reusability before and after reuse: a Darwin case study
Using Empirical Testbeds to Accelerate Technology Maturity and Transition: The SCRover Experience
An empirical evaluation of a testing and debugging methodology for Excel
Is Prior Knowledge of a Programming Language Important for Software Quality?
System test case prioritization of new and regression test cases
'Bad Practice' or 'Bad Methods' -- Are Software Engineering and Ethnographic Discourses Incompatible?
An empirical comparison between pair development and software inspection in Thailand
Determining how much software assurance is enough? A value-based approach
Evaluating the practical use of different measurement scales in requirements prioritisation
A Case Study of Reading Techniques in a Software Company
Cloning by accident: an empirical study of source code cloning across software systems
Is there a future for empirical software engineering?
Quantitative Studies in Software Release Planning under Risk and Resource Constraints
Managing software change tasks: an exploratory study
2002 International Symposium on Empirical Software Engineering (ISESE 2002), 3-4 October 2002, Nara, Japan