Programming phase: Formal methods

Richard Paige, Jim Woodcock, Phillip Brooke, Ana Cavalcanti

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Abstract

    Software engineering requires specialized knowledge of a broad spectrum of topics, including the construction of software and the platforms, applications, and environments in which the software operates as well as an understanding of the people who build and use the software.

    Offering an authoritative perspective, the two volumes of the Encyclopedia of Software Engineering cover the entire multidisciplinary scope of this important field. More than 200 expert contributors and reviewers from industry and academia across 21 countries provide easy-to-read entries that cover software requirements, design, construction, testing, maintenance, configuration management, quality control, and software engineering management tools and methods.
    Original languageEnglish
    Title of host publicationEncyclopedia of Software Engineering
    EditorsPhilip Laplante
    PublisherTaylor & Francis
    Volume2
    ISBN (Print) 9781420059779
    Publication statusPublished - 24 Nov 2010

    Fingerprint Dive into the research topics of 'Programming phase: Formal methods'. Together they form a unique fingerprint.

  • Cite this

    Paige, R., Woodcock, J., Brooke, P., & Cavalcanti, A. (2010). Programming phase: Formal methods. In P. Laplante (Ed.), Encyclopedia of Software Engineering (Vol. 2). Taylor & Francis.