A practical approach to software engineering using Z and the refinement calculus
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Challenging Universal Truths of Requirements Engineering
IEEE Software
A methodology for high-level software specification construction
ACM SIGSOFT Software Engineering Notes
Using KIDS as a tool support for VDM
Proceedings of the 18th international conference on Software engineering
Proceedings of the 2001 ACM symposium on Applied computing
Experience teaching Z with tool and web support
ACM SIGSOFT Software Engineering Notes
Engineering formal requirements: An analysis and testing method for Z documents
Annals of Software Engineering
Specification and Animation of a Bank Transfer using KIDS/VDM
Automated Software Engineering
Executing Formal Specifications with Concurrent Constraint Programming
Automated Software Engineering
The Knowledge Acquisition and Representation Language, KARL
IEEE Transactions on Knowledge and Data Engineering
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
High Level System Design and Analysis Using Abstract State Machines
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
The CARE toolset for developing verified programs from formal specifications
SAST '96 Proceedings of the Proceedings of the Fourth International Symposium on Assessment of Software Tools (SAST '96)
A C++ library for implementing specifications
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
Test Purposes: Adapting the Notion of Specification to Testing
Proceedings of the 16th IEEE international conference on Automated software engineering
Constraint animation using an object-oriented declarative language
ACM-SE 38 Proceedings of the 38th annual on Southeast regional conference
Design and implementation of a GUI for the TLC model checker
ACM SIGPLAN Notices
An automated approach to specification animation for validation
Journal of Systems and Software
VDMTools: advances in support for formal modeling in VDM
ACM SIGPLAN Notices
Executing JML specifications of Java card applications: a case study
Proceedings of the 2009 ACM symposium on Applied Computing
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types
Electronic Notes in Theoretical Computer Science (ENTCS)
Challenges in the successful transfer of formal methods technology into industrial applications
Information and Software Technology
Structuring interactive systems specifications for executability and prototypability
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
Balancing insight and effort: the industrial uptake of formal methods
Formal methods and hybrid real-time systems
A property based specification formalism classification
Journal of Systems and Software
Improving software testability with assertion insertion
ITC'94 Proceedings of the 1994 international conference on Test
Unifying execution of imperative and declarative code
Proceedings of the 33rd International Conference on Software Engineering
Minds and Machines
SVG web environment for z specification language
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
A validation system for object oriented specifications of information systems
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
A formal model of user-defined resources in resource-restricted deployment scenarios
FoVeOOS'11 Proceedings of the 2011 international conference on Formal Verification of Object-Oriented Software
Translation of Z specifications to executable code: Application to the database domain
Information and Software Technology
| Hi-index | 0.00 |