Properties of Z specifications
ACM SIGSOFT Software Engineering Notes
Domain description grammar: application of linguistic semantics
ACM SIGSOFT Software Engineering Notes
Trusted computing systems: the ProCoS experience
ICSE '92 Proceedings of the 14th international conference on Software engineering
Deriving programs using generic algorithms
IBM Systems Journal
ACM SIGPLAN OOPS Messenger
Structuring Z specifications with views
ACM Transactions on Software Engineering and Methodology (TOSEM)
Where Do Operations Come From? A Multiparadigm Specification Technique
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
Test templates: a specification-based testing framework
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Eliciting software process models with the E3 language
ACM Transactions on Software Engineering and Methodology (TOSEM)
Has our curriculum become math-phobic? (an American perspective)
Proceedings of the 5th annual SIGCSE/SIGCUE ITiCSEconference on Innovation and technology in computer science education
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
Inference in MLS Database Systems
IEEE Transactions on Knowledge and Data Engineering
Making Changes to Formal Specifications: Requirements and an Example
IEEE Transactions on Software Engineering
Relating Z and First-Order Logic
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Quantitative Evaluation of the SPICE,CMM, IS0 9000 and BOOTSTRAP
ISESS '97 Proceedings of the 3rd International Software Engineering Standards Symposium (ISESS '97)
Quantitative Analysis of Compatibility and Correlation of the Current SPA/SPI Models
ISESS '97 Proceedings of the 3rd International Software Engineering Standards Symposium (ISESS '97)
Preconditions for understanding
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
Integrating formalism into undergraduate software engineering
Journal of Systems and Software - Special issue: The new context for software engineering education and training
Efficient morphological reconstruction: a downhill filter
Pattern Recognition Letters
Linguistic continuity in software engineering
ACM SIGSOFT Software Engineering Notes
Dually nondeterministic functions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automated Software Engineering
Term transformers: A new approach to state
ACM Transactions on Programming Languages and Systems (TOPLAS)
Geospatial semantics: why, of what, and how?
Journal on Data Semantics III
Nonmonotonic reasoning and formal software development
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Formal specifications of software design methods
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
| Hi-index | 0.00 |