System design with Ada
IEEE Transactions on Software Engineering
A graphical, extensible integrated environment for software development
SDE 2 Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Ada language and methodology
Strategies for real-time system specification
Strategies for real-time system specification
The C++ programming language (2nd ed.)
The C++ programming language (2nd ed.)
A structured approach to object-oriented design
OOPSLA '91 Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Object-Oriented Software Construction
Object-Oriented Software Construction
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Reliable software through composite design
Reliable software through composite design
Programming in Modula-2
Structured Development for Real-Time Systems
Structured Development for Real-Time Systems
Contracts: specifying behavioral compositions in object-oriented systems
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
A procedure and tools for transition engineering
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Structured analysis—formal design, using stream and object oriented formal specifications
Conference proceedings on Formal methods in software development
An environment for specifying an executing hierarchical Petri nets
ICSE '90 Proceedings of the 12th international conference on Software engineering
Testing object-oriented software systems
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Biblio of object-oriented system development
ACM SIGSOFT Software Engineering Notes
Using object oriented structured development to implement a hybrid system
ACM SIGSOFT Software Engineering Notes
Engineering Software Design Processes to Guide Process Execution
IEEE Transactions on Software Engineering
Experience with Porting a Unix Version CASE Tool to the Corresponding Java Version
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Towards unifying analysis, design, and implementation in object-oriented environments
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Legacy system program transformation by Lyee methodology
Knowledge-Based Systems
| Hi-index | 0.00 |