René Elmstrøm
- [1] P. Borba and S. Meira. From VDM Specifications to Functional Prototypes. Journal of Systems Software, 21:267-278, 1993. Google Scholar
Digital Library
- [2] J. Bicarregui, J. Fitzgerald, P. Lindsay, R. Moore and B. Ritchie. Proof in VDM: A Practitioner's Guide. FACIT. Springer-Verlag, 1994. Google ScholarDigital Library
- [3] A. Kans and C. Hayton. Using ABC To Prototype VDM Specifications. ACM SIGPLAN Notices, pages 27-37, January 1994. Google ScholarDigital Library
Index Terms
- The IFAD VDM-SL toolbox: a practical approach to formal specifications
Recommendations
An overview of the ISO/VDM-SL standard
VDM-SL, the notation incorporated in the formal method VDM, is currently being standardized under auspices of the International Standards Institution (ISO) and the British Standards Institution (BSI). It is one of the few formal languages of which the ...
The IFAD VDM Tools: Lightweight Formal Methods
FM-Trends 98: Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal MethodsThe services and tools supporting the ISO Standard VDMSL notation and its object-oriented extension VDM++ are commonly known as the VDM Technology. For both notations the company IFAD provides leading edge technology tools, training and consultcincy. ...
Automated test case generation from IFAD VDM++ specifications
SEPADS'05: Proceedings of the 4th WSEAS International Conference on Software Engineering, Parallel & Distributed SystemsMost of the current research on automatic generation of test cases from formal specifications has been directed towards non object-oriented formal specifications. While object-oriented paradigm is the most widely accepted methodology for software ...
Comments