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.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call