The Department of Defense software initiative—a status report
Communications of the ACM
Task coupling and cohesion in Ada
ACM SIGAda Ada Letters
Experiences in using Ada with DBMS applications
ACM SIGAda Ada Letters
ACM SIGAda Ada Letters
On the teaching of Ada in an undergraduate computer science curriculum
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
MMAIM: a software development method for Ada
ACM SIGAda Ada Letters
ACM SIGAda Ada Letters
ACM SIGPLAN Notices
An entity-life modeling approach to the design of concurrent software
Communications of the ACM
An execution model for distributed object-oriented computation
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Software CAD: A Revolutionary Approach
IEEE Transactions on Software Engineering
Validating a Demonstration Tool for Graphics-Assisted Debugging of Ada Concurrent Programs
IEEE Transactions on Software Engineering
An object-oriented structured design method for code generation
ACM SIGSOFT Software Engineering Notes
A simplified graphic notation for Ada programs
ACM SIGAda Ada Letters
Design issues and team support: experiences of an Ada tool vendor
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
Pragmatic definition of an object-oriented development process for Ada
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
The object-oriented software development method: a practical approach to object-oriented development
TRI-Ada '89 Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment
Measurements of Ada Overhead in OSI-Style Communications Systems
IEEE Transactions on Software Engineering
Software Cost Reduction Methods in Practice
IEEE Transactions on Software Engineering
Critical Races in Ada Programs
IEEE Transactions on Software Engineering
A simplified graphic notation for Ada programs
TRI-Ada '88 Proceedings of the conference on TRI-Ada '88
Comments on 'Measurement of Ada Overhead in OSI-Style Communications Systems'
IEEE Transactions on Software Engineering
An environment for specifying an executing hierarchical Petri nets
ICSE '90 Proceedings of the 12th international conference on Software engineering
The form of reusable Ada components for concurrent use
ACM SIGAda Ada Letters
Support for specifying temporal behavior in Ada designs
SETA1 Proceedings of the first international symposium on Environments and tools for Ada
Temporal Logic-Based Deadlock Analysis for Ada
IEEE Transactions on Software Engineering
Validating the ADARTS software design method for real-time systems
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
SDL: a standard language for Ada real-time applications
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
Vestal: a tool for teaching concurrency in Ada
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
The impact of selected concurrent language constructs on the Sam run-time system
OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming
Identifying a complete object oriented life cycle for large systems development
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Analysis/architecture models to ASG models: enabling the transition
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
A modern development process: experience gained from Topaz project
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Ada communication components for distributed and real time applications
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
When hardware becomes software: designing a safety-critical system with Ada
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Alternative software architectures for parallel protocol execution with synchronous IPC
IEEE/ACM Transactions on Networking (TON)
Porting applications between two commercial Ada/Motif bindings
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
Ada 9X and CASE: a methods perspective
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
Visual conventions for system design using Ada 9X: representing asynchronous transfer of control
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
Timethread-role maps for object-oriented design of real-time-and-distributed systems
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
TimeBench: a CAD tool for real-time system design
SETA2 Proceedings of the second international symposium on Environments and tools for Ada
Ada-Linda: a powerful paradigm for programming distributed Ada applications
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
A concurrency analysis tool suite for Ada programs: rationale, design, and preliminary experience
ACM Transactions on Software Engineering and Methodology (TOSEM)
An Ada-like separate compilation style in C
ACM SIGAda Ada Letters
Fashioning conceptual constructs in Ada
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Toward a real-time Ada design methodology
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Enabling reuse with Ada generics
WADAS '93 Proceedings of the tenth annual Washington Ada symposium on Ada: Ada's role in software engineering
No one needs DOD-STD-2167A's CSCs and CSUs
WADAS '93 Proceedings of the tenth annual Washington Ada symposium on Ada: Ada's role in software engineering
An Ada graphical tool to support software development
SIGAda '87 Proceedings of the 1987 annual ACM SIGAda international conference on Ada
Tasking troubles and tips (abstract)
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Use of Ada for shipboard embedded applications
WADAS '85 Proceedings of the second annual Washington Ada symposium on Ada: Ada in the mainstream: applications and education
Ada reuse within the context of an Ada programming support environment
WADAS '88 Proceedings of the fifth Washington Ada symposium on Ada
On implementing the OSI model in Ada via tasking
WADAS '88 Proceedings of the fifth Washington Ada symposium on Ada
ACM SIGAda Ada Letters
The Practical Use of Ada 95's Concurrency Features
IEEE Concurrency
Systems Design: CASDA: Synthesized Graphic Design of Real-Time Systems
IEEE Computer Graphics and Applications
An Icon-Based Design Method for Prolog
IEEE Software
Guest Editor's Introduction: Software Engineering Environment Architectures
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Using design fragments to modularize the design of communications in concurrent systems
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Narratives of space and time: visualization for distributed applications
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
An informal overview of CADA: a design environment for Ada
ACM SIGAda Ada Letters
On the problem of creation of the pattern computer
Cybernetics and Systems Analysis
| Hi-index | 0.03 |