P. Ciancarini, G. Levi  Home/Search
Context
Related
| cs.unibo.it/pub/cianca/lpsweng.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.unibo.it/pub/cianca/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We show that logic programming offers useful methods and techniques to software engineers. Several research and industrial projects have either successfully applied logic programming languages during the software development lifecycle, or have developed useful software engineering tools exploiting some feature of logic programming. We overview the main software specification and design techniques based on Prolog or on more advanced logic languages. We also survey a number of software... (Update)
Similar documents (at the sentence level):
18.3%: What is Logic Programming good for in Software Engineering? - Ciancarini, Levi (1993) (Correct)
Active bibliography (related documents): More All
2.4: Declarative Specification of the Architecture of a.. - Ambriola.. (1995) (Correct)
1.7: Prological Language Processing - Lämmel, al. (2001) (Correct)
0.7: The Application of Prolog to Structured Design - Tse, Chen, Chan, Chen, Xie (1994) (Correct)
Similar documents based on text: More All
0.1: An Open Framework for Cooperative Problem Solving - Gaspari, Motta, Stutt (1995) (Correct)
0.1: A Comparison of Parallel Search Algorithms based on Tree Splitting - Ciancarini (1994) (Correct)
0.1: Exploring the Coordination Space with LO - Stefania Castellani Paolo (1994) (Correct)
BibTeX entry: (Update)
@inproceedings{ ciancarini95applications,
author = "P. Ciancarini",
title = "{Applications of Logic Programming in Software Engineering}",
booktitle = "{PAP} Workshop on {LP} and {SE}",
address = "Paris, France",
year = "1995",
url = "citeseer.ist.psu.edu/ciancarini95applications.html" }
Citations (may not include all citations):440 The Art of Prolog (context) - Sterling, Shapiro - 1986
373 Constraint Logic Programming: A Survey - Jaffar, Maher - 1994
328 Algorithmic Program Debugging (context) - Shapiro - 1983
267 The Constraint Logic Programming Language CHIP (context) - Dincbas, VanHentenryck et al. - 1988
208 No Silver Bullet: Essence and Accidents of Software Engineer.. (context) - Brooks - 1987
159 Predicate Logic as a Programming Language (context) - Kowalski - 1974
154 A Specifier's Introduction to Formal Methods (context) - Wing - 1990
151 Software Processes are Software Too (context) - Osterweil - 1987
149 A Logical Analysis of Modules in Logic Programming (context) - Miller - 1989
134 ACM Transactions on Programming Languages and Systems (context) - Jaffar, Michaylov et al. - 1992
127 Centaur: The System - Borras, Clement et al. - 1988
123 An Introduction to Formal Methods (context) - Diller - 1990
121 Logic Programming with Functions and Predicates: The languag.. (context) - Moreno, Rodriguez-Artalejo - 1992
94 ACM Transactions on Programming Languages and Systems (context) - Brogi, Ciancarini et al. - 1991
93 Intelligent Assistance for Software Development and Maintena.. (context) - Kaiser, Feiler et al. - 1988
89 The Interrogator: Protocol Security Analysis (context) - Millen, Clark et al. - 1987
89 Kernel Leaf: A Logic plus Functional Language (context) - Giovannetti, Levi et al. - 1991
81 A Reference Manual (context) - Spivey, Notation - 1992
79 Logic Programming: Systematic Program Development (context) - Deville - 1990
70 A Grammatical View of Logic Programming (context) - Deransart, Maluszynski - 1988
69 Applying formal methods to the analysis of a key management .. - Meadows - 1992
64 Communications of the ACM (context) - Kowalski, Logic - 1979
61 Object-Oriented Programming in Concurrent Prolog (context) - Shapiro, Takeuchi - 1983
60 Communications of the ACM (context) - Curtis, Kellner et al. - 1992
51 Visualizing and Querying Software Structures (context) - Consens, Mendelzon et al. - 1992
49 Software testing based on formal specifications: a theory an.. (context) - Bernot, Gaudel et al. - 1991
43 Specifications as Search Keys for Software Libraries - Rollins, Wing - 1991
40 a Specification language for Ada (context) - Luckham, vonHenke et al. - 1985
40 Techniques for Process Model Evolution in EPOS - Jaccheri, Conradi - 1993
40 A Plan-Based Intelligent Assistant that Supports the Softwar.. (context) - Huff, Lesser - 1988
37 A Knowledge-Based Software Development Environment Supportin.. - Peuschel, Schaefer et al. - 1992
37 Software: Practice and Experience (context) - Warren, Compiler - 1980
35 Software Development: Two Approaches to Animation of Z speci.. (context) - West, Eaglestone - 1992
34 The Pan Language-Based Editing System - Ballance, Graham et al. - 1992
32 Object-Oriented Programming in Prolog (context) - Zaniolo - 1984
31 Rule-based Approach to Computing Module Cohesion (context) - Lakhotia - 1993
31 A Syntactic Theory of Software Architecture (context) - Dean, Condy - 1995
31 Partial evaluation of Prolog programs and its application to.. (context) - Takeuchi, Furukawa - 1986
30 ACM Transactions on Programming Languages and Systems (context) - Cohen, Hickey et al. - 1987
29 A Packaging System for Heterogeneous Execution Environments - Callahan, Purtilo - 1991
29 The Power of ObjectOriented and Logic Programming (context) - Moss - 1994
28 Implementing Algebraic Specifications (context) - Bouma, Walters - 1989
27 A Compositional Approach to Multiparadigm Programming (context) - Zave - 1989
26 A Survey of Logic Programming-based Object Oriented Language.. (context) - Davison - 1993
24 Types and Generic Modules for Logic Programming (context) - Goguen, Meseguer et al. - 1986
23 How to Invent a Prolog Machine (context) - Kursawe - 1987
22 The relation between logic programming and logic specificati.. (context) - Kowalski - 1985
21 A knowledge-based environment for modeling and simulating so.. - Mi, Scacchi - 1990
21 Creating Specifications from Code: Reverse Engineering Techn.. - Breuer, Lano - 1991
20 Differential Logic Programming - Bossi, Bugliesi et al. - 1993
20 Metainterpreters for Real (context) - Safra, Shapiro - 1986
20 From Programs to Object Code and Back Again Using Logic Prog.. - Bowen - 1993
19 a logic language for executable specifications of real time .. (context) - Morzenti, Mandrioli et al. - 1990
18 Connecting Software Components with Declarative Glue (context) - Beach - 1992
18 An Architecture for Prolog Extensions - Meier, Schimpf - 1992
18 The Family of Concurrent Logic Languages (context) - Shapiro - 1989
17 EZ: A System for Automatic Prototyping of Z Specifications (context) - Doma, Nicholl - 1991
16 Module Test Case Generation (context) - Hoffman, Brealey - 1989
16 A Logic-Based Approach to Reverse Engineering Tools Producti.. (context) - Canfora, Cimitile et al. - 1992
15 A Requirements Capture Method and its use in an Air Traffic .. - Mccluskey, Porteus et al. - 1995
15 Transformational Derivation of Programs Using the Focus Syst.. (context) - Reddy - 1988
14 Formal Specification of an Access Control System (context) - Stepney, Lord - 1987
14 Computer aided transformation of Z into Prolog (context) - Dick, Krause et al. - 1989
14 An Overview of the CAPITL Software Development Environment - Adams, Solomon - 1993
14 Logical Animation (context) - Costa, Cunningham et al. - 1990
13 A Demonstrably Correct Compiler (context) - Stepney, Whitley et al. - 1991
13 Coordinating Rule-Based Software Processes with ESP - Ciancarini - 1993
13 How to Combine Nonmonotonic Logic and Rapid Prototyping to H.. - Luqi - 1995
13 Cogito: Methodology and System for Formal Software Developme.. (context) - Bloesch, Kazmierczak et al. - 1995
11 IEEE Transactions on Software Engineering (context) - Hoffman, Strooper et al. - 1991
10 A method for controlling the production of specifications in.. (context) - Macias, Pulman - 1995
10 Automating the Detection of Reusable Parts in Existing Softw.. (context) - Dunn, Knight - 1993
9 A Formal Model for Software Project Management (context) - Liu, Horowitz - 1989
9 Dimensions of Object-Oriented Modeling (context) - Wegner - 1992
9 Test Set Generation from Algebraic Specification using Logic.. (context) - Bouge, Choquet et al. - 1986
9 Logic programming in a software engineering perspective (context) - Mello, Natali et al. - 1989
8 A Pluralistic Knowledge-Based Approach to Software Specifica.. (context) - Niskier, Maibaum et al. - 1989
8 Estimating the Number of Test Cases Required to Satisfy the .. - Biemann, Schultz - 1989
7 Extending Prolog with Modularity (context) - Mello, Natali - 1992
7 System Programming in Parallel Logic Languages (context) - Foster - 1990
7 Prolog in Practical Compiler Writing (context) - Paakki - 1991
7 A Rule-Based Software Test Data Generator (context) - Deason, Brown et al. - 1991
7 Enacting software processes in Oikos (context) - Ambriola, Ciancarini et al. - 1990
7 ACM Transactions on Software Engineering and Methodology (context) - Tyszberowicz, Yehudai et al. - 1992
7 The Ergo Support System: an Integrated Set of Tools for Prot.. (context) - Lee, Pfenning et al. - 1988
7 specifications using program transformation systems: The SuZ.. (context) - Knott, Krause et al. - 1992
7 Toward Automatic Test Data Set Selection using Algebraic Spe.. (context) - Marre - 1991
6 Concurrent Constraint Programs to Parse and Animate Pictures.. (context) - Kahn - 1991
6 Groupe d'Intelligence Artificielle (context) - Colmeraurer, des et al. - 1975
6 Parallel Programming with Logic Languages: a Survey - Ciancarini - 1992
6 Logic Programming for Software Verification and Testing (context) - Khanna - 1991
5 Mockingbird: A Logical Methodology for Testing (context) - Gorlick, Kesselman et al. - 1990
5 Use of Prolog for Developing a New Programming Language - Armstrong, Virding et al. - 1992
5 A Case-Based Approach to Software Reuse (context) - Fouque, Matwin - 1993
5 A Case for Declarative Programming-in-the-Large - Singleton, Brereton - 1993
5 Software Process Modeling: a Behavioral Approach (context) - Williams - 1988
5 The Fifth Generation Project: Personal Perspectives (context) - Shapiro, Warren - 1993
5 PLEASE: Executable Specifications for incremental software d.. (context) - Terwilliger, Campbell - 1989
5 SAME: A Structured Analysis tool and its implementation in P.. (context) - Docker - 1988
5 Using Prolog for Software System Maintenance (context) - Kielmann - 1992
4 Secondary Storage in a Concurrent Logic Programming Environm.. (context) - Kusalik - 1990
4 An Operational Formal Definition of Prolog: A Specification .. (context) - Deransart, Ferrand - 1992
4 A Hybrid Knowledge Representation as a Basis of Requirements.. (context) - Tsai, Weigert et al. - 1992
4 Software engineering and artificial intelligence in new gene.. (context) - Kowalski - 1985
4 A general trace query mechanism based on Prolog (context) - Ducass'e - 1992
4 Overview of the Ten Years of the FGCS Project (context) - Kurozumi - 1992
4 Configuration Management by Consensus: An Application of Law.. (context) - Minsky, Rozenshtein - 1990
4 A Tool to Coordinate Tools (context) - Bisiani, Lecouat et al. - 1988
4 the Animation of Not Executable Specifications by Prolog (context) - Sterling, Ciancarini et al. - 1996
4 The Application of Formal Methods to the Assessment of High .. (context) - Bloomfield, Froome - 1986
3 Science of Computer Programming (context) - Komorowski, Maluszynski et al. - 1987
3 The Design and Use of a Prolog Trace Generator for CSP (context) - Kourie - 1987
3 RSF: A Formalism for Executable Requirement Specification (context) - Degl'Innocenti, Ferrari et al. - 1990
3 Conceptual Modelling in the Context of Software Development (context) - Kung - 1989
3 Testing Data Flow Diagrams with PARLOG (context) - Steer - 1988
3 A Formal Description of Evolving Software Systems Architectu.. (context) - Lucena, Alencar - 1995
3 Cooperation Patterns for process-centered Software Developme.. (context) - Schafer, Wolf - 1995
3 Prolog for Software Maintenance (context) - Canfora, Cimitile et al. - 1995
3 Enhancing Configuration Facilities in Software Development: .. (context) - Asirelli, Inverardi - 1987
3 Knowledge-based software development tools (context) - Pressburger, Smith - 1988
3 Complexity control in logic based programming (context) - Markusz, Kaposi - 1985
3 Experience with Specification and Verification of a Complex .. (context) - Suzuki - 1986
3 Test Data Selection from Algebraic Specifications: Applicati.. (context) - Dauchy, Marre - 1991
3 Which Role for CLP in Software Engineering (context) - Rueher, Legeard - 1992
3 Prolog Testing of C Modules (context) - Strooper, Hoffman - 1991
3 Software Process Automation (context) - Christie - 1995
3 Implementation of a Declarative State-Transition System (context) - Foster - 1989
3 Specification and verification of distributed systems using .. (context) - Azema - 1984
3 Architecture of a Distributed Window System and its FCP Impl.. (context) - Katzenellenbogen, Cohen et al. - 1987
3 Specification and Implementation of Concurrent Systems using.. (context) - Gilbert - 1989
3 SDA: A Novel Approach to Software Environment Design and Con.. (context) - Kishida - 1988
2 Using Flat Concurrent Prolog in System Modeling (context) - Dotan, Arazi - 1991
2 An Executable Language for Modeling Simple Behavior (context) - Lee, Sluizer - 1991
2 Application of Prolog to Test Sets Generation from Algebraic.. (context) - Bouge, Choquet et al. - 1985
2 The Art of Computer un-Programming: Reverse Engineering in P.. (context) - Breuer - 1992
2 Specification and Initialization of a Logic Computer System (context) - Kusalik - 1986
2 A Semantic Evaluator Generating System in Prolog (context) - Henriques - 1988
2 Executable Logic Specifications for Protocol Service Interfa.. (context) - Sidhu, Crall - 1988
2 Automating Software Evolution (context) - Liu - 1995
2 Implementation of a Toolset for Prototyping Algebraic Specif.. (context) - Giovini, Morando et al. - 1992
2 Building Software by Deduction: Why and How - Singleton, Brereton - 1992
2 An Approach to Animating Z Using Prolog (context) - Knott, Krause - 1988
2 An Early Report on Encompass (context) - Terwilliger, Campbell - 1988
2 A parallel chart parser for the committed choice non determi.. (context) - Trehan, Wilk - 1988
2 Process Programming with Prolog (context) - Ohki, Ochimizu - 1989
2 Software Process Monitoring Mechanisms in Oikos (context) - Montangero, Scarselli - 1994
2 Sokrates-SA: A Formal Method for Specifying Real-Time System.. (context) - Okkonen, Auer et al. - 1989
2 Specifications of Distributed Systems in Prolog (context) - Ural - 1990
2 Attribute Grammar Formalisms - A High Level Methodology in L.. (context) - Paakki - 1995
2 Building Tools for Software Engineering with AI Techniques (context) - Nardi, Tucci - 1990
2 Runnable Specifications as Design Tool (context) - Davis - 1982
2 Test-case generation from Prolog-based specifications (context) - Denney - 1991
2 SOFTM: A Software Maintenance Expert System in Prolog (context) - Pau, Kristinsson - 1990
2 Using an Attribute Grammar as a Logic Program (context) - Riedewald, Lammel - 1988
2 An Inference System Environment for Ada (context) - Attali, Franchi-Zannettacci - 1987
2 A rule-based process representation technique for software p.. - Welzel - 1993
2 Inference Engine Definition and Compilation in the Epsilon L.. (context) - Coscia, Franceschi et al. - 1988
1 Learning with Prolog: a new approach (context) - Scherz, Maler et al. - 1988
1 KDA - A Tool for Automatic Design Evaluation and Refinement .. (context) - Sharp - 1988
1 The Logix System Manual (context) - Silverman, Hirsch et al. - 1987
1 A Logic Database for Software Release Engineering (context) - Singleton, Brereton - 1990
1 A Declarative State-Transition System (context) - Foster - 1989
1 ENCORES: an environment for constructing or reasoning with e.. (context) - McArthur - 1988
1 An Evaluation of Prolog as a Prototyping System (context) - Leibrandt, Schnupp - 1984
1 Applying Formal Semantics to User Modeling (context) - Fung - 1992
1 the specification of real-time systems using logic programmi.. (context) - Garzotto, Ghezzi et al. - 1987
1 Structured Systems Analisys through Prolog (context) - Goble - 1989
1 From Abstract Data Types to Logic Programs: a Transformation.. (context) - Habra - 1993
1 Automated Test Case Generation for Requirements Knowledge Ba.. (context) - Mekly, Todd et al. - 1992
1 A Logic Programming Approach to Requirements Modeling and Au.. (context) - Mekly, Yuhas - 1993
1 Implementing Prototype Testing Tools - Hamlet - 1995
1 A Logic Language for Process Programming (context) - Heimbigner - 1989
1 Test Consulting System for Switching Systems (context) - Ho, Manabe et al. - 1991
1 Software Prototyping with MENDEL (context) - Honiden, Uchihira et al. - 1985
1 Using Prolog for Reverse-Engineering and Validation (context) - Lano, Breuer - 1991
1 RASP: Resource Allocator for Software Projects (context) - Bertazzoni, Gatti et al. - 1990
1 Justifying Logic Programming for Practical Applications (context) - Lazarev - 1989
1 Logic programming as a Software Engineering Tool (context) - Lazarev, Gresow - 1985
1 Prolog for Industrial Software Development (context) - Vaucher, Bochmann et al. - 1992
1 A Look through PRISMA: Towards Pluralistic Knowledge-based E.. (context) - Niskier, Maibaum et al. - 1989
1 PLEASE: a Language for Incremental Software Development (context) - Terwilliger, Campbell - 1987
1 A Prolog-Based Approach to SDA Prototyping (context) - Ochimizu, Ohki - 1988
1 A Tool for the Perfomance Analysis of Concurrent Systems (context) - Carchiolo, Faro et al. - 1989
1 Industrial report on Applications of Prolog in Software Vali.. (context) - O'Neill - 1995
1 PROFIT: A System integrating Logic Programming and Attribute.. (context) - Paakki - 1991
1 The Software Development Workbench WSDW (context) - DeLucia, Imperatore et al. - 1992
1 The use of prolog in the modelling and evaluation of structu.. - Tse, Chen et al. - 1994
1 A compiler written in Prolog: the Veda experience (context) - Monin - 1988
1 Test Case Generation using Prolog (context) - Pesch, Schnupp et al. - 1985
1 Declarative Specification of the Architecture of a Software .. - Ambriola, Ciancarini et al. - 1995
1 Constraint Satisfaction Using Logic Programming (context) - VanHentenryck, Simonis et al. - 1992
1 A Prolog Environment for Developing and Reasoning about Data.. (context) - Hsiang, Srivas - 1985
1 Association for Logic Programming (context) - Moss, Bowen et al. - 1992
1 A logic database to support configuration management in Ada (context) - Asirelli, Inverardi - 1987
1 Retrieval of Software Module Specifications Using First Orde.. (context) - Yoshida, Kato et al. - 1985
1 LARGE Software System Maintenance (context) - Yu - 1991
1 From Specification to Design: An Approach based on Rapid Pro.. (context) - Rueher - 1987
1 Software Formal Specification by Logic Programming: The Exam.. (context) - EdDbali, Deransart - 1992
1 On Refinement of Logic Specifications (context) - Ferrucci, Nota et al. - 1992
1 Using Prolog to animate mathematics (context) - Knott - 1992
[Article contains additional citations not shown here]
Documents on the same site (ftp://ftp.cs.unibo.it/pub/cianca/): More
The Evolution of Configuration Management and Version.. - Ambriola, Bendix.. (1990) (Correct)
Distributing Search and Knowledge using a Coordination Language - Ciancarini, Mancini (1995) (Correct)
Towards Innovative Software Engineering Environments - Ambriola Ciancarini Corradini (1988) (Correct)
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