Formal Specifications of Software Design Methods.

J. Artur Serrano

Published in: IWFM (1999)

Keyphrases

software design
object oriented design
database
databases
formal specification
learning algorithm
artificial intelligence
decision making
software engineering
software systems
software components
reverse engineering