CAPS as a requirements engineering tool
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
An automated tool for analyzing completeness of equational specifications
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Software merge: semantics of combining changes to programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
An undergraduate course in formal methods: “description is our business”
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
Exercises for teaching logic in a formal methods course: formalizing ERDs
SIGCSE '99 The proceedings of the thirtieth SIGCSE technical symposium on Computer science education
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
Optimization of distributed, object-oriented systems
OOPSLA '00 Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum)
Optimizing systems by work schedules: (a stochastic approach)
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
An Introduction to the Specification Language SPEC
IEEE Software
Status Report: Requirements Engineering
IEEE Software
Formal Methods: Promises and Problems
IEEE Software
Using Transformations in Specification-Based Prototyping
IEEE Transactions on Software Engineering
Compositional Semantics of a Real-Time Prototyping Language
IEEE Transactions on Software Engineering
Formal Methods: Mathematics, Computer Science, or Software Engineering?
CSEET '00 Proceedings of the 13th Conference on Software Engineering Education & Training
Computers and Industrial Engineering
An Integrated Development Of A Dynamic Software-Fault Monitoring System
Journal of Integrated Design & Process Science
Change-Merging Of Psdl Abstract Data Types
Journal of Integrated Design & Process Science
Innovations in Natural Language Document Processing for Requirements Engineering
Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs
| Hi-index | 0.00 |