By Topic

Towards a logic-based reconstruction of software configuration management

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Jarke, M. ; Lehrstuhl Inf. V., RWTH, Aachen, Germany ; Jeusfeld, M. ; Miethsam, A. ; Gocek, M.

The efficient configuration and reconfiguration of software systems has been a major problem in software engineering. Configuration management is presented from a logic perspective. It is shown that much functionality can be generated automatically when configurations are considered as views on a deductive database, and recent results on deductive integrity checking, semantic query optimization, and intensional updates are applied to formalize a software information base for configuration management and the operations on it. An experimental prototype implementation is described

Published in:

Knowledge-Based Software Engineering Conference, 1992., Proceedings of the Seventh

Date of Conference:

20-23 Sep 1992