Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Abstracting dependencies between software configuration items
Ist Teil von
ACM transactions on software engineering and methodology, 2000-01, Vol.9 (1), p.94-131
Ort / Verlag
ACM
Erscheinungsjahr
2000
Link zum Volltext
Quelle
Alma/SFX Local Collection
Beschreibungen/Notizen
This article studies an abstract model of dependencies between software configuration items based on a theory of concurrent computation over a class of Petri nets called production nets. A general theory of build optimizations and their correctness is developed based on a form of abstract interpretation called a build abstraction ; these are created during a build and are used to optimize subsequent builds. Various examples of such optimizations are discussed. The theory is used to show how properties can be characterized and proved, and how optimizations can be composed and compared.