Stepwise Development of Process-Algebraic Specifications in Decorated Trace Semantics.

T. Karvi Tienari Tienari Roope Kaivola

Published in: Formal Methods Syst. Des. (2005)

Keyphrases

development process
logic programming
learning technology standards
data mining
high level
conceptual model
specification language
case study
multi agent
software engineering
design process
formal semantics
requirements engineering