2004
DOI: 10.1016/s0164-1212(03)00067-0
|View full text |Cite
|
Sign up to set email alerts
|

Incremental specification with SCTL/MUS-T: a case study

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2004
2004
2009
2009

Publication Types

Select...
3
3

Relationship

0
6

Authors

Journals

citations
Cited by 9 publications
(1 citation statement)
references
References 26 publications
0
1
0
Order By: Relevance
“…[uncertain]: the knowledge available does not suffice to To be precise, we have adopted the following formalisms, borrowed from works on multi-valued specification of software systems (Ferná ndez-Vilas et al, 2004):…”
Section: The Keppan Middlewarementioning
confidence: 99%