The following pages link to (Q4708513):
Displaying 42 items.
- Refactoring and representation independence for class hierarchies (Q428866) (← links)
- Model evolution and refinement (Q436356) (← links)
- LP-structures analysis: substantiation of refactoring in object-oriented programming (Q462041) (← links)
- Towards the flexible reuse of model transformations: a formal approach based on graph transformation (Q465491) (← links)
- A proof system for adaptable class hierarchies (Q478383) (← links)
- An algebraic approach to the design of compilers for object-oriented languages (Q607399) (← links)
- A categorical framework for the transformation of object-oriented systems: models and data (Q631577) (← links)
- Hume box calculus: Robust system development through software transformation (Q656858) (← links)
- A theory of software product line refinement (Q714875) (← links)
- Generalising the array split obfuscation (Q867610) (← links)
- Inference rules for proving the equivalence of recursive procedures (Q938300) (← links)
- CScout: a refactoring browser for C (Q967532) (← links)
- From a domain analysis to the specification and detection of code and design smells (Q973043) (← links)
- Client-based cohesion metrics for Java programs (Q1016650) (← links)
- Comparison and evaluation of code clone detection techniques and tools: A qualitative approach (Q1021479) (← links)
- Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach (Q1734517) (← links)
- Evolution of rule-based programs (Q1878711) (← links)
- Manipulating algebraic specifications with term-based and graph-based representations (Q1885933) (← links)
- A generalized concurrent rule construction for double-pushout rewriting (Q2117256) (← links)
- Non-intrusive hierarchical coupling strategies for multi-scale simulations in gravitational dynamics (Q2204520) (← links)
- On the development, verification, and validation of a discontinuous Galerkin solver for the Navier-Stokes equations (Q2245356) (← links)
- Sound refactorings (Q2266944) (← links)
- Architectural refactoring of corporate program systems (Q2432991) (← links)
- Code optimizations for size based on architecture transformations (Q2452572) (← links)
- Observations on the assured evolution of concurrent Java programs (Q2575141) (← links)
- Program equivalence in an untyped, call-by-value functional language with uncurried functions (Q2693299) (← links)
- Using CafeOBJ to mechanise refactoring proofs and application (Q2870325) (← links)
- A static semantics for Alloy and its impact in refactorings (Q2870336) (← links)
- A framework for establishing formal conformance between object models and object-oriented programs (Q2873618) (← links)
- rCOS: Defining Meanings of Component-Based Software Architectures (Q2948228) (← links)
- Synchronizing Model and Program Refactoring (Q2999312) (← links)
- Model Transformation and Induced Instance Migration: A Universal Framework (Q3098049) (← links)
- Understanding the complexity of refactoring in software systems: a tool-based approach (Q3423735) (← links)
- Towards a Catalogue of Refactorings and Code Smells for AspectJ (Q3634740) (← links)
- P³: a code and design conventions preprocessor for Java (Q4794715) (← links)
- Latitudinal and longitudinal process diversity (Q4806070) (← links)
- Towards Formal Proof Script Refactoring (Q5200123) (← links)
- Refactoring Object-Oriented Specifications with Data and Processes (Q5428914) (← links)
- Refactorings of Design Defects Using Relational Concept Analysis (Q5445344) (← links)
- On the development, verification, and validation of a discontinuous Galerkin solver for the Navier-Stokes equations (Q5970918) (← links)
- PEQtest: testing functional equivalence (Q6535553) (← links)
- Linking formal methods in software development. A reflection on the development of rCOS (Q6535826) (← links)
