Skip to the content

Tools for producing formal specifications: a view of current architectures and future directions

Vadera, S and Meziane, F 1997, 'Tools for producing formal specifications: a view of current architectures and future directions' , Annals of Software Engineering, 3 (1) , pp. 273-290.

[img]
Preview
PDF (Author version)
Download (186kB) | Preview

    Abstract

    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.

    Item Type: Article
    Themes: Subjects / Themes > Q Science > QA Mathematics > QA075 Electronic computers. Computer science
    Subjects outside of the University Themes
    Schools: Colleges and Schools > College of Science & Technology
    Colleges and Schools > College of Science & Technology > School of Computing, Science and Engineering
    Colleges and Schools > College of Science & Technology > School of Computing, Science and Engineering > Data Mining and Pattern Recognition Research Centre
    Journal or Publication Title: Annals of Software Engineering
    Publisher: Springer Netherlands
    Refereed: Yes
    ISSN: 10227091
    Related URLs:
    Depositing User: Prof Farid Meziane
    Date Deposited: 16 Jan 2009 11:21
    Last Modified: 20 Aug 2013 16:55
    URI: http://usir.salford.ac.uk/id/eprint/1674

    Document Downloads

    More statistics for this item...

    Actions (login required)

    Edit record (repository staff only)