PROJECT SUPPORT ENVIRONMENTS FOR FORMAL METHODS.

I. D. Cottam; C. B. Jones; T. Nipkow; A. C. Wills; M. I. Wolczko; A. Yaghi

PROJECT SUPPORT ENVIRONMENTS FOR FORMAL METHODS.

I. D. Cottam, C. B. Jones, T. Nipkow, A. C. Wills, M. I. Wolczko, A. Yaghi

Informatics 7 - Chair of Theoretical Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Scopus citations

Abstract

There is a growing acceptance of the need for formal methods in software development. The design of Project Support Environments should recognize the special requirements that this will generate. The authors have experimented with existing Syntax Directed Editors and are now developing a Structure Editor (known as 'Mule') to support formal development methods such as 'VDM': a progress report and some tentative conclusions are given.

Original language	English
Title of host publication	Unknown Host Publication Title
Editors	John McDermid
Publisher	Peter Peregrinus Ltd (IEE Software Engineering Series 1)
Pages	32-53
Number of pages	22
ISBN (Print)	0863410502
State	Published - 1985

Cite this

@inproceedings{d0931f61ff844e3194ab1b32b495d5ed,

title = "PROJECT SUPPORT ENVIRONMENTS FOR FORMAL METHODS.",

abstract = "There is a growing acceptance of the need for formal methods in software development. The design of Project Support Environments should recognize the special requirements that this will generate. The authors have experimented with existing Syntax Directed Editors and are now developing a Structure Editor (known as 'Mule') to support formal development methods such as 'VDM': a progress report and some tentative conclusions are given.",

author = "Cottam, {I. D.} and Jones, {C. B.} and T. Nipkow and Wills, {A. C.} and Wolczko, {M. I.} and A. Yaghi",

year = "1985",

language = "English",

isbn = "0863410502",

publisher = "Peter Peregrinus Ltd (IEE Software Engineering Series 1)",

pages = "32--53",

editor = "John McDermid",

booktitle = "Unknown Host Publication Title",

}

TY - GEN

T1 - PROJECT SUPPORT ENVIRONMENTS FOR FORMAL METHODS.

AU - Cottam, I. D.

AU - Jones, C. B.

AU - Nipkow, T.

AU - Wills, A. C.

AU - Wolczko, M. I.

AU - Yaghi, A.

PY - 1985

Y1 - 1985

N2 - There is a growing acceptance of the need for formal methods in software development. The design of Project Support Environments should recognize the special requirements that this will generate. The authors have experimented with existing Syntax Directed Editors and are now developing a Structure Editor (known as 'Mule') to support formal development methods such as 'VDM': a progress report and some tentative conclusions are given.

AB - There is a growing acceptance of the need for formal methods in software development. The design of Project Support Environments should recognize the special requirements that this will generate. The authors have experimented with existing Syntax Directed Editors and are now developing a Structure Editor (known as 'Mule') to support formal development methods such as 'VDM': a progress report and some tentative conclusions are given.

UR - http://www.scopus.com/inward/record.url?scp=0022277029&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0022277029

SN - 0863410502

SP - 32

EP - 53

BT - Unknown Host Publication Title

A2 - McDermid, John

PB - Peter Peregrinus Ltd (IEE Software Engineering Series 1)

ER -

PROJECT SUPPORT ENVIRONMENTS FOR FORMAL METHODS.

Abstract

Other files and links

Fingerprint

Cite this