Published Online: 16 MAR 2009
Copyright © 2007 by John Wiley & Sons, Inc.
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.
- Published Online: 16 MAR 2009
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.
- component behavior;
- formal verification