Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Software Configuration Management

SCM 1998: System Configuration Management pp 133–139Cite as

Supporting fine-grained traceability in software development environments

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1439))

Abstract

This paper describes the facilities currently available to support auditing and traceability within a system which provides fine-grained configuration and version management. We contend that the relationship between the configuration management system and the underlying version control system is a critical factor which governs many aspects of the facilities supporting traceability. The model of traceability is formally specified relative to our configuration and versioning models.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Song C. Choi and Walt Scacchi. Assuring the correctness of configured software descriptions. In Proc 2nd Intl Workshop on Software Configuration Management, ACM SIGSOFT Software Engineering Notes, volume 14, pages 66–75. ACM Press, 1989.

    Google Scholar 

  2. P.A. Lindsay, Y. Liu, and O. Traynor. Managing document conformance: a case study in fine-grained configuration management. In Aust Comp Sci Communications., volume 19(1), pages 373–382, 1997.

    Google Scholar 

  3. P.A. Lindsay and O. Traynor. Version and configuration management of formal theories. In Proc. Formal Methods Pacific (FMP'97). Springer Verlag, 1997.

    Google Scholar 

  4. P.A. Lindsay and O. Traynor. A formal model of fine grained traceability in software development environments. Technical Report 98-10, Software Verification Research Centre, School of Information Technology, The University of Queensland, St. Lucia, QLD 4072, Australia, 1998.

    Google Scholar 

  5. U.K. Ministry of Defence. Safety Management Requirements for Defence Systems Containing Programmable Electronics. Second Draft Defence Standard 00-56, August 1996.

    Google Scholar 

  6. F.A.C. Pinheiro and J.G. Goguen. An object-oriented tool for tracing requirements. IEEE Software, pages 52–64, 1996.

    Google Scholar 

  7. K.J. Ross and P.A. Lindsay. Maintaining consistency under changes to formal specifications. In FME'93: Industrial Strength Formal Methods. Springer Verlag, 1993. Proc. First Internat. Symp. of Formal Methods Europe, Odense, Denmark, April 1993.

    Google Scholar 

  8. S. Sachweh and W. Schäfer. Version management for tightly integrated software engineering environments. In Proc. 7th Int. Conf. on Software Eng Environments, pages 21–31, The Netherlands, 1995. IEEE Computer Society Press.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Software Verification Research Centre, The University of Queensland, 4072, Queensland, Australia

    Peter Lindsay & Owen Traynor

Authors
  1. Peter Lindsay
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Owen Traynor
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Boris Magnusson

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lindsay, P., Traynor, O. (1998). Supporting fine-grained traceability in software development environments. In: Magnusson, B. (eds) System Configuration Management. SCM 1998. Lecture Notes in Computer Science, vol 1439. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0053884

Download citation

  • DOI: https://doi.org/10.1007/BFb0053884

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64733-1

  • Online ISBN: 978-3-540-69086-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation