Sciweavers

3801 search results - page 233 / 761
» An Approach to Modeling Software Safety
Sort
View
CIBSE
2009
ACM
16 years 1 months ago
A two-level formal semantics for the QVT language
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In t...
Roxana S. Giandini, Claudia Pons, Gabriela P&eacut...
VAMOS
2007
Springer
16 years 19 days ago
An Aspect-oriented Approach for Representing Variability in Product Line Architecture
Aspect-oriented software development has recently emerged as a new paradigm for systematic modularization and representation of the crosscutting concern. Because the variability i...
Youngbong Kim, Mikyeong Moon, Keunhyuk Yeom
APSEC
2003
IEEE
15 years 11 months ago
An XVCL Approach to Handling Variants: A KWIC Product Line Example
We developed XVCL (XML-based Variant Configuration Language), a method and tool for product lines, to facilitate handling variants in reusable software assets (such as architectur...
Hongyu Zhang, Stan Jarzabek
ECMDAFA
2006
Springer
166views Hardware» more  ECMDAFA 2006»
15 years 10 months ago
Dynamic Logic Semantics for UML Consistency
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
Greg O'Keefe
OOPSLA
2007
Springer
16 years 20 days ago
The design and implementation of formal monitoring techniques
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
Eric Bodden