Login / Signup
Towards the integration of formal specification in the Áncora methodology
Carlos Alberto Fernández y Fernández
Martín José José
Published in:
CoRR (2011)
Keyphrases
</>
formal specification
design methodology
model checking
specification language
specification languages
object oriented design
process algebra
formal methods
reverse engineering
data abstraction
concurrent systems
artificial intelligence
model checker
grid workflow
temporal logic