Perspectives in Software Engineering
ACM Computing Surveys (CSUR)
An interactive business definition system
Proceedings of the ACM SIGPLAN symposium on Very high level languages
An introduction to the UMTA specification language
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Specifications a key to effective software development
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Some extensions to algebraic specifications
Proceedings of an ACM conference on Language design for reliable software
The specification and application to programming of abstract data types.
The specification and application to programming of abstract data types.
Ambiguity in Natural Language Requirements Documents
Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs
| Hi-index | 0.00 |