A tailored design language: putting model based formal specification into practice

Authors:
R. A. Lees
Affiliations:
Computer Sciences of Australia, St Leonards, NSW
Venue:
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Year:
1990

Citing 10
Cited 0

Analysis and Design in MSG.84: Formalizing Functional Specifications

IEEE Transactions on Software Engineering - Annals of discrete mathematics, 24
Report on the Larch shared language

Science of Computer Programming
Systematic software development using VDM

Systematic software development using VDM
Intuition in software development

Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) on Formal Methods and Software, Vol.2: Colloquium on Software Engineering (CSE)
Experience using VDM in STC

VDM-Europe Symposium 1987 on VDM '87: VDM---a formal method at work
Formal specification of large-scale software—objectives, design decisions and experiences in a concrete software project

The IFIP TC2/WG 2.1 Working Conference on Program specification and transformation
ANNA: a language for annotating Ada programs

ANNA: a language for annotating Ada programs
An early report on encompass

ICSE '88 Proceedings of the 10th international conference on Software engineering
VDM: axiomatising its propositional logic

The Computer Journal
Specification case studies

Specification case studies

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper introduces a model based formal design language aimed at supporting the practical use of rigorous methods within an industrial framework. The language consists of a core that is tailored to suit particular implementation languages, enabling the syntax and semantics of design and implementation languages to be matched in the design language. Particular features of the design language are described, a version of the language tailored for Ada is outlined, and current work with the language is described.