… to the lack of a well-defined, comprehensive, and common framework. In this paper, we introduce such a common comparative framework. The framework builds upon our own experience and extends existing comparative frameworks. We illustrate …
In Conference on Software Maintenance and Reengineering (CSMR 2006). 2006:… This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatically. The framework supports incremental maintenance …
GPCE '09: Proceedings of the eighth international conference on Generative programming and component engineering, , Oct 2009.… This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatically. The framework supports incremental maintenance …
GPCE '09: Proceedings of the eighth international conference on Generative programming and component engineering, , Oct 2009.… Framework-specific models represent the design of application code from the framework viewpoint by showing how framework-provided concepts are instantiated … for development tasks such as code understanding, verifying framework usage rules …
ASE, 16(1):101-144, 2009. [doi]… ) framework ….. …
System Sciences, 2009. HICSS '09. 42nd Hawaii International Conference on, , Dec 2008. [doi]… ) framework ….. …
System Sciences, 2009. HICSS '09. 42nd Hawaii International Conference on, , Dec 2008. [doi]… ecosystem need to be taken into account. We present a general framework to automate the analysis of the evolution of software ecosystems. The framework …. The framework is extensible in order to accommodate more and different types of input …
In IWPSE-EVOL '10: Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE). 2010: [doi]… K is an executable semantic framework in which programming languages, calculi …, write, or do not care about. This distinction makes K a suitable framework …. This paper gives an overview of the K framework: what it is, how it can be used …
jlp, 79(6):397-434, 2010. [doi]… framework for grammar testing, in which some commonly used techniques for testing … demonstrate the feasibility and efficiency of the testing framework and the proposed …
ACISicis 2009: 1013-1019 [doi]… inconsistent. We propose a four- phase framework for user-interface design: the framework provides common structure and terminology for searching while preserving …
dlib, 3(1):1-15, jan 1997. [doi]… framework for constructing interactive language-based programming tools. This report presents the architecture of the HARMONIA framework. We brie y review the design … and interactions of the major components in the HARMONIA framework. …
Technical Report 2001. [doi]… core language TT, and define a framework within this language for representing … programs within this framework and show that we can construct proofs of their size bounds within TT. We further show how the framework handles recursive higher order …
IFL 2006: 74-90 [doi]… This paper describes a framework that supports the si- multaneous evolution …-supported object- relational mapping. The proposed framework accounts for non-trivial … migration is offered on the level of transparent data access. The framework con …
ssdbm 2004: 341-344 [doi]… are in some sense equivalent. This paper describes a general framework for formally … for certain instances. We illustrate the applicability of the framework by showing how …
DKE, 28(1):47-71, 1998. [doi]… database schema(s) and application programs. We propose here a framework for the evolution of temporal conceptual schemas of information systems. Our framework … how the framework can be used to specify schema changes. …
caise 2000: 369-386 [doi]… made to the research of various semantic frameworks over more than forty years …. It also illustrates features and actual applications of the main frameworks …, the qualitative comparisons of these frameworks are given distinctly. It suggests …
SIGPLAN, 39(3):14-30, 2004. [doi]… of domain modelling. Therefore, we propose a theoretical framework for model … to the field of domain modelling. Therefore, we propose a theoretical framework …
caise 2004: 463-476 [doi]… . An extension of the JUnit framework that actively supports the developer … framework that can record and analyze the schedules of unit tests, detect deadlocks …
Master's thesis, Rice University, October 2007.… We propose a language-independent symbolic execution framework. The approach is parameterised by a language definition, which consists of a signature … was developed in the K Framework. We demonstrate the genericity of our tool …
Rapport de recherche RR-8189, 2012.… We propose a language-independent symbolic execution framework. The approach is parameterised by a language definition, which consists of a signature … was developed in the K Framework. We demonstrate the genericity of our tool …
Preprint 2013.