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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2722079
بازگشت