Formal Methods for Aspect-Oriented Specification of Cyber Physical Systems.
Lichen ZhangPublished in: CSEE (2) (2011)
Keyphrases
- formal methods
- aspect oriented
- cyber physical systems
- cyber physical
- object oriented
- formal specification
- software development
- software engineering
- physical world
- aspect oriented programming
- business applications
- knowledge based systems
- artificial intelligence
- cyber security
- model checking
- reactive systems
- software product line
- development process
- modeling language
- embedded systems
- knowledge base
- virtual world
- data model
- social networks
- database