Isomorph-free model enumeration: a new method for checking relational specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Using formal methods for teaching software engineering: a tool-based approach
Annals of Software Engineering - Special issue on software engineering education
Experience teaching Z with tool and web support
ACM SIGSOFT Software Engineering Notes
Is Proof More Cost-Effective Than Testing?
IEEE Transactions on Software Engineering
The use of industrial-strength formal methods
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
A Specification-Based Software Construction Framework for Reuse
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
X Meets Z: Verifying Correctness in the Presence of POSIX Threads
Proceedings of the FREENIX Track: 2002 USENIX Annual Technical Conference
Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
The Value of Verification: Positive Experience of Industrial Proof
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
mu-Charts and Z: Hows, Whys, and Wherefores
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Verifying the CICS File Control API with Z/Eves: An experiment in the verified software repository
Science of Computer Programming
Practical application of "lightweight" Z in DEVS framework
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Chief Chefs of Z to Alloy: Using a Kitchen Example to Teach Alloy with Z
TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
A simulation-oriented formalization for a psychological theory
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Combining formal methods and aspects for specifying and enforcing architectural invariants
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Z-based agents for service oriented computing
AAMAS'07/SOCASE'07 Proceedings of the 2007 AAMAS international workshop and SOCASE 2007 conference on Service-oriented computing: agents, semantics, and engineering
Validating Z specifications using the PROB animator and model checker
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Classification, formalization and verification of security functional requirements
SOFSEM'08 Proceedings of the 34th conference on Current trends in theory and practice of computer science
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria
Formal methods and testing
Managing secure survivable critical infrastructures to avoid vulnerabilities
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
KES-AMSTA'11 Proceedings of the 5th KES international conference on Agent and multi-agent systems: technologies and applications
Including design guidelines in the formal specification of interfaces in z
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Proceedings of the 50th Annual Southeast Regional Conference
MSC scenarios analysis via simulation and formal verification techniques
GCMS '09 Proceedings of the 2009 Grand Challenges in Modeling & Simulation Conference
Hi-index | 0.00 |