P. Asirelli and P. Inverardi. Enhancing Configuration Facilities in Software Development: A Logic Approach. In Proc. 1st European Software Eng. Conf. (ESEC), volume 289 of Lecture Notes in Computer Science, pages 55--63. Springer-Verlag, Berlin, 1987. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Applications of Logic Programming in Software Engineering - Ciancarini, Levi (1995) (Correct)
....an access and version control system including a reasoning tool based on temporal logic and realized in Prolog. Temporal reasoning is used to manage the version history of a software project, aiming at minimizing storage requirements of the set of modules created during the development. In [6, 5, 7] a logic database called EDBLOG was used to build systems able to reason about modules properties and configuration strategies of programs written in Ada. The logic database exploits an extension of 22 Prolog that supports constraints: these are introduced to guarantee the consistency of a ....
P. Asirelli and P. Inverardi. Enhancing Configuration Facilities in Software Development: A Logic Approach. In Proc. 1st European Software Eng. Conf. (ESEC), volume 289 of Lecture Notes in Computer Science, pages 55--63. Springer-Verlag, Berlin, 1987.
Towards a Logic-Based Reconstruction of Software.. - Jarke, Jeusfeld.. (1992) (5 citations) (Correct)
....a specific pre defined set of link types that define the relationships between subsystems, components, specifications, etc. Similar proposals have also been realized in the software database area, e.g. in the DAMOKLES system [DGL86] or currently in the ITHACA Software Information Base [CJMV91] [AI87] show how the functionality of the Unix MAKE facility [FELD79] i.e. to determine what configurations must be reproduced when particular components change) can be simulated elegantly by a Prolog program. But they do not consider the presence of integrity constraints beyond simple date attributes ....
....components change) can be simulated elegantly by a Prolog program. But they do not consider the presence of integrity constraints beyond simple date attributes as in MAKE, nor the initial construction of consistent configurations beyond simply writing them down as deduction rules. 3 . [AI87] show how the functionality of the Unix MAKE facility [FELD79] i.e. to determine what configurations must be reproduced when particular components change) can be simulated elegantly by a Prolog program. But they do not consider the presence of integrity constraints beyond simple date attributes ....
Asirelli, P., Inverardi, P. (1987). Enhancing configuration facilities in software development: a logic approach. Proc. First European Software Eng. Conf., Strasbourg, France, 59-67.
An Overview of the CAPITL Software Development Environment - Adams, Solomon (1995) (13 citations) (Correct)
....Using this editor, programmers interactively pick values for feature terms. The editor supports incremental selection of features and dynamic sensitivity to existing features. In the future they plan to implement a build tool based on feature logic. Deductive Databases. Asirelli and Inverardi [6] describe how a deductive database could be used to assist configuration management and software construction. Their system (EDBLOG) is a deductive database consisting of three elements: facts, rules and integrity constraints. They implement a Make like tool by using facts to represent ....
P. Asirelli and P. Inverardi. Enhancing configuration facilities in software development: A logic approach. In Proceedings of ESEC '87 : 1st European Software Engineering Conference, volume 289 of Lecture Notes in Computer Science, pages 55--63. Springer--Verlag, September 1987.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC