Login / Signup
Incremental specification with SCTL/MUS-T: a case study.
Ana Fernández Vilas
José Juan Pazos-Arias
Alberto Gil-Solla
Rebeca P. Díaz Redondo
Jorge García Duque
Ana Belén Barragáns-Martínez
Published in:
J. Syst. Softw. (2004)
Keyphrases
</>
comparative analysis
incremental learning
case study
formal specification
provably correct
high level
test bed
homo sapiens
real time
machine learning
information systems
knowledge base
data driven
reactive systems
incremental version