Introduction of a formal technique into a software development environment: early observations

Authors:
R. C. Shaw;P. N. Hudson;N. W. Davis
Affiliations:
IDEC, Standard Telephones & Cables plc, Stevenage, Hertfordshire, England;IDEC, Standard Telephones & Cables plc, Stevenage, Hertfordshire, England;IDEC, Standard Telephones & Cables plc, Stevenage, Hertfordshire, England
Venue:
ACM SIGSOFT Software Engineering Notes
Year:
1984

Citing 3
Cited 3

Communicating sequential processes

Communications of the ACM
A Calculus of Communicating Systems

A Calculus of Communicating Systems
Software Development: A Rigorous Approach

Software Development: A Rigorous Approach

Please: a language combining imperative and logic programming

ACM SIGPLAN Notices
An early report on encompass

ICSE '88 Proceedings of the 10th international conference on Software engineering
PLEASE:Predictable Logic based ExecutAble SpeCifications

CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes the evaluation and introduction of the Vienna Development Method (VDM) into an IDEC development project. We firstly describe why VDM was chosen and follow this with a simple VDM specification based on an Electronic Mail System. The evaluation exercise is briefly described together with the training program which was subsequently set up. Lastly we look at a language which was developed for use by the project which emcompasses both the specification style of VDM together with pseudocode and structuring mechanisms.