• 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