Sciweavers

8109 search results - page 388 / 1622
» A Model of Component-Based Programming
Sort
View
WCRE
1996
IEEE
15 years 11 months ago
Identifying Enumeration Types Modeled with Symbolic Constants
An important challenge in software reengineering is to encapsulate collections of related data that, due to the absence of appropriate constructs for encapsulation in legacy progr...
John M. Gravley, Arun Lakhotia
ECOOP
2008
Springer
15 years 8 months ago
Modeling Context-Dependent Aspect Interference Using Default Logics
Explicitly representing aspect interactions is vital so that they can be shared and used in the course of system evolution. As a consequence, guidance can be given to the software ...
Frans Sanen, Eddy Truyen, Wouter Joosen
APCCM
2006
15 years 8 months ago
Postmodern prospects for conceptual modelling
A number of recent developments in software engineering -- from agile methods to aspect-oriented programming to design patterns to good enough software -- share a number of common...
James Noble, Robert Biddle
CLIMA
2004
15 years 8 months ago
Weighted Multi Dimensional Logic Programs
Abstract. We introduce a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs)...
Pierangelo Dell'Acqua
ICCAD
2003
IEEE
129views Hardware» more  ICCAD 2003»
16 years 3 months ago
ILP Models for the Synthesis of Asynchronous Control Circuits
A new technique for the logic synthesis of asynchronous circuits is presented. It is based on the structural theory of Petri nets and integer linear programming. The technique is ...
Josep Carmona, Jordi Cortadella