Assessing the Expressivity of Formal Specification Languages.

Natalia López Manuel Núñez Ismael Rodríguez

Published in: AMAST (2006)

Keyphrases

specification languages
formal specification
object oriented programs
first order logic
model checking
formal methods
real time
database
artificial intelligence
social networks
search algorithm
relational databases
knowledge acquisition
expressive power
reverse engineering