By the same authors

From the same journal

A FORMAL REQUIREMENTS SPECIFICATION METHOD BASED ON DATA-FLOW ANALYSIS

Research output: Contribution to journalArticle

Author(s)

Department/unit(s)

Publication details

JournalJournal of Systems and Software
DatePublished - May 1993
Issue number2
Volume21
Number of pages9
Pages (from-to)141-149
Original languageEnglish

Abstract

As formal methods are increasingly used in the development of industrial-scale software systems, there is a growing awareness of the need to integrate formal notations with existing structured software development methods. To make requirements analysis both comprehensible and rigorous, a formal requirements specification method is proposed that combines and extends DeMarco data flow diagrams with the Vienna development method. The specifications produced using this method have good readability, a well-designed structuring mechanism, and precise semantics. This article details work toward development of a verified analysis approach based on the concept of consistency checking for guaranteeing the correctness of analysis steps.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations