The STSLib Project: Towards a Formal Component Model Based on STS.

Fabrício Fernandes Jean-Claude Royer

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

case study
data driven
project management
formal specification
mathematical theory
european project
software development
model free
current status
nsf funded