Composition of Assumption-Commitment Specifications in a UNITY Style.

Pierre Collette

Published in: Sci. Comput. Program. (1994)

Keyphrases

functional requirements
high level
real time
formal specification
web service composition
delay insensitive
data sets
real world
machine learning
image sequences
evolutionary algorithm
web services composition
attribute grammars