ALGRES Prototype of Reusable Software Modules based on Algebraic Specifications.

Hanna Oktaba Concepción Pérez de Célis Roberto V. Zicari

Published in: DEXA (1990)

Keyphrases

software modules
software components
formal specification
development effort
software systems
software development
building blocks
high level
database
artificial intelligence
information systems
web services
lightweight
development environments