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
Biblio of object-oriented system development
ACM SIGSOFT Software Engineering Notes
Ada-based support for abstraction, encapsulation and unit hierarchy
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
Object-oriented design of distributed systems (abstract and references only)
CSC '91 Proceedings of the 19th annual conference on Computer Science
| Hi-index | 0.00 |