Program Design with Algebraic Specificationsby John W. Baugh, Jr., North Carolina State Univ, Raleigh, United States,
Document Type: Proceeding Paper
Part of: Electronic Computation
Abstract: This paper demonstrates the use of algebraic methods in specifying the functional properties of engineering software components, an approach that enables one to focus on software design aspects instead of implementation details. Because they are formal objects, these specifications can be manipulated using ordinary mathematics, validated with respect to formal requirements, and shown to satisfy properties such as consistency and completeness. In addition, their concise and unambiguous nature makes them suitable for both communication and commentary, which are not possible with substantial program texts.
Subject Headings: Computer software | Mathematics | Validation
Services: Buy this book/Buy this article
Return to search