yusuke1997/dblp-id-title huggingface dataset:
Ada and ASIS: Justification of Differences in Terminology and Mechanisms
A systematic approach for implementing fault tolerant software designs in Ada
Formal modeling of synchronization methods for concurrent objects in Ada 95
Verifying linear time temporal logic properties of concurrent Ada programs with quasar
Systems design issues using Ada and VHDL
Requirements on Ada Reengineering Technology from Past, Present and Future Systems
A truly implementation independent GUI development tool
Implementing Tagged Types and Type Extensions for Ada 9X
What makes a good software engineer?
Requirements for real-time languages
Experimental performance analysis of the Ada95 and Java parallel program on SMP systems
Managing Ada projects: the people issues
Orthogonal Persistence and Ada
Automating software module testing for FAA certification
An Object-Oriented System Design for a Satellite Communication System
The Development of Software in the Ada Language for a Mid-Range Hematology Analyzer
Ada optimizations - why should a user care?
US Naval airship
Data sharing between ada and C/C++
Multilanguage programming with ada in the .Net environment
Leveraging Ada 2012 and SPARK 2014 for assessing generated code from AADL models
A Specification and Code Generation Tool for Message Translation and Validation
The myth: anyone can code the software of the requirements and design are..
The Design of a Virtual Machine for Ada
Bringing safe, dynamic parallel programming to the spark verifiable subset of ada
Application of Ada on a distributed missile control system
Applicability of real-time schedulability analysis on a software radio protocol
The Tinman and communications applications
Using SPARK for a beginner's course on reasoning about imperative programs
A refactoring tool for Ada 95
Multi-core + multi-tasking = multi-opportunity?
An Empirical Study of Web-Based algorithm Animation Courseware in an Ada Data Structure Course
Using Object-Oriented Techniques to Develop Reusable Components
Saving traces for Ada debugging
Implementing a product line-based architecture in Ada
Efficient loop-level parallelism in Ada
Improving quality of Ada software with range analysis
Tutorial: multicore programming using divide-and-conquer and work stealing
An Ada binding for ODMG-93
Ada 9X and Information Systems
Notes on building a relational database management system in Ada
Beyond ASIS: program data bases and tool-oriented queries
Predicting software quality for reuse certification
Some problems in distributing real-time Ada programs across machines
Migrating Well Engineered Ada 83 Applications into Newer Architecture and Reuse Based Ada 95 Systems: Experiences from Boeing's Reuse Initiative Project
Parallel compilation of Ada units
Teaching and Using Ada in CS1/CS2
The anatomy of an FAA-qualifiable Ada subset compiler
Lessons learned by using different methodologies on five Ada projects
Parallelism in Ada
Use of SPARK in a resource constrained embedded system
A robotics API dialect for type-safe robots: translating Myro to Ada
Distributed Ada for deadline driven applications
Representation methods for software reuse
The Ravenscar Tasking Profile for High Integrity Real-Time Programs
Ada interrupt handlers for hard real-time systems
Ada, model railroading, and real-time software engineering education (keynote address)
Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq
Optimizing Ada on the fly
Proceedings of the 2002 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2002, Houston, Texas, USA, December 8-12, 2002
Practical use of Ada in a heterogeneous multi-processor computer
Do-178c: the next avionics safety standard
Automatic abstraction of real-time software and re-implementation in Ada
The annual meeting of the Ada programming world, TRI-Ada 1996, December 3-7, 1996, Philadelphia, Pennsylvania, USA
Swiss postbank: Ada in a commercial application
Self-organizing distributed operating system: implementation and problem using Ada
Extending Ada to support multi-core based monitoring and fault tolerance
Can C++ be made as safe as SPARK?
Testing distributed Ada programs
The case for Ada at the USAF academy
Interfacing Ada to C - solutions to four problems
Promoting Ada at the National Security Agency
A runtime supervisor to support Ada tasking: rendezvous and delays
SoftCost-Ada: user experiences and lessons learned at the age of three
A buffer container class hierarchy using Ada 2005
Spot: a programming language for verified flight software
Ada and C interface issues in the development of peripheral device support libraries
Using Ada in Non-CS Majors
A Dialogue on Software Engineering and Ada (Panel)
Keynote address: confessions of an academic Ada zealot
The GNAT Compilation Model
Validate, simulate, and implement ARINC653 systems using the AADL
Structural Model: Architecture for Software Designers
Ada conformity assessments: a model for other programming languages?
Managing Ada transition
Retargeting an Ada source level debugger to CICS
Compiler technology evaluation
Pinching pennies while losing dollars
Large Database Ada Program for Real Time Laboratory Instrument Control and Data Acquisition
Software Specification and Design with Ada: A Disciplined Approach
Systems software integrity assurance
Undoing Ada hype
Ada: Still Our First Choice
Distributed deadlock detection in Ada run-time environments
Real-time convergence of Ada and Java™
Integrating a software engineering approach into an Ada closed laboratory
Embedded/Real-Time Programming in Ada
An approach for evaluating the performance efficiency of Ada compilers
Introduction to ada: main section: tutorial notes
Correctness via compilation to logic: a decade of verification at microsoft research
Design issues and team support: experiences of an Ada tool vendor
Parallel evolution of game evaluation functions in ada
The State-Machine Pattern
Ship system 2000, a stable architecture under continuous evolution
An integrated software environment for reuse
How to measure and optimize reliable embedded software
Using X with the ADA Mind-Set
Panel: the making of ISO/IEC 8652: Ada 2005
Optimizing verification effort with SPARK 2014
Using Ada for development of a wird sensing Clear Air Doppler Radar (CADR) work station at the Kennedy space station
CORBA and CORBA services for DSA
The current state of CORBA (invited presentation)
Conference Proceedings on TRI-Ada 1993, September 18-23, 1993, Seattle, Washington, USA
Using models in software engineering
Optimisation and performance issues: things the user can do to exploit VAX Ada
Proceedings ACM SIGAda Annual International Conference, SIGAda 1999, The Engineering of Industrial Strength Real-Time Software & Distributed Systems: Using Ada and Related Technologie, Redondo Beach, CA, USA, October 17-21, 1999
Object Oriented Methodology Demonstration (OOMD) and Discussion
Barriers to Ada adoption: have they changed? (panel)
Wouldn't it be nice to have software labels
Programming Language Specifications, Optimization and Run-Time Support Systems
Ada policy
Stack safe parallel recursion with paraffin
An ada retrospective: developing large, mature, reliable systems
A Reusable Lightweight Executive for Command and Control Systems
Interfacing Ada 95 to Microsoft COM and DCOM technologies
Ada software engineering and optimized code
M3: MIL-STD-SDD: The Next Generation of Software Development Standards (Panel)
Software reuse: mining, refining, and designing
Applying the iterative development process to large 2167A Ada projects
An Instance of the Application Download Pattern: The SPAIDS Software Loader/Verifier Domain Analysis and Implementation
Semantic specification of Ada packages
Real-time software engineering in Ada: observations and recommendations
Priority Ceiling Protocol in Ada
Parallelism generics for Ada 2005 and beyond
Implementing Internal Program Representations with Ada and Ada 9X
Selecting a Software Development Process
Towards a Formal Description of Ada
Conference Proceedings on TRI-Ada 1992, Orlando, Florida USA, November 17-20, 1992
Ada compiler evaluation
A note on pointers
Ada/X Window System Bindings: Conversion Strategies
CLAW, a High Level, Portable, Ada 95 Binding for Microsoft Windows
CAPS as a requirements engineering tool
A tool for Ada program manipulations: mentor-Ada
Ada optimizations - why the user should care (panel)
A Practical Tool for Distributing Ada Programs: TeleSoft's Distributed Ada Configuration Tool
Total quality management in a software environment
Ada-Linda: A Powerful Paradigm for Programming Distributed Ada Applications
Programming language design issues
An Application-Independent Concurrency Skeleton in Ada 95
Simulation and design in an object-oriented world: a methodology for large software systems
Execution monitoring and debugging tool for Ada using relational algebra
30 years after steelman, does DoD still have a software crisis?
SF1: introduction to ada
Models of data objects and data types
Ada in real-time embedded systems Orbital Maneuvering Vehicle (OMV)
SPARK - an annotated Ada subset for safety-critical programming
Design of GUIs from a Programming Perspective
Object-Oriented and Concurrent Program Design Issues in Ada 95
Everything i know i learned from ada
Ada experience report for BlazeNet, Inc.
Personal thoughts on Ada's object orientation
Hardware-In-the-Loop (HIL) Simulation: An Application of Colbert's Object-Oriented Software Development Method
The use of anna specification technology in ada software development
The need for optimization standards
Information systems security engineering: a critical component of the systems engineering lifecycle
The Common PSE Interface Set (CAIS) Object Management System (OMS)
Solving problems on military and commercial projects with MIL-STD-498 and EIA IS-640/IEEE Std. 1498
Service oriented architecture (SOA) concepts and implementations
A reminder for language designers
Towards an Ada Basis for KBSE: Refine-Ada 95 Conversion
An Ada Deadlock Testing Algorithm Based on Control and Communication Flow Graphs
Application-based search and retrieval
DEGAS: discrete event Gnu advanced scheduler
Network Applications in Ada 95
Transitioning a model-based software engineering architectural style to Ada 95
How Ada object orientation works
UML with meaning: executable modeling in foundational UML and the Alf action language
Birds-of-a-feather: where would you like to see GNAT go?
The GNU Ada 95 Booch Components
Ada and SQL
Software engineering as a radical novelty: the Air Force Ada experience
Real-time programming on accelerator many-core processors
SafetyChip: a time monitoring and policing device
Experiences using SPARK in an undergraduate CS course
Smart Recompilation and the GNAT Compiler
The Tinman Needed Characteristics
An implementation of the DIS standard in ADA
Tutorial: proving safety of parallel / multi-threaded programs
SA-2-Ada: a methodology for deriving Ada designs from structured analysis specifications
A life-cycle oriented Ada design language
Entering the Ada systems design and coding market
Identifying a Complete Object Oriented Life Cycle for Large Systems Development
GNAT: on the road to Ada 2005
Ada 83 to Ada 2012: lessons learned over 30 years of language design
The STARS Process Engine: Language and Architecture to Support Process Capture and Multi-User Execution
Reengineering a Legacy System Using Design Patterns and Ada-95 Object-Oriented Features
An Ada distributed multiprocessor executive: from conceptualization to implementation
Using conceptual clustering for classifying reusable Ada code
Echo: a new approach to formal verification based on Ada
The Ada binding for POSIX
Programming large and flexible systems in Ada
VHDL and Ada firmware
Ada and CMS-2 cohabitation: A transition method for U.S. Navy realtime tactical systems
The GNAT Project: A GNU-Ada 9X Compiler
Unmanned systems with Ada and RTEMS
Analysis/Architecture Models to ASG Models: Enabling the Transition
Hibachi: the eclipse ada development toolset
FRESCO - the Next Generation of GUI's
The rust language
Object Oriented Design and Implementation of Concurrent and Real Time Systems in Ada
Real-time synchronization on distributed architecture with Ada-2005
Formal methods: an industrial perspective
Building confidence in system behavior
XML and Ada complement each other
Using Java APIs with Native Ada Compilers
Reducing maintenance costs through the application of modern software architecture principles
People, events, and technology insertion in the Ada program
Ada Program Support Environments: A Good Idea Overcome by Changes
Pioneering mission - critical Ada software
Profiling in an Object-Oriented Design Environment That Supports Ada 9X and Ada 83 Code Generation
The national ignition facility: early operational experience with a large Ada control system
How much object-orientation in Ada? (panel)
Transitioning an ASIS application: version 1 to Ada95 2.0
STARS: Impact of Megaprogramming on Systems Engineering, Process and Future Competitiveness (Panel)
Is the Answer Always Ada?
Usage of Ada in the Gripen Flight Control System
Pilot Command Center Testbed development environment: a better way to develop C 3 systems
Validating the ADARTS software design method for real-time systems
Service-oriented architecture (SOA) concepts and implementations
A Comparison of Two Approaches to Distributed Application Development in Ada: the Ada Distributed Systems Annex and CORBA
Dynamic analysis of branch mispredictions in Ada
Dynamic analysis for locating product features in Ada code
Compiler evaluation within DoD (panel)
Ada as an Introductory Language
DAda - an Ada preprocessor for functional programming
Complementing Ada with other programming languages
Design and implementation of a multi-tool Ada front end
Introduction to Ada - Tri-Ada 1991 Tutorial, TRI-Ada 1991, San Jose, California, USA, October 21-25, 1991
For environment initiatives, will Ada 95 experiences parallel Ada 83 experiences? (panel session)
Ada impacts on a second generation project
A tool kit for database programming in Ada
Vetronics technology testbed: experience report
Reclamation of memory for dynamic Ada tasking
Technology for inferring contracts from code
The essence of information assurance and its implications for the Ada community
Implementation of a simple dimensionality checking system in Ada 2012
Reuse: where to begin and why
Defining Software Architectures Using the Hierarchical Object-Oriented Design Nethod (HOOD)
Refinement of Z specifications using reusable software components in Ada
Programming practices: analysis of Ada source developed for the air force, army, and navy
Educating Educators: Lessons in Adding Ada to a Small School Curriculum
An Ada program test generator
Static verification and extreme programming
Ada awareness issues: in government, Congress, and industry (panel)
Design and Test Strategies for a Safety-Critical Embedded Executive
Use of the Rational R1000 Ada development environment for an IBM based command and control system
Ada run-time system contention measurement
Integrating GNAT and GCC
Targeting Ada95/DSA for distributed simulation of multiprotocol communication networks
Ada: the cheapest way to build a line of business
Ada-oriented software engineering environments
Ada programming techniques, research, and experiences on a fast control loop system
Distributed Ada-approach and implementation
REUSE/Ada
Remarks on the impact of program verification on language design
Program proving using intermediate verification languages (IVLs) like boogie and why3
A Case Study in Process Definition
The Use of Ada to Achieve Fault Tolerance in AAS
Predicting the future of computer systems and software engineering (keynote address)
The VHDL design system: an Ada-based ECAD system for VLSI
A Practical Look at SAMeDL
An operating system for real-time Ada
Run-time checking of data access in Pascal-like languages
Proceedings of the 2011 Annual ACM SIGAda International Conference on Ada, Denver, Colorado, USA, November 6-10, 2011
A DSL for cross-domain security
Towards a demonstrably-correct ada compiler
Proceedings of the 2005 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2005, Atlanta, GA, USA, November 13-17, 2005
Minimizing the Disadvantages of Embedded SQL/Ada
Platform Independent Translations for a Compilable Ada Abstract Syntax
STARS Process Concepts Summary
A Reusability Measurement Framework and Tool for Ada 95
The performance of a prototype coprocessor for Ada tasking
Experiences in applying the layered virtual machine/object-oriented development methodology to an Ada design effort
Dynamic analysis of Ada programs for comprehension and quality measurement
Generating efficient and complete Ada from a CASE tool
An approach to integration of complex systems: the SAVI virtual integration process
Ada in data base environment- SYBASE implementation of an Ada/SQL interface
The Common Programming Language Effort of the Department of Defense
Performance Issues of Scientific Programming in Ada 95
Software First: Applying Ada Megaprogramming Technology to Target Platform Selection Trades
MP1: languages for safety-critical software: issues and assessment
Software vulnerabilities precluded by spark
The Army Sustaining Base APP: An Example of Standards Engineering for Ada
After-dinner speech
Control Structure Diagrams for Ada 95
A model solution for the C 3 I Domain
Distributed status monitoring and controlusing remote buffers and Ada 2005
Code analysis of saftey-critical and real-time software using ASIS
Development of a distributed, cross-platform simulator
Using POSIX Threads to Implement Ada Tasking: Description of Work in Progress
Real-time avionics in Ada 83
Implementing the extended return statement for Ada 2005
Getting Ada into the mainstream
Leading-edge Ada verification technologies: highly automated Ada contract checking using bakar kiasan
Distributed simulation in Ada 95
Reusability library framework (RLF)
An experiment with Graphite
Ada 9X and Safety Critical/Secure Systems
Run-Time Check Elimination for Ada 9X
Integrating Ada with existing systems: the ATACC experience
Parallel Processing, Machine Dependency and Program Verification
A proposal for a recursive object-oriented life-cycle
Ada for real-time and parallel processing
Design automation for Ada development under DOD-STD-2167 (and beyond)
Managing Usage of Dynamic Structures with Ada Controlled Objects
Using Ada 95 in a compiler course
Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014
How to make ada go 'viral'
A Graphical User Interface in Ada for Domain-Specific Reuse Libraries
The ada workshop for computer users with disabilities
Panel summary: finding safety in numbers: new languages for safe multicore programming and modeling
The Feasibility of Domain Specific Software Reuse for Electronic Warfare Systems
A new approach to prototyping Ada-based hardware/software systems
Implementing Concurrent Programs in Ada 95
MA1: real-time and parallel processing in ada
A framework for designing and implementing the Ada standard container library
Software Reengineering in Ada: A Practical Approach
Panel on Early Experiences with Ada 9x Program Organization
Tool interfaces
Risk management in Ada technology transfer
Embedded systems engineering with the AADL: modeling & analysis
Teaching Object Programming with Ada 95
The first embedded distributed Ada95 application
Deploying expert systems in Ada
Status of Ada then and now (panel)
Evaluate the performance changes of processor simulator benchmarks When context switches are incorporated
Transparent Fault Tolerance for Distributed Ada Applications
Using Ada to maximize verbatim software reuse
An Incremental Approach to the Development of Reusable General-Purpose Discrete-Event Simulator Components
Reuters: experience with D2000 and Globex
A Distributed Shared Virtual Memory for Ada 83 and Ada 9X Applications
Building distributed Ada applications from specifications and functional components
On using Ada to solve problems in computational economics and related disciplines with concurrent, multiagent algorithms
TASH: A Free Platform-Independent Graphical User Interface Development Toolkit for Ada
Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, November 4-8, 2007
Real-time Java in modernization of the aegis weapon system
Proceedings ACM SIGAda Annual International Conference, SIGAda 2001, Twin Cities, Best Western The Thunderbird Hotel & Convention Center, Bloomington, MN, USA, September 30 - October 4, 2001
AdaSlicer: an Ada program slicer
Task-wait-for graphs and their application to handling tasking deadlocks
Towards Ada 2012: an interim report
Task Dependence Nets for Concurrent Systems with Ada 95 and Its Applications
Interesting Problems in Transforming Existing Software for Reusability
Software Engineering with Ada in a New Key: Formalizing and Visualizing the Object Paradigm
Language definition and compilation in LIS and its implementation
Safety of embedded software
Implementing Ada 9X Features Using POSIX Threads: Design Issues
GNAT BoF: where would you like to see GNAT go?
Standards for the sake of standards - a recipe for failure
Unmanned systems and Ada
Workstation/APSE productivity study results
Applying the Personal Software Process (PSP) with Ada
The new semantic model in ASIS for Ada 2005
Cheddar: a flexible real time scheduling framework
System engineering impact on software development
An Application Engineering Workbench for Tailoring Ada Flight Components
Towards Distributed Systems in Ada 9X
A language design for structured concurrency
The selection of an Ada compiler for a real-time embedded avionics application
Object oriented extensions to Ada: a dissenting opinion
Experience report: architecture-based software development on the Crusader program
MP1: real time scheduling theory and its use with ada
An Ada 9X town meeting: getting Ada into the mainstream in the 1990s (panel)
Teaching graphics using Ada
Ada, CMM level 4, and the C-130J aircraft
Two award-winning Ada systems at object world
Demonstrable Fault Tolerance for Distributed Ada
Ada and the X Window System
Proceedings of the ACM SIGAda Annual International Conference on Ada Technology, SIGAda 1998, Washington, DC, USA, November 8-12, 1998
Ada: experience it again for the first time
The development of an Ada front end for small computers
The Tyndall Range Control System: Bringing Network Computing to C 2 Systems
BATCES Solution #1: An Object-Oriented Design from Functional Requirements Analysis
Building real-time imprecise computations in Ada
An object-oriented metrics suite for Ada 95
Interfacing low-level C device drivers with Ada 95
An Ada design pattern recognition tool for AADL performance analysis
Verification of requirements for saftey-critical software
LINX - Ada in an open systems architecture
Concurrent Design Patterns for Resource Sharing
Implementing a Culling and Self-Intersection Algorithm for Stereolithography Files in Ada 95
Embedded, hard, real-time systems with Ada
Integrating Ada 2005 into visual studio 2005
The RCAS Software Architecture and Its Relation to Reuse
Building embedded real-time applications
A tailored design language: putting model based formal specification into practice
POSIX and Ada
Automatic language conversion and its place in the transition to Ada
Timing neural networks in C and ada
The Ada tasking model is adequate for real-time embedded applications (panel)
Ada in the avionics industry
A language for systems not just software
Experiences with The Ada Semantic Interface Specification (ASIS): Developing a Tool with a View
Software Architecture and Iterative Development Process
Ada reuse in application architectures: a look back at BLSM and forward to ITV-MOD
ROMAN-9X: A Technique for Representing Object Models in Ada 9X Notation
Vestal: a tool for teaching concurrency in Ada
Development and distribution of Ada courseware (panel)
Static analysis summit II
AMT - the Ada maintenance toolchest
The Ada+ front end and coder generator