DocumentCode
2722079
Title
Tenth International Workshop on Software Specification and Design. IWSSD-10 2000
fYear
2000
fDate
7-7 Nov. 2000
Abstract
The following topics were dealt with: reactive and real-time systems; quantitative and non-functional qualities; and (in)completeness, (in)consistency and (sufficient) correctness
Keywords
formal specification; real-time systems; software engineering; completeness; consistency; incompleteness; inconsistency; nonfunctional qualities; quantitative qualities; reactive systems; real-time systems; software design; software specification; sufficient correctness;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Specification and Design, 2000. Tenth International Workshop on
Conference_Location
San Diego, CA, USA
Print_ISBN
0-7695-0884-7
Type
conf
DOI
10.1109/IWSSD.2000.891120
Filename
891120
Link To Document