Compositional Comparison of Formal Software Specifications Using Transformation Systems.
Martin Große-RhodePublished in: Formal Aspects Comput. (2002)
Keyphrases
- reactive systems
- formal methods
- computer systems
- industrial strength
- commercial software
- software development
- safety critical
- software architecture
- knowledge based systems
- software components
- software systems
- formal language
- open systems
- intelligent systems
- embedded real time systems
- formal specification
- legacy systems
- requirements specification
- hardware platforms
- technical issues
- software packages
- e learning
- finite state machines
- software tools
- distributed systems
- expert systems
- high level
- case study