Sciweavers

KBSE
2010
IEEE
13 years 2 months ago
Reconfigurable run-time support for distributed service component architectures
SCA (Service Component Architecture) is an OASIS standard for describing service-oriented middleware architectures. In particular, SCA promotes a disciplined way for designing dis...
Rémi Mélisson, Philippe Merle, Danie...
KBSE
2010
IEEE
13 years 2 months ago
SpecDiff: debugging formal specifications
Zhenchang Xing, Jun Sun 0001, Yang Liu 0003, Jin S...
KBSE
2010
IEEE
13 years 2 months ago
Verification-driven slicing of UML/OCL models
Asadullah Shaikh, Robert Clarisó, Uffe Kock...
KBSE
2010
IEEE
13 years 2 months ago
An experience report on scaling tools for mining software repositories using MapReduce
The need for automated software engineering tools and techniques continues to grow as the size and complexity of studied systems and analysis techniques increase. Software enginee...
Weiyi Shang, Bram Adams, Ahmed E. Hassan
KBSE
2010
IEEE
13 years 2 months ago
PLASMA: a plan-based layered architecture for software model-driven adaptation
Hossein Tajalli, Joshua Garcia, George Edwards, Ne...
KBSE
2010
IEEE
13 years 2 months ago
VikiBuilder: end-user specification and generation of visual wikis
With the need to make sense out of large and constantly growing information spaces, tools to support information management are becoming increasingly valuable. In prior work we pr...
Christian Hirsch, John G. Hosking, John C. Grundy
KBSE
2010
IEEE
13 years 2 months ago
Kadre: domain-specific architectural recovery for scientific software systems
Scientists today conduct new research via software-based experimentation and validation in a host of disciplines, including materials science, life sciences, astronomy, and physic...
David Woollard, Chris Mattmann, Daniel Popescu, Ne...
KBSE
2010
IEEE
13 years 2 months ago
Seamlessly integrated, but loosely coupled: building user interfaces from heterogeneous components
User interface development is a time and resource consuming task. Thus, reusing existing UI components is a desirable approach for rapid UI development. To keep UIs maintainable, ...
Heiko Paulheim
KBSE
2010
IEEE
13 years 2 months ago
Model comparison with GenericDiff
This paper proposes GenericDiff, a general framework for model comparison. The main idea is to separate the specification of domain-specific model properties and syntax from the g...
Zhenchang Xing