Sciweavers

1606 search results - page 116 / 322
» XML-based programming language modeling: An approach to soft...
Sort
View
SIGSOFT
2004
ACM
16 years 6 months ago
Reasoning about partial goal satisfaction for requirements and design engineering
Exploring alternative options is at the heart of the requirements and design processes. Different alternatives contribute to different degrees of achievement of non-functional goa...
Emmanuel Letier, Axel van Lamsweerde
176
Voted
SLE
2009
Springer
15 years 10 months ago
Closing the Gap between Modelling and Java
Abstract. Model-Driven Software Development is based on standardised models that are refined, transformed and eventually translated into executable code using code generators. How...
Florian Heidenreich, Jendrik Johannes, Mirko Seife...
VMCAI
2010
Springer
16 years 3 months ago
Complexity Bounds for the Verification of Real-Time Software
We present uniform approaches to establish complexity bounds for decision problems such as reachability and simulation, that arise naturally in the verification of timed software s...
Rohit Chadha, Axel Legay, Pavithra Prabhakar, Mahe...
ICSE
2001
IEEE-ACM
15 years 10 months ago
Composition Patterns: An Approach to Designing Reusable Aspects
Requirements such as distribution or tracing have an impact on multiple classes in a system. They are cross-cutting requirements, or aspects. Their support is, by necessity, scatt...
Siobhán Clarke, Robert J. Walker
KBSE
2007
IEEE
16 years 12 days ago
Towards automatic model synchronization from model transformations
The metamodel techniques and model transformation techniques provide a standard way to represent and transform data, especially the software artifacts in software development. How...
Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zh...