Developing formal specifications from informal requirements

Johnson, W. Lewis; Benner, Kevin M.; Harris, David R.

doi:10.1109/64.223994

Cited by 12 publications

(1 citation statement)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…ARIES [17,16] ARIES allows a user to represent information using different representations. It enables a user to view the knowledge using different views and therefore enables users to detect ambiguities, inconsistency, and incompleteness based on the different views.…”

Section: A New Architecture For Obtaining Formal Specificationsmentioning

confidence: 99%

Untitled

Vadera

Meziane

1997

Annals of Software Engineering

View full text Add to dashboard Cite

During the last decade, one important contribution towards requirements engineering has been the advent of formal specification languages. They offer a well-defined notation that can improve consistency and avoid ambiguity in specifications. However, the process of obtaining formal specifications that are consistent with the requirements is itself a difficult activity. Hence various researchers are developing systems that aid the transition from informal to formal specifications. The kind of problems tackled and the contributions made by these proposed systems are very diverse. This paper brings these studies together to provide a vision for future architectures that aim to aid the transition from informal to formal specifications. The new architecture, which is based on the strengths of existing studies, tackles a number of key issues in requirements engineering such as identifying ambiguities, incompleteness, and reusability. The paper concludes with a discussion of the research problems that need to be addressed in order to realise the proposed architecture.

show abstract

Section: A New Architecture For Obtaining Formal Specificationsmentioning

confidence: 99%