Ada/TL specification and verification of a distributed computation
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Software design for reliability and reuse: a proof-of-concept demonstration
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
State abstraction and modular software development
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Transitioning from structured analysis to object-oriented design
WADAS '88 Proceedings of the fifth Washington Ada symposium on Ada
Box-structured methods for systems development with objects
IBM Systems Journal
Hi-index | 0.00 |