Refactoring Alloy Specifications.
Rohit GheyiPaulo BorbaPublished in: Electron. Notes Theor. Comput. Sci. (2004)
Keyphrases
- high level
- specification language
- formal specification
- delay insensitive
- source code
- mechanical properties
- neural network
- concurrent systems
- distributed systems
- real time
- control flow
- finite state machines
- attribute grammars
- room temperature
- object oriented systems
- logic programs
- bayesian networks
- e learning
- data sets