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

Default

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

2 Zitate (Scopus)

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.

Originalsprache	Englisch
Titel	Unknown Host Publication Title
Redakteure/-innen	John McDermid
Herausgeber (Verlag)	Peter Peregrinus Ltd (IEE Software Engineering Series 1)
Seiten	32-53
Seitenumfang	22
ISBN (Print)	0863410502
Publikationsstatus	Veröffentlicht - 1985

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

Dieses zitieren

@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

Andere Dateien und Links

Fingerprint

Dieses zitieren