Embedded System Design Using Formal Model Refinement: An Approach Based on the Combined Use of UML and the B Language.
Nikolaos S. VorosColin F. SnookStefan HallerstedeKonstantinos MasselosPublished in: Des. Autom. Embed. Syst. (2004)
Keyphrases
- formal model
- modeling language
- formal methods
- predicate calculus
- software architecture
- uml models
- case study
- software design
- design decisions
- design process
- conceptual model
- life cycle
- database design
- knowledge based systems
- security properties
- programming language
- java programming
- unified modeling language
- user interface