Standard Article

Formal Specification

  1. Gregory Kulczycki1,
  2. Murali Sitaraman2,
  3. Kimberly Roche2,
  4. Nighat Yasmin3

Published Online: 16 MAR 2009

DOI: 10.1002/9780470050118.ecse161

Wiley Encyclopedia of Computer Science and Engineering

Wiley Encyclopedia of Computer Science and Engineering

How to Cite

Kulczycki, G., Sitaraman, M., Roche, K. and Yasmin, N. 2009. Formal Specification. Wiley Encyclopedia of Computer Science and Engineering. 1307–1316.

Author Information

  1. 1

    Virginia Polytechnic Institute, Blacksburg, Virginia

  2. 2

    Clemson University, Clemson, South Carolina

  3. 3

    The University of Mississippi University, Mississippi

Publication History

  1. Published Online: 16 MAR 2009

Abstract

Formal specifications of software components describe the behavior of components precisely using mathematically rigorous notations. They are necessary to avoid miscommunication between component developers and users, and avoid costly integration errors resulting from such miscommunication. They are also essential to facilitate formal verfication of correctness.

Keywords:

  • component behavior;
  • formal verification