The C programming language
Rigi-A system for programming-in-the-large
ICSE '88 Proceedings of the 10th international conference on Software engineering
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Object oriented design with applications
Object oriented design with applications
The programmer's apprentice
Programming perl
LaSSIE: a knowledge-based software information system
Communications of the ACM - Special issue on software engineering
The C++ programming language (2nd ed.)
The C++ programming language (2nd ed.)
Eiffel: the language
Tcl and the Tk toolkit
A memory-based approach to recognizing programming plans
Communications of the ACM
The software landscape: a visual formalism for programming-in-the-large
The software landscape: a visual formalism for programming-in-the-large
Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool
IEEE Transactions on Software Engineering - Special issue on software architecture
Aspect: detecting bugs with abstract dependences
ACM Transactions on Software Engineering and Methodology (TOSEM)
Mediators: easing the design and evolution of integrated systems
Mediators: easing the design and evolution of integrated systems
Extensibility safety and performance in the SPIN operating system
SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Monitoring compliance of a software system with its high-level design models
Proceedings of the 18th international conference on Software engineering
Lightweight lexical source model extraction
ACM Transactions on Software Engineering and Methodology (TOSEM)
A unified framework for expressing software subsystem classification techniques
Journal of Systems and Software
Manipulating recovered software architecture views
ICSE '97 Proceedings of the 19th international conference on Software engineering
An empirical study of static call graph extractors
ACM Transactions on Software Engineering and Methodology (TOSEM)
The Field Programming Environment: A Friendly Integrated Environment for Learning and Development
The Field Programming Environment: A Friendly Integrated Environment for Learning and Development
Reverse Engineering and Design Recovery: A Taxonomy
IEEE Software
Structural Redocumentation: A Case Study
IEEE Software
QDA - A Method for Systematic Informal Program Analysis
IEEE Transactions on Software Engineering
Semantic Diff: A Tool for Summarizing the Effects of Modifications
ICSM '94 Proceedings of the International Conference on Software Maintenance
Reflection and semantics in LISP
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A new program structuring mechanism based on layered graphs (programming languages, structure, software engineering)
Lightweight structural summarization as an aid to software evolution
Lightweight structural summarization as an aid to software evolution
ASTLOG: a language for examining abstract syntax trees
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
ArchJava: connecting software architecture to implementation
Proceedings of the 24th International Conference on Software Engineering
Architectural Reasoning in ArchJava
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Efficient mapping of software system traces to architectural views
CASCON '00 Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative research
Integrating diverse paradigms in evolution and maintenance by an XML-based unified model
Journal of Software Maintenance: Research and Practice
Software Visualisation for Object-Oriented Program Comprehension
Proceedings of the 26th International Conference on Software Engineering
Refining code-design mapping with flow analysis
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Applications of clustering techniques to software partitioning, recovery and restructuring
Journal of Systems and Software - Special issue: Applications of statistics in software engineering
Efficient Relational Calculation for Software Analysis
IEEE Transactions on Software Engineering
A space of layout styles for hierarchical graph models of software systems
SoftVis '05 Proceedings of the 2005 ACM symposium on Software visualization
Improving system dependability by enforcing architectural intent
WADS '05 Proceedings of the 2005 workshop on Architecting dependable systems
IEEE Transactions on Software Engineering
Using dependency models to manage complex software architecture
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Using software evolution to focus architectural recovery
Automated Software Engineering
Relational programming with CrocoPat
Proceedings of the 28th international conference on Software engineering
A case study in re-engineering to enforce architectural control flow and data sharing
Journal of Systems and Software
Editorial: Working Conference on Reverse Engineering 2005
Information and Software Technology
ACM Transactions on Software Engineering and Methodology (TOSEM)
Exploring the neighborhood with dora to expedite software maintenance
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Checking threat modeling data flow diagrams for implementation conformance and security
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Using information retrieval to support design of incremental change of software
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Informing Eclipse API production and consumption
Proceedings of the 2007 OOPSLA workshop on eclipse technology eXchange
Automatic modularity conformance checking
Proceedings of the 30th international conference on Software engineering
The design navigator: charting java programs
Companion of the 30th international conference on Software engineering
An industrial case study of architecture conformance
Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement
A survey into the rigor of UML use and its perceived impact on quality and productivity
Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement
Introducing Architecture-Centric Reuse into a Small Development Organization
ICSR '08 Proceedings of the 10th international conference on Software Reuse: High Confidence Software Reuse in Large Systems
Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Static extraction and conformance checking of the runtime architecture of object-oriented systems
Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Detecting Coordination Problems in Collaborative Software Development Environments
Information Systems Management
An experiment on the role of graphical elements in architecture visualization
Empirical Software Engineering
Software Engineering
A field study in static extraction of runtime architectures
Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
SHARK '09 Proceedings of the 2009 ICSE Workshop on Sharing and Reusing Architectural Knowledge
A dependency constraint language to manage object-oriented software architectures
Software—Practice & Experience
Automated Architecture Consistency Checking for Model Driven Software Development
QoSA '09 Proceedings of the 5th International Conference on the Quality of Software Architectures: Architectures for Adaptive Software Systems
Extending the reflexion method for consolidating software variants into product lines
Software Quality Control
Introduction to the WCRE 2007 special issue
Software Quality Control
Discovery of architectural layers and measurement of layering violations in source code
Journal of Systems and Software
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Artifacts recovery and understanding using high level models
WSEAS Transactions on Information Science and Applications
An approach to software evolution based on semantic change
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Behavioral profiles—a way to model and validate program behavior
Software—Practice & Experience
WSEAS Transactions on Computers
Analyzing security architectures
Proceedings of the IEEE/ACM international conference on Automated software engineering
Automatically identifying changes that impact code-to-design traceability during evolution
Software Quality Control
An architecture-centric approach to detecting security patterns in software
ESSoS'11 Proceedings of the Third international conference on Engineering secure software and systems
Assessing architectural drift in commercial software development: a case study
Software—Practice & Experience
1.x-Way architecture-implementation mapping
Proceedings of the 33rd International Conference on Software Engineering
Recovering object-oriented framework for software product line reengineering
ICSR'11 Proceedings of the 12th international conference on Top productivity through software reuse
Vision paper: the essence of structural models
Proceedings of the 14th international conference on Model driven engineering languages and systems
Controlling software architecture erosion: A survey
Journal of Systems and Software
Bauhaus: a tool suite for program analysis and reverse engineering
Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
Assisting conformance checks between architectural scenarios and implementation
Information and Software Technology
Improving the build architecture of legacy c/c++ software systems
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Proceedings of the 11th annual international conference on Aspect-oriented Software Development
Generation of task-specific architecture documentation for developers
Proceedings of the 17th international doctoral symposium on Components and Architecture
Characterizing real-time reflexion-based architecture recovery: an in-vivo multi-case study
Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures
Extraction of ownership object graphs from object-oriented code: an experience report
Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures
Proceedings of the 34th International Conference on Software Engineering
xMapper: an architecture-implementation mapping tool
Proceedings of the 34th International Conference on Software Engineering
Construct specific coupling measurement for C++ software
Computer Languages, Systems and Structures
Code-based variability model extraction for software product line improvement
Proceedings of the 16th International Software Product Line Conference - Volume 2
Proceedings of the 2013 International Conference on Software Engineering
Science of Computer Programming
oZone: Layer identification in the presence of cyclic dependencies
Science of Computer Programming
dCloud: a document link provision cloud for software extension tasks
Proceedings of the International C* Conference on Computer Science and Software Engineering
A taxonomy for requirements engineering and software test alignment
ACM Transactions on Software Engineering and Methodology (TOSEM)
Towards extensive software architecture erosion repairs
ECSA'13 Proceedings of the 7th European conference on Software Architecture
ADAM: External dependency-driven architecture discovery and analysis of quality attributes
ACM Transactions on Software Engineering and Methodology (TOSEM)
Object graphs with ownership domains: an empirical study
Aliasing in Object-Oriented Programming
Towards flexible automated software architecture erosion diagnosis and treatment
Proceedings of the WICSA 2014 Companion Volume
A classification and rationalization of model-based software development
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
The artifacts constituting a software system often drift apart over time. We have developed the software reflexion model technique to help engineers perform various software engineering tasks by exploiting驴rather than removing驴the drift between design and implementation. More specifically, the technique helps an engineer compare artifacts by summarizing where one artifact (such as a design) is consistent with and inconsistent with another artifact (such as source). The technique can be applied to help a software engineer evolve a structural mental model of a system to the point that it is 驴good-enough驴 to be used for reasoning about a task at hand. The software reflexion model technique has been applied to support a variety of tasks, including design conformance, change assessment, and an experimental reengineering of the million-lines-of-code Microsoft Excel product. In this paper, we provide a formal characterization of the reflexion model technique, discuss practical aspects of the approach, relate experiences of applying the approach and tools, and place the technique into the context of related work.