scientific article; zbMATH DE number 1929900
From MaRDI portal
zbMath1020.68632MaRDI QIDQ4708513
Publication date: 18 June 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2418/24180256.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Evolution of rule-based programs, P³: a code and design conventions preprocessor for Java, Manipulating algebraic specifications with term-based and graph-based representations, Latitudinal and longitudinal process diversity, Generalising the array split obfuscation, An algebraic approach to the design of compilers for object-oriented languages, rCOS: Defining Meanings of Component-Based Software Architectures, A categorical framework for the transformation of object-oriented systems: models and data, Refactoring and representation independence for class hierarchies, Program equivalence in an untyped, call-by-value functional language with uncurried functions, Architectural refactoring of corporate program systems, Non-intrusive hierarchical coupling strategies for multi-scale simulations in gravitational dynamics, 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, Hume box calculus: Robust system development through software transformation, Code optimizations for size based on architecture transformations, A proof system for adaptable class hierarchies, Synchronizing Model and Program Refactoring, Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach, Inference rules for proving the equivalence of recursive procedures, On the development, verification, and validation of a discontinuous Galerkin solver for the Navier-Stokes equations, CScout: a refactoring browser for C, From a domain analysis to the specification and detection of code and design smells, Refactoring Object-Oriented Specifications with Data and Processes, Sound refactorings, A theory of software product line refinement, Refactorings of Design Defects Using Relational Concept Analysis, Towards Formal Proof Script Refactoring, Client-based cohesion metrics for Java programs, Towards a Catalogue of Refactorings and Code Smells for AspectJ, Comparison and evaluation of code clone detection techniques and tools: A qualitative approach, Model Transformation and Induced Instance Migration: A Universal Framework, Understanding the complexity of refactoring in software systems: a tool-based approach, Observations on the assured evolution of concurrent Java programs, On the development, verification, and validation of a discontinuous Galerkin solver for the Navier-Stokes equations, 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, A generalized concurrent rule construction for double-pushout rewriting
