Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems.
Martin Große-RhodeFrancesco Parisi-PresicceMarta SimeoniPublished in: J. Comput. Syst. Sci. (2002)
Keyphrases
- formal methods
- graph transformation
- reactive systems
- building blocks
- highly modular
- software modules
- open systems
- computer systems
- high level
- business applications
- software developers
- software development
- multi agent systems
- embedded systems
- maintenance activities
- description logics
- higher order
- enterprise systems
- complex systems
- software implementation
- commercial software
- graphical user interfaces
- programming language
- knowledge based systems
- user interface
- management system
- heterogeneous systems
- technical issues
- real time systems
- source code
- distributed systems
- software architecture