Integrated Structured Analysis and Formal Specification Techniques | Zendy

Lesley Semmens | Zendy; Robert B. France | Zendy; Thomas W. G. Docker | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Integrated Structured Analysis and Formal Specification Techniques

Author(s) -

Lesley Semmens,

Robert B. France,

Thomas W. G. Docker

Publication year - 1992

Publication title -

the computer journal

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.319

H-Index - 64

eISSN - 1460-2067

pISSN - 0010-4620

DOI - 10.1093/comjnl/35.6.600

Subject(s) - computer science , formal methods , software engineering , notation , formal specification , software development , software , programming language , arithmetic , mathematics

The last decade has seen a large increase in the used of structured methods of software development. They grew out of theri prodecessors, which consisted of a toolkit of techniques with little method of how and when to apply them. Methods such as Yourdan Structured Analysis 1 and SSADM 2 provide means of managing the complexity of large systems. They provide techniques and associated procedures for the development of such systems. In parallel with this, and almost entirely endependently, formal specification languages and methods have been developed

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research