Structured methodologies &amp; formal notations: Developing a framework for synthesis and investigation

Bryant, Tony

doi:10.1007/978-1-4471-3877-8_16

Cited by 15 publications

(5 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…One is to use the Yourdon or the DeMarco approach to construct a data ow diagram and its associated data dictionary, and then to rene the data ow diagram into a formal specication by dening data ows and bottom level processes with the formal notations. The examples of this approach include Semmens and Allen's work on integrating Yourdon's method and Z [18], Bryant's work on Yourdon's method and Z [19], Fraser's work on data ow diagrams and VDM [20], and Plat and his colleagues' integration of data ow diagrams and VDM [21]. The other approach is to incorporate traditional data ow diagram notation into a formal specication language to provide a mechanism for structuring system specications and a graphical view for the system specication.…”

Section: Integration Of Methodologiesmentioning

confidence: 99%

SOFL: a formal engineering methodology for industrial applications

Liu

Offutt

Ho-Stuart

et al. 1998

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into established industrial software processes, their application requires signicant abstraction and mathematical skills, and existing tools do not satisfactorily support the entire formal software development process.We h a ve proposed a language called SOFL (Structured-Object-based-Formal Language) and a SOFL methodology for system development that attempts to address these problems using an integration of formal methods, structured methods and object-oriented methodology. Construction of a system uses structured methods in requirements analysis and specications, and an object-based methodology during design and implementation stages, with formal methods applied throughout the development in a manner that best suits their capabilities. This paper describes the SOFL methodology, which introduces some substantial changes from current formal methods practice. A comprehensive, practical case study of an actual industrial Residential Suites Management System illustrates how SOFL is used.

show abstract

Section: Integration Of Methodologiesmentioning

confidence: 99%

SOFL: a formal engineering methodology for industrial applications

Liu

Offutt

Ho-Stuart

et al. 1998

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

show abstract

“…Their approach is to use Yourdon's method to construct a data ow diagram and its associated data dictionary, and then dene the data ows and processes in Z. Similar work on integrating Yourdon's method and Z is described in [14,15]. Goldsmith and Hamilton addressed the integration of Yourdon's method and VDM [16,17].…”

Section: Introductionmentioning

confidence: 99%

A Formal Definition of FRSM and Applications

Liu

1998

Int. J. Soft. Eng. Knowl. Eng.

View full text Add to dashboard Cite

FRSM (Formal Requirements Specication Method) is a structured formal language and method for requirements analysis and specication construction based on data ow analysis. It uses a formalized DeMarco data ow diagrams to describe the overall structure of systems and a VDM-SL like formal notation to describe precisely the functionality of components in the diagrams. This paper rst describes the formal syntax and semantics of FRSM and then presents an example of using the axiom and inference rules given in the denition of the formal semantics for checking consistency of specications. A case study of applying FRSM to a practical example is described to demonstrate the principle of constructing requirements specications and to uncover the benets and deciencies of FRSM.

show abstract

“…As formal methods find increasing acceptance within the software industry, there is a growing body of research and user interest in the integration of structured and formal methods [1][10] [8] [4]. Software engineers now use a range of different methods, both formal and informal, in order to model systems; these provide different viewpoints on the system's data structures, processes and control.…”

Section: Introductionmentioning

confidence: 99%

A formal structured method for requirement specification construction

Liu

1992

Proceedings of the 1992 ACM/SIGAPP Symposium on Applied Computing: Technological Challenges of the 1990's

View full text Add to dashboard Cite

Structured methodologies & formal notations: Developing a framework for synthesis and investigation

Cited by 15 publications

References 0 publications

SOFL: a formal engineering methodology for industrial applications

SOFL: a formal engineering methodology for industrial applications

A Formal Definition of FRSM and Applications

A formal structured method for requirement specification construction

Contact Info

Product

Resources

About