Abstracting Dependencies between Software Configuration Items

12 years 3 months ago
Abstracting Dependencies between Software Configuration Items
ing Dependencies between Software Configuration Items CARL A. GUNTER University of Pennsylvania icle 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 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 correctness properties can be characterized and proved, and how optimizations can be composed and compared. Categories and Subject Descriptors: D.2.4 [Software Engineering]: Software/Program Verification; D.2.7 [Software Engineering]: Distribution, Maintenance, and Enhancement; F.3.2 [Logics and Meanings of Programs]: Semantics of Programming Languages General Terms: Languages, Management, Verification al Key Words and Phr...
Carl A. Gunter
Added 08 Aug 2010
Updated 08 Aug 2010
Type Conference
Year 1996
Authors Carl A. Gunter
Comments (0)