A formal structured method for requirement specification construction

Liu, Shaoying

doi:10.1145/130069.130130

Cited by 3 publications

(5 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Let z, y, z E ODC (9), Pt and P2 are two condition processes in g, ® E {(9, Q}, z ® y 6d Output(Pl), and z 6 S (Output(e2)). If 1, and the operator ®, between tl and t2, and the operator ~, between ta and t4, is different, the CDFD is not semantically consistent.…”

Section: Every Column Corresponds To One Variable Inmentioning

confidence: 99%

“…Fraser [8] bridges the gap between informal and formal requirements analysis by using Data Flow Diagram and VDM sequentially, but this does not make contribution to the formalisation of the model of Data Flow Diagram. Liu [9] provides a formal structured requirements analysis method by combining DeMarco Data Flow Diagram with VDM. The precise semantics of a requirement specification created by using this method is defined, and the correctness proof of specifications are addressed.…”

Section: Introductionmentioning

confidence: 99%

“…The first one is that it is usually difficult to express the precise functionality of each condition process at the first stage of requirements analysis. The second one is that the correctness proof introduced in [9] is not powerful enough to guarantee the consistency which should be satisfied when a whole requirement specification is constructed hierarchically [10]. Therefore, this paper proposes a user-friendly formal requirements specification method, UFRSM for short.…”

Section: Introductionmentioning

confidence: 99%

“…Therefore, this paper proposes a user-friendly formal requirements specification method, UFRSM for short. Specifications produced by using this method can be developed luther into the corresponding complete specifications by using Liu's method [9]. That is, specifying the precise functionality for each bottom level condition process by giving the preand post-conditions.…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

A user-friendly formal requirements specification method

Liu

1992

Proceedings of the 30th Annual Southeast Regional Conference on - ACM-SE 30

Self Cite

View full text Add to dashboard Cite

As formal methods are increasingly used in the development of industrial scale software systems, there is a growing awareness of the need to integrate the formal notations with existing structured software development methods. In order to make requirements analysis both comprehensible and rigorous, a User-Friendly Formal Requirements Specification Method is proposed in this paper by combining and extending DeMarco data flow diagrams with VDM (Vienna Development Method). The specifications produced using this method possess good readability, a well-designed structuring mechanism and precise semantics. The significant progress presented in this paper is to develop a verified analysis approach based on the concept of consistency checking for guaranteeing the correctness of analysis steps.

show abstract

Section: Every Column Corresponds To One Variable Inmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

A user-friendly formal requirements specification method

Liu

1992

Proceedings of the 30th Annual Southeast Regional Conference on - ACM-SE 30

Self Cite

View full text Add to dashboard Cite

show abstract

“…A further fundamental requirement is that all safety critical software must be subject to validation and verication to establish that it complies with its formal specications. However, evidence in industrial application shows that it is dicult to use formal methods without being integrated with commonly used methods, such as structured and object-oriented methods [6,7,8]. The reasons include that (1) existing formal methods (e.g.…”

Section: Introductionmentioning

confidence: 99%

A Formal Definition of FRSM and Applications

Liu

1998

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

Self Cite

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

Internal consistency of FRSM specifications

Liu

1995

Journal of Systems and Software

View full text Add to dashboard Cite

A formal structured method for requirement specification construction

Cited by 3 publications

References 2 publications

A user-friendly formal requirements specification method

A user-friendly formal requirements specification method

A Formal Definition of FRSM and Applications

Internal consistency of FRSM specifications

Contact Info

Product

Resources

About