RCS—a system for version control
Software—Practice & Experience
A structural view of the Cedar programming environment
ACM Transactions on Programming Languages and Systems (TOPLAS)
IEEE Transactions on Software Engineering
Gandalf: software development environments
IEEE Transactions on Software Engineering
Statecharts: A visual formalism for complex systems
Science of Computer Programming
A knowledge structure for reusing abstract data types
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Eiffel: a language and environment for software engineering
Journal of Systems and Software
Object-oriented development for Ada
ACM SIGSOFT Software Engineering Notes
Principles of software engineering management
Principles of software engineering management
Foundations for the Arcadia environment architecture
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
TEAM: a support environment for testing, evaluation, and analysis
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Testing the Completeness of Specifications
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
An object-oriented structured design method for code generation
ACM SIGSOFT Software Engineering Notes
Toward reliable reactive systems
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Timing extensions to structured analysis for real time systems
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
The use of lexical affinities in requirements extraction
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Transition engineering methodology
ISCI '90 Proceedings of the first international conference on systems integration on Systems integration '90
Ensuring integrity by adding obligations to privileges
ICSE '85 Proceedings of the 8th international conference on Software engineering
Experience implementing a reusable data structure component taxonomy
WADAS '87 Proceedings of the Joint Ada conference fifth national conference on Ada technology and fourth Washington Ada Symposium
Automatic Program Improvement: Variable Usage Transformations
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Art of Software Testing
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Recognizing a Program's Design: A Graph-Parsing Approach
IEEE Software
The Cactis Project: Database Support for Software Environments
IEEE Transactions on Software Engineering
The Common Ada Programming Support Environment (APSE) Interface Set (CAIS)
IEEE Transactions on Software Engineering
MAP: A tool for understanding software
ICSE '82 Proceedings of the 6th international conference on Software engineering
The Darwin software-evolution environment
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
ANNA: a language for annotating ADA programs
ANNA: a language for annotating ADA programs
Problems with Ada as a program design language: a position paper
ACM SIGAda Ada Letters
The Byron (tm) program design language
ACM SIGAda Ada Letters
PDL/Ada: a design language based on Ada
ACM SIGAda Ada Letters
Structured Analysis and System Specification
Structured Analysis and System Specification
Reveng: a cost-effective approach to reverse-engineering
ACM SIGSOFT Software Engineering Notes
Requirements on Ada reengineering technology from past, present and future systems
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
Hi-index | 0.00 |