Abstracting dependencies between software configuration items

Research output: Contribution to conferencePaper

Abstract

This paper studies an abstract model of dependencies between software configuration items based on a theory of concurrent computation over a class of Petri nets. The primary goal is to illustrate the descriptive power of the model and lay theoretical groundwork for using it to design software configuration maintenance tools or model software configurations. As a start in this direction, the paper analyzes and addresses certain limitations in make description files using a form of abstract interpretation.

Original languageEnglish (US)
Pages167-178
Number of pages12
StatePublished - Dec 1 1996
Externally publishedYes
EventProceedings of the 1996 4th ACM SIGSOFT Symposium on the Foundations of Software Engineering - San Francisco, CA, USA
Duration: Oct 16 1996Oct 18 1996

Other

OtherProceedings of the 1996 4th ACM SIGSOFT Symposium on the Foundations of Software Engineering
CitySan Francisco, CA, USA
Period10/16/9610/18/96

Fingerprint

Software design
Petri nets

ASJC Scopus subject areas

  • Software

Cite this

Gunter, C. A. (1996). Abstracting dependencies between software configuration items. 167-178. Paper presented at Proceedings of the 1996 4th ACM SIGSOFT Symposium on the Foundations of Software Engineering, San Francisco, CA, USA, .

Abstracting dependencies between software configuration items. / Gunter, Carl A.

1996. 167-178 Paper presented at Proceedings of the 1996 4th ACM SIGSOFT Symposium on the Foundations of Software Engineering, San Francisco, CA, USA, .

Research output: Contribution to conferencePaper

Gunter, CA 1996, 'Abstracting dependencies between software configuration items' Paper presented at Proceedings of the 1996 4th ACM SIGSOFT Symposium on the Foundations of Software Engineering, San Francisco, CA, USA, 10/16/96 - 10/18/96, pp. 167-178.
Gunter CA. Abstracting dependencies between software configuration items. 1996. Paper presented at Proceedings of the 1996 4th ACM SIGSOFT Symposium on the Foundations of Software Engineering, San Francisco, CA, USA, .
Gunter, Carl A. / Abstracting dependencies between software configuration items. Paper presented at Proceedings of the 1996 4th ACM SIGSOFT Symposium on the Foundations of Software Engineering, San Francisco, CA, USA, .12 p.
@conference{01287732f5be4b7b97903b746e535e6c,
title = "Abstracting dependencies between software configuration items",
abstract = "This paper studies an abstract model of dependencies between software configuration items based on a theory of concurrent computation over a class of Petri nets. The primary goal is to illustrate the descriptive power of the model and lay theoretical groundwork for using it to design software configuration maintenance tools or model software configurations. As a start in this direction, the paper analyzes and addresses certain limitations in make description files using a form of abstract interpretation.",
author = "Gunter, {Carl A.}",
year = "1996",
month = "12",
day = "1",
language = "English (US)",
pages = "167--178",
note = "Proceedings of the 1996 4th ACM SIGSOFT Symposium on the Foundations of Software Engineering ; Conference date: 16-10-1996 Through 18-10-1996",

}

TY - CONF

T1 - Abstracting dependencies between software configuration items

AU - Gunter, Carl A.

PY - 1996/12/1

Y1 - 1996/12/1

N2 - This paper studies an abstract model of dependencies between software configuration items based on a theory of concurrent computation over a class of Petri nets. The primary goal is to illustrate the descriptive power of the model and lay theoretical groundwork for using it to design software configuration maintenance tools or model software configurations. As a start in this direction, the paper analyzes and addresses certain limitations in make description files using a form of abstract interpretation.

AB - This paper studies an abstract model of dependencies between software configuration items based on a theory of concurrent computation over a class of Petri nets. The primary goal is to illustrate the descriptive power of the model and lay theoretical groundwork for using it to design software configuration maintenance tools or model software configurations. As a start in this direction, the paper analyzes and addresses certain limitations in make description files using a form of abstract interpretation.

UR - http://www.scopus.com/inward/record.url?scp=0030406471&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0030406471&partnerID=8YFLogxK

M3 - Paper

AN - SCOPUS:0030406471

SP - 167

EP - 178

ER -