Formal Specification and Design of Mobile Systems.
Gruia-Catalin RomanChristine JulienQingfeng HuangPublished in: IPDPS (2002)
Keyphrases
- formal specification
- formal methods
- object oriented design
- specification languages
- knowledge based systems
- building blocks
- design methodologies
- specification language
- case study
- cooperative
- user interface
- distributed systems
- model checking
- process algebra
- heterogeneous platforms
- database
- object oriented systems
- design methodology
- modeling language
- software architecture
- mobile phone
- open source