A framework for formalizing inconsistencies and deviations in human-centered systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
What design heuristics may enhance the utility of a formal specification?
SAICSIT '02 Proceedings of the 2002 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology
Engineering formal requirements: An analysis and testing method for Z documents
Annals of Software Engineering
Is Proof More Cost-Effective Than Testing?
IEEE Transactions on Software Engineering
Formal Methods for Industrial Products
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Loose Specification and Refinement in Z
ZB '02 Proceedings of the 2nd 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
Systems Development Using Z Generics
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Segregation with Communication
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
What Does Industry Need From Formal Specification Techniques?
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Breaking the Model: Finalisation and a Taxonomy of Security Attacks
Electronic Notes in Theoretical Computer Science (ENTCS)
Patterns to guide practical refactoring: examples targetting promotion in Z
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Formal modelling of separation kernel components
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Mechanically verified proof obligations for linearizability
ACM Transactions on Programming Languages and Systems (TOPLAS)
An object-oriented structuring for z based on views
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Generating formal specifications from CASE repositories
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Hi-index | 0.00 |