Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Experiences Using Lightweight Formal Methods for Requirements Modeling
IEEE Transactions on Software Engineering
Modelling systems: practical tools and techniques in software development
Modelling systems: practical tools and techniques in software development
Formal Object-Oriented Development
Formal Object-Oriented Development
Computer
`Calls Considered Harmful' and Other Observations: A Tutorial on Telephony
ACoS '98/VISUAL '98, AIN '97 Selected papers on Services and Visualization: Towards User-Friendly Design
Test-Case Calculation through Abstraction
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Applicative modelling with RAISE
Domain modeling and the duration calculus
Modeling and validating distributed embedded real-time systems with VDM++
FM'06 Proceedings of the 14th international conference on Formal Methods
Formal semantics of a VDM extension for distributed embedded systems
Concurrency, Compositionality, and Correctness
Modeling and validating the train fare calculation and adjustment system using VDM++
VSTTE'12 Proceedings of the 4th international conference on Verified Software: theories, tools, experiments
Hi-index | 0.00 |
To show that lightweight approaches can facilitate the technological transfer of formal development methods, the authors report on their experiences using VDM++ to specify a safety-critical air traffic control voice communication system. Their approach raised both the quality of the informal system specification as well as the efficiency of the system test suites they used.