Application and Formal Specification of Sorted Term-Position Algebras.

Arnd Poetzsch-Heffter Nicole Rauch

Published in: WADT (2004)

Keyphrases

formal specification
data abstraction
specification language
formal methods
machine learning
model checking
artificial intelligence
multi agent
user interface
software components
reverse engineering
object oriented design
specification languages
grid workflow
protocol specification