ICSE
2009
IEEE-ACM
14 years 15 days ago
2009
IEEE-ACM
ICSE
2009
IEEE-ACM
14 years 15 days ago
2009
IEEE-ACM
Bidirectional model transformation plays an important role in maintaining consistency between two models, and has many potential applications in software development, including mo...
ICSE
2009
IEEE-ACM
14 years 15 days ago
2009
IEEE-ACM
Reusing software components (e.g. classes or modules) improves software quality and developer’s productivity. Unfortunately, developers may miss many reusing opportunities since...
ICSE
2009
IEEE-ACM
14 years 15 days ago
2009
IEEE-ACM
The comprehensive understanding of today’s software systems is a daunting activity, because of the sheer size and complexity that such systems exhibit. Moreover, software system...
ICSE
2009
IEEE-ACM
14 years 15 days ago
2009
IEEE-ACM
In this paper we address the problem of combining software components with different and possibly incompatible legal licenses to create a software application that does not viola...
ICSE
2009
IEEE-ACM
14 years 15 days ago
2009
IEEE-ACM
REMAN is a reputation management infrastructure for composite Web services. It supports the aggregation of client feedback on the perceived QoS of external services, using reputat...
ICSE
2009
IEEE-ACM
14 years 15 days ago
2009
IEEE-ACM
Based on a well-defined component architecture the tool supports the synthesis of so-called real-time statecharts from timed sequence diagrams. The two step synthesis process add...
ICSE
2009
IEEE-ACM
14 years 15 days ago
2009
IEEE-ACM
Predicting the incidence of faults in code has been commonly associated with measuring complexity. In this paper, we propose complexity metrics that are based on the code change p...
GPCE
2009
Springer
14 years 16 days ago
2009
Springer
Programs can be composed from features. We want to verify automatically that all legal combinations of features can be composed safely without errors. Prior work on this problem a...
GPCE
2009
Springer
14 years 16 days ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...