DocumentCode
1634663
Title
Independent validation of specifications: a coordination headache
Author
Easterbrook, Steve ; Callahan, John
Author_Institution
Software Res. Lab., West Virginia Univ., Fairmont, WV, USA
fYear
1996
Firstpage
232
Lastpage
237
Abstract
Large, complex projects face significant barriers to coordination and communication due to continuous, rapid changes during a project´s lifecycle. Such changes must be tracked, analyzed, and reconciled to ensure high quality in the end product, otherwise problems may be get lost or ignored in the overall complexity. We report on “work in progress” in the study of coordination problems between two independent separate groups: software development and software analysis. We have begun to construct a taxonomy of coordination problem, which we illustrate with two scenarios. We briefly describe current attempts to introduce incremental improvements to coordination problems in such projects via World Wide Web tools. Based on actual project experiences, we plan to deploy such tools in a non intrusive fashion to improve coordination and communication between software development groups
Keywords
Internet; formal specification; program verification; project management; software development management; World Wide Web tools; communication; complex projects; coordination problems; incremental improvements; independent separate groups; independent specification validation; project lifecycle; software analysis; software development; software development groups; Accidents; Aerospace industry; Availability; Documentation; Job shop scheduling; NASA; Programming; Software systems; Taxonomy; Testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Enabling Technologies: Infrastructure for Collaborative Enterprises, 1996. Proceedings of the 5th Workshop on
Conference_Location
Stanford, CA
ISSN
1080-1383
Print_ISBN
0-8186-7446-6
Type
conf
DOI
10.1109/ENABL.1996.555227
Filename
555227
Link To Document