Open Logic Theory Composition in a Software Engineering Perspective


Enrico Denti, Andrea Omicini

In this work, we will try to explore the impact of (both static and dinamic) open logic theory composition over the main points of interest for a software engineer. The advantages that this approach may have with respect to traditional "advanced" approaches (such as modern object-oriented languages, like C++) will be outlined, with special regard to the level of dynamicity provided by different solutions. Finally, we will stress the impact of these enhanced dynamicity mechanisms in the architecural design of open, evolutionary (and possible reactive, event-driven) software systems.

ICLP'94 Post-Conference Workshop on Applications of Logic Programming to Software Engineering, pages 139-148, 18 June 1994.
Paolo Ciancarini, Leon Sterling (eds.), S. Margherita Ligure, GE, Italy.
Extended Abstract

@inproceedings{lpse-iclp94,
Address = {S. Margherita Ligure, GE, Italy},
Author = {Denti, Enrico and Omicini, Andrea},
Booktitle = {ICLP'94 Post-Conference Workshop on Applications of Logic Programming to Software Engineering},
Editor = {Ciancarini, Paolo and Sterling, Leon},
Month = {18~} # jun,
Note = {Extended Abstract},
Pages = {139--148},
Title = {Open Logic Theory Composition in a Software Engineering Perspective},
Year = 1994}

Publication

— authors

Enrico Denti, Andrea Omicini

— editors

Paolo Ciancarini, Leon Sterling

— status

published

— sort

paper in proceedings

Venue

— volume

ICLP'94 Post-Conference Workshop on Applications of Logic Programming to Software Engineering

— pages

139-148

— publication date

18 June 1994

BibTeX

— BibTeX ID
lpse-iclp94
— BibTeX category
inproceedings

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY