Refactoring: Improving the design of existing code
From MaRDI portal
Recommendations
Cited in
(42)- Client-based cohesion metrics for Java programs
- Comparison and evaluation of code clone detection techniques and tools: A qualitative approach
- Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach
- Evolution of rule-based programs
- Manipulating algebraic specifications with term-based and graph-based representations
- A generalized concurrent rule construction for double-pushout rewriting
- Non-intrusive hierarchical coupling strategies for multi-scale simulations in gravitational dynamics
- On the development, verification, and validation of a discontinuous Galerkin solver for the Navier-Stokes equations
- Sound refactorings
- Architectural refactoring of corporate program systems
- Code optimizations for size based on architecture transformations
- Observations on the assured evolution of concurrent Java programs
- Program equivalence in an untyped, call-by-value functional language with uncurried functions
- Using CafeOBJ to mechanise refactoring proofs and application
- A static semantics for Alloy and its impact in refactorings
- A framework for establishing formal conformance between object models and object-oriented programs
- rCOS: defining meanings of component-based software architectures
- Synchronizing model and program refactoring
- Model transformation and induced instance migration: a universal framework
- Understanding the complexity of refactoring in software systems: a tool-based approach
- Towards a Catalogue of Refactorings and Code Smells for AspectJ
- Refactoring and representation independence for class hierarchies
- Model evolution and refinement
- LP-structures analysis: substantiation of refactoring in object-oriented programming
- Towards the flexible reuse of model transformations: a formal approach based on graph transformation
- A proof system for adaptable class hierarchies
- P³: a code and design conventions preprocessor for Java
- Latitudinal and longitudinal process diversity
- Towards Formal Proof Script Refactoring
- Refactoring Object-Oriented Specifications with Data and Processes
- Refactorings of Design Defects Using Relational Concept Analysis
- On the development, verification, and validation of a discontinuous Galerkin solver for the Navier-Stokes equations
- An algebraic approach to the design of compilers for object-oriented languages
- A categorical framework for the transformation of object-oriented systems: models and data
- PEQtest: testing functional equivalence
- Linking formal methods in software development. A reflection on the development of rCOS
- Hume box calculus: Robust system development through software transformation
- A theory of software product line refinement
- Generalising the array split obfuscation
- Inference rules for proving the equivalence of recursive procedures
- CScout: a refactoring browser for C
- From a domain analysis to the specification and detection of code and design smells
This page was built for publication: Refactoring: Improving the design of existing code
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4708513)
