Sciweavers

9 search results - page 1 / 2
» Mining Hierarchies of Models: From Abstract Views to Concret...
Sort
View
BPM
2005
Springer
88views Business» more  BPM 2005»
14 years 29 days ago
Mining Hierarchies of Models: From Abstract Views to Concrete Specifications
Gianluigi Greco, Antonella Guzzo, Luigi Pontieri
ECOOP
1998
Springer
13 years 11 months ago
Precise Visual Specification of Design Patterns
There has been substantial recent interest in captured design expertise expressed as design patterns. Prevalent descriptions of these design patterns suffer from two demerits. Firs...
Anthony Lauder, Stuart Kent
ENTCS
2008
79views more  ENTCS 2008»
13 years 7 months ago
Experimenting Formal Proofs of Petri Nets Refinements
Petri nets are a formalism for modelling and validating critical systems. Generally, the approach to specification starts from an abstract view of the system under study. Once val...
Christine Choppy, Micaela Mayero, Laure Petrucci
CAISE
2005
Springer
14 years 29 days ago
A Generic Model for Integrated Multi-Channel Information Systems
Abstract. There is an increasing need to provide methods for describing information systems which incorporate the integrated use of multiple channels of interaction. To achieve thi...
Richard Cooper, XianQing Wu
ECOOPW
1999
Springer
13 years 11 months ago
An Aspect-Oriented Design Framework for Concurrent Systems
Abstract. In Aspect-Oriented Programming we decompose a problem into a number of functional components as well as a number of aspects and then we compose these components and aspec...
Constantinos Constantinides, Atef Bader, Tzilla El...