Abstract
Algebraic specifications of abstract data types and software systems have been studied mainly with respect to the design phase and stepwise refinement towards implementation up to now. This paper shows how to extend the algebraic specification techniques to obtain also a methodology for systematic software development from the requirements to the design Phase. This methodology is based on parameter passing techniques for parameterized specifications with requirements where the notion of requirements is general enough to cover general predicate formulas and different kinds of integrity and consistency constraints.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have