DocumentCode :
2722353
Title :
The complexity of TRMCS-like spiral specification
Author :
Menzies, Tim
Author_Institution :
Dept. of Electr. & Comput. Eng., British Columbia Univ., Vancouver, BC, Canada
fYear :
2000
fDate :
2000
Firstpage :
183
Lastpage :
190
Abstract :
Modern software is often constructed using “spiral specification”; i.e. the specification is a dynamic document that is altered by experience with the current version of the system. Mathematically, many of the sub-tasks within spiral specification belong to the NP-complete class of tasks. In the traditional view of computer science, such tasks are fundamentally intractable and only solvable using incomplete, approximate methods that can be undependable. This traditional view suggests that we should routinely expect spiral specification to always be performed very poorly. This paper is an antidote to such pessimism. Contrary to the traditional view, we can expect that spiral specification can usually be performed adequately, providing that analysts augment their current tools with random probing
Keywords :
computational complexity; configuration management; formal specification; medical information systems; telemedicine; NP-complete; TRMCS; Teleservices and Remote Medical Care System; complexity; distributed information system; dynamic document; random probing; spiral specification; Biomedical monitoring; Computer science; Condition monitoring; Distributed information systems; Embedded software; Patient monitoring; Remote monitoring; Software systems; Spirals; Watches;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Specification and Design, 2000. Tenth International Workshop on
Conference_Location :
San Diego, CA
Print_ISBN :
0-7695-0884-7
Type :
conf
DOI :
10.1109/IWSSD.2000.891157
Filename :
891157
Link To Document :
بازگشت