"UML-ising' Formal Techniques.
Dines BjørnerChris GeorgeAnne E. HaxthausenChristian Krog MadsenSteffen HolmslykkeMartin PnikaPublished in: SoftSpez Final Report (2004)
Keyphrases
- formal methods
- database design
- unified modeling language
- requirements specification
- markov random field
- modeling language
- object oriented
- software engineering
- uml diagrams
- metamodel
- software development
- formal specification
- software architecture
- software systems
- state machine
- case study
- formal language
- uml models
- class diagrams
- data sets
- formal model
- knowledge based systems
- source code
- programming language
- multi agent systems
- artificial intelligence
- databases