On Formal Specification of Maple Programs

Muhammad Taimoor Khan Wolfgang Schreiner

Published in: CoRR (2012)

Keyphrases

formal specification
model checking
specification languages
object oriented design
specification language
formal methods
reverse engineering
data abstraction
process algebra
concurrent systems
software components
programming environment
information systems
multi agent
relational databases
formal verification