The algebraic specifications offer a
powerful tool of writing hierarchical, modular and implementation independent
specifications. Furthermore Algebraic specifications are especially suitable
for rapid prototypes and suitable framework for the development and development
of validation tools.
The methods of algebraic specification
can be used for software development to maintain verifiability, consistency and
usability. The main purpose is to put intuitive ideas into a concrete
environment to get better quality products. A
specification is represented by a composition that describes a series of behaviours.
A deterministic component has an exact behaviour. The behaviour is represented
by a stream processing function. We introduce behavioural behaviour and apply
it to specifications. We show how algebraic specifications can be used as an
algebraic and logical origin for state-automatic specifications and status
transition diagrams.
Comments
Post a Comment
any suggestion on my side