ASCE will be sunsetting the Civil Engineering Database (CEDB) in the coming months. We encourage you to start using the ASCE Library to perform content searches. In the ASCE Library, you can save your search results as well as receive email content alerts when new content relevant to your area of interest is published. Try it out today at https://ascelibrary.org.

 

Program Design with Algebraic Specifications

by 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 | Computing in civil engineering | Validation | Engineering education

Services: Buy this book/Buy this article

 

Return to search