formal specification vs inforamal and semiformal specification

Posted on 2006-05-02
Last Modified: 2013-11-12

  Formal specification methods like Z attempt to reduce what major types of mistakes commonly found in informal and semiformal specifications?
Question by:shakyas1
    LVL 11

    Accepted Solution

    See this link, I think it should help you.
    LVL 14

    Assisted Solution

    With the development of information systems, informal specifications is being used through graphical modeling from very early phases. We are aware of many such of these modeling tools. Currently formal specification languages such as Z, OBJ or FOOPS and many others are developed. These formal specification techniques attempt to mathematically specify the structure, function and behavior of information business systems.

    See links below, may be it will be helpful in this context

    Concept Mapping: Informal to Formal

    Formal Specification - A Roadmap [PDF Download]

    The Logic Behind


    Featured Post

    Why You Should Analyze Threat Actor TTPs

    After years of analyzing threat actor behavior, it’s become clear that at any given time there are specific tactics, techniques, and procedures (TTPs) that are particularly prevalent. By analyzing and understanding these TTPs, you can dramatically enhance your security program.

    Join & Write a Comment

    Suggested Solutions

    The CRUD Functions CRUD, meaning "Create, Read, Update, Delete (,_read,_update_and_delete)" is a common term to data base developers.  It describes the essential functions of data base table maintenance.  This art…
    Dependencies in Software Design In software development, the idea of dependencies ( is an issue of some importance. This article seeks to explain what dependencies are and where they …
    In this seventh video of the Xpdf series, we discuss and demonstrate the PDFfonts utility, which lists all the fonts used in a PDF file. It does this via a command line interface, making it suitable for use in programs, scripts, batch files — any pl…
    Get a first impression of how PRTG looks and learn how it works.   This video is a short introduction to PRTG, as an initial overview or as a quick start for new PRTG users.

    733 members asked questions and received personalized solutions in the past 7 days.

    Join the community of 500,000 technology professionals and ask your questions.

    Join & Ask a Question

    Need Help in Real-Time?

    Connect with top rated Experts

    23 Experts available now in Live!

    Get 1:1 Help Now