112 search results - page 3 / 23 » Automated Construction of Dependability Models by Aspect-Ori... |
EUROMICRO
2009
IEEE
13 years 10 months ago
2009
IEEE
Model-driven application engineering builds on the concept of model transformations. To weave additional refinement parts into an application model, so-called refinement transform...
COMPSAC
2003
IEEE
13 years 11 months ago
2003
IEEE
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
FMCO
2009
Springer
13 years 3 months ago
2009
Springer
Formal modelling is indispensable for engineering highly dependable systems. However, a wider acceptance of formal methods is hindered by their insufficient usability and scalabili...
ECSA
2010
Springer
13 years 4 months ago
2010
Springer
In Software Product Lines variability refers to the definition and utilization of differences between several products. Feature Diagrams (FD) are a well-known approach to express v...
CSL
2004
Springer
13 years 11 months ago
2004
Springer
In the refinement calculus, monotonic predicate transformers are used to model specifications for (imperative) programs. Together with a natural notion of simulation, they form a...