A Conceptual Framework for State-Based and Event-Based Formal Behavioural Specification Languages.

Tommaso Bolognesi

Published in: ICECCS (2004)

Keyphrases

conceptual framework
specification languages
formal specification
object oriented programs
theoretical framework
agent negotiation
information systems
event driven
artificial intelligence
high level
natural language
text mining
first order logic
reverse engineering
reflective learning
sharing platform