Software Engineering: Problems and Perspectives
Computer - IEEE Centennial: the state of computing
A pragmatic formal method for computer system definition
A pragmatic formal method for computer system definition
Communications of the ACM
A comparison of techniques for the specification of external system behavior
Communications of the ACM
RSF: A Formalism for Executable Requirement Specifications
IEEE Transactions on Software Engineering
An Insider's Evaluation of PAISLey
IEEE Transactions on Software Engineering
Languages for representing software specifications and designs
ACM SIGSOFT Software Engineering Notes
ACM SIGCSE Bulletin
Hi-index | 0.00 |