ÉTOILE-specifications: An Object-oriented Algebraic Formalism with Refinement.
Marc AiguierPublished in: J. Log. Comput. (2004)
Keyphrases
- object oriented
- transition systems
- operational semantics
- formal language
- qualitative spatial
- knowledge representation
- specification language
- formal specification
- finite state machines
- concurrent systems
- control flow
- delay insensitive
- formal theory
- linear algebra
- refinement process
- formal model
- conceptual graphs
- algebraic structure
- user interface
- algebraic expressions
- tree adjoining grammar
- written in natural language
- databases
- reactive systems
- theoretical framework
- software engineering
- data model
- expert systems
- high level
- case study
- website
- information retrieval
- machine learning