Formal specification applied to industrial LAN's design.

Perfecto Mariño Francisco Poza Miguel Angel Domínguez Juan B. Nogueira

Published in: EUROMICRO (1997)

Keyphrases

formal specification
object oriented design
design methodology
specification languages
formal methods
reverse engineering
model checking
building blocks
case study
databases
software architecture
software engineering
user interface
multi agent
design methodologies
artificial intelligence
machine learning