Sciweavers

2139 search results - page 38 / 428
» Modeling Aspect-Oriented Compositions
Sort
View
SAC
2008
ACM
15 years 1 months ago
Implementing Java modeling language contracts with AspectJ
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...
Henrique Rebêlo, Sérgio Soares, Ricar...
IPMU
2010
Springer
14 years 11 months ago
Possibilistic Graphical Models and Compositional Models
We overview three kinds of possibilistic graphical models (based on directed acyclic graphs) and present, how they can be expressed by means of non-graphical approach to multidimen...
Jirina Vejnarová
ACSD
2003
IEEE
115views Hardware» more  ACSD 2003»
15 years 6 months ago
Component-Based Design: Towards Guided Composition
In this paper, we present a mathematical model for the composition of software components, at a semantic modelling level. We describe a mathematical concept of a single software c...
Sotiris Moschoyiannis, Michael W. Shields
98
Voted
ECOOPW
1999
Springer
15 years 5 months ago
Formalising Composition Oriented Programming
We present a snapshot of work in progress to define a formal model of the composition technology which underpins Subject-oriented and Aspectoriented programming.
Mark Skipper, Sophia Drossopoulou
CORR
2011
Springer
160views Education» more  CORR 2011»
14 years 5 months ago
Compositional Model Repositories via Dynamic Constraint Satisfaction with Order-of-Magnitude Preferences
The predominant knowledge-based approach to automated model construction, compositional modelling, employs a set of models of particular functional components. Its inference mecha...
Jeroen Keppens, Qiang Shen