A formal structured method for requirement specification construction
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Semantically Extended Dataflow Diagrams: A Formal Specification Tool
IEEE Transactions on Software Engineering
Specification and Validation of a Security Policy Model
IEEE Transactions on Software Engineering
Formalizing and integrating the dynamic model within OMT
ICSE '97 Proceedings of the 19th international conference on Software engineering
Toward formalizing structured analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal semantics for SA style data flow diagram specification languages
Proceedings of the 1999 ACM symposium on Applied computing
ATOM: An object-based formal method for real-time systems
Annals of Software Engineering
A Formal Semantics for Object Model Diagrams
IEEE Transactions on Software Engineering
A Formal Definition of Stuctured Analysis with Programmable Graph Grammars
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Systems Development Using Z Generics
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
TREAT: A Reverse Engineering Method and Tool for Environmental Databases
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
Formal interpreters for diagram notations
ACM Transactions on Software Engineering and Methodology (TOSEM)
A predicative basis for structured analysis specification tools
Information and Software Technology
Generating formal specifications from CASE repositories
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Improving access of the commercial software developer to formal methods: integrating MERISE with Z
Methods'96 Proceedings of the 1996 international conference on Methods Integration
Methods'96 Proceedings of the 1996 international conference on Methods Integration
Hi-index | 0.00 |