An approach to the formal specification of lingware.

Bilel Gargouri Mohamed Jmaiel Abdelmajid Ben Hamadou

Published in: Nat. Lang. Eng. (2003)

Keyphrases

formal specification
model checking
specification language
specification languages
object oriented design
process algebra
formal methods
data abstraction
reverse engineering
concurrent systems
formal specification language
artificial intelligence
knowledge base
knowledge based systems