Software requirements: objects, functions, and states
Software requirements: objects, functions, and states
An overview of the ISO/VDM-SL standard
ACM SIGPLAN Notices
ACM Transactions on Software Engineering and Methodology (TOSEM)
The IFAD VDM-SL toolbox: a practical approach to formal specifications
ACM SIGPLAN Notices
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
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Integration of sequential scenarios
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Subtypes for Specifications: Predicate Subtyping in PVS
IEEE Transactions on Software Engineering
Modelling systems: practical tools and techniques in software development
Modelling systems: practical tools and techniques in software development
Validating Requirements for Fault Tolerant Systems using Model Checking
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
Method Integration and Support for Distributed Software Development: An Overview
ICSE '93 Selected papers from the Workshop on Studies of Software Design
Case Studies in Using a Meta-Method for Formal Method Integration
AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
EWSPT '95 Proceedings of the 4th European Workshop on Software Process Technology
On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Experiments with ZF Set Theory in HOL and Isabelle
Proceedings of the 8th International Workshop on Higher Order Logic Theorem Proving and Its Applications
Translating Specifications in VDM-SL to PVS
TPHOLs '96 Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics
An Isabelle-Based Theorem Prover for VDM-SL
TPHOLs '97 Proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics
A Meta-Method for Formal Method Integration
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
Verification of Reactive Systems Using DisCo and PVS
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
PVS: A Prototype Verification System
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
Ubiquitous Abstraction: A New Approach to Mechanized Formal Verification
ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
| Hi-index | 0.00 |
Tool support is known to be one of the success factors in formal specification based analysis and -program development. This paper investigates tool support in the context of a case study where a wide range of tool features is required: For an access control, C++ code has to be developed based on the user's requirements expressed in natural language. The access control has been classified a mixed data-control problem. This paper discusses (1) why VDMTools and PVS have been selected and (2) how they can be used together. Another aspect is the use of VDM as a framework for modeling event based systems. In our approach to tool integration, two specifications are considered to share a common part. For the present application this part consists of the scenario of all possible events.