Modeling Software: From Theory to Practice.

Published in: FSTTCS (2002)

Keyphrases

modeling language
mathematical modeling
software systems
software design
theoretical insights
information systems
user interface
software development
computer systems
formal methods
decision making
source code
theoretical framework
theoretical foundation
theoretical basis