Modern structured analysis
The semantics of programming languages: an elementary introduction using structural operational semantics
Formalization techniques: chopping down the methodology jungle
Information and Software Technology
Informal and Formal Requirements Specification Languages: Bridging the Gap
IEEE Transactions on Software Engineering
Formalized structured analysis specifications
Formalized structured analysis specifications
A reappraisal of structured analysis: design in an organizational context
ACM Transactions on Information Systems (TOIS)
From structured analysis to formal specifications: state of the theory
CSC '94 Proceedings of the 22nd annual ACM computer science conference on Scaling up : meeting the challenge of complexity in real-world computing applications: meeting the challenge of complexity in real-world computing applications
ACM Computing Surveys (CSUR)
Structured Systems Analysis: Tools and Techniques
Structured Systems Analysis: Tools and Techniques
Structured Development for Real-Time Systems
Structured Development for Real-Time Systems
Scenarios: A Model of Non-Determinate Computation
Proceedings of the International Colloquium on Formalization of Programming Concepts
Using Yourdon and Z: an Approach to Formal Specification
Proceedings of the Fifth Annual Z User Meeting on Z User Workshop
A Two-Dimensional View of Integrated Formal and Informal Specification Techniques
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
Unintrusive Ways to Integrate Formal Specifications in Practice
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
Structured Analysis and System Specification
Structured Analysis and System Specification
A data sharing agreement framework
ICISS'06 Proceedings of the Second international conference on Information Systems Security
Hi-index | 0.01 |