The GOQL Language and its Formal Specifications.
Euclid KeramopoulosPhilippos PouyioutasTasos PtohosPublished in: Int. J. Comput. Sci. Appl. (2008)
Keyphrases
- formal specification
- specification language
- formal specification language
- process algebra
- model checking
- specification languages
- object oriented design
- concurrent systems
- reverse engineering
- temporal logic
- formal methods
- language learning
- programming language
- design methodology
- software components
- object oriented
- real world
- modeling language
- conceptual model
- general purpose
- natural language