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
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
A formal design notation for real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Toolbox for Automating Visual Software Engineering
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
REERM: reenhancing the entity-relationship model
Data & Knowledge Engineering - Special issue: ER 2004
A tale of two case studies: using integrated methods to support rigorous requirements specication
Methods'96 Proceedings of the 1996 international conference on Methods Integration
| Hi-index | 0.00 |