Article

Free access

Software reflexion models: bridging the gap between source and high-level models

Authors:

Gail C. Murphy,

David Notkin,

Kevin SullivanAuthors Info & Claims

SIGSOFT '95: Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering

Pages 18 - 28

https://doi.org/10.1145/222124.222136

Published: 01 October 1995 Publication History

PDF eReader

References

[1]

A.V. Aho, B.W. Kernighan, and P.J. Weinberger. Awk - A Pattern Scanning and Processing Language. Software - Practice and Experience, 9(4):267-280, 1979.

Crossref

Google Scholar

[2]

G. Booth. Object-oriented Design with Applications. Benjamin-Cummings, 1991.

Digital Library

Google Scholar

[3]

W.G. Griswold and D. Notkin. Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool. IEEE Transactions on Software Engineering, 21(4):275-287, April 1995.

Digital Library

Google Scholar

[4]

D. Jackson. Abstract Analysis with Aspect. In Proceedings of the 1993 Interational Symposium on Software Testing and Analysis, pages 19-27, 1993.

Digital Library

Google Scholar

[5]

D. Jackson and D.A. Ladd. Semantic Diff A Tool For Summarizing the Effects of Modifications. In Proceedings of the International Conference on Software Maintenance, September 1994.

Digital Library

Google Scholar

[6]

B. Kernighan and D. Ritchie. The C Programming Language. Prentice Hall, 1978.

Digital Library

Google Scholar

[7]

H.A. Muller and K. Klashinsky. A System for Programming-in-the-large. In Proceedings of the 10th International Conference on Software Engineering, pages 80-86. IEEE Computer Society Press, April 1989.

Digital Library

Google Scholar

[8]

H .L. Ossher, A New Program Structuring Mechanism Based on Layered Graphs. PhD thesis, Stanford University, December 1984.

Digital Library

Google Scholar

[9]

H. Ossher. A Mechanism for Specifying the Structure of Large, Layered Systems. In Bruce Shriver and Peter Wegner, editors, Research Directions in Object-Oriented Programming, pages 219-252. MIT Press, 1987.

Digital Library

Google Scholar

[10]

J.K. Ousterhout. TCL @ the TX Toolkrt. Addison-Wesley, 1994.

Google Scholar

[11]

D.E. Perry and A. Wolf. Foundations for the Study of Software Architecture. ACM Software Engineering Notes, 17(4):40-52, October 1992.

Digital Library

Google Scholar

[12]

S.P. Reiss. The Field Programming Environment: A Friendly Integrated Environment for Learning and Development. Kluwer Academic Publishers, 1995.

Digital Library

Google Scholar

[13]

R. Schwanke. An Intelligent Tool for Reengineering Software Modularity. In Proceedings of the 13th International Conference on Software Engineering, pages 83-92, May 1991.

Digital Library

Google Scholar

[14]

B.C. Smith. Reflection and Semantics in LISP. In Proceedings of the 1984 ACM Principles of Programming Languages Conference, pages 23-35. ACM, December 1984,

Digital Library

Google Scholar

[15]

J.M. Spivey. The Z Notation. Prentice Hall, second edition edition, 1992.

Digital Library

Google Scholar

[16]

B. Stroustrup. C++ Programming Language. Addison-Wesley, 1986.

Digital Library

Google Scholar

[17]

K. Wong, S.R. Tilley, H.A. Muller, and M.D. Storey. Structural Redocumentation: A Case Study. IEEE Software, 12(1):46-54, January 1995.

Digital Library

Google Scholar

Cited By

View all

Qayum AZhang MColreavy SChochlov MBuckley JLin DSai A(2024)A Framework and Taxonomy for Characterizing the Applicability of Software Architecture Recovery Approaches: A Tertiary‐Mapping StudySoftware: Practice and Experience10.1002/spe.3364Online publication date: 17-Jul-2024
https://doi.org/10.1002/spe.3364
Mehrpour SLatoza T(2023)A Survey of Tool Support for Working with Design Decisions in CodeACM Computing Surveys10.1145/360786856:2(1-37)Online publication date: 10-Jul-2023
https://dl.acm.org/doi/10.1145/3607868
Clark AFoster MPrifling BWalkinshaw NHierons RSchmidt VTurner R(2023)Testing Causality in Scientific Modelling SoftwareACM Transactions on Software Engineering and Methodology10.1145/360718433:1(1-42)Online publication date: 12-Jul-2023
https://dl.acm.org/doi/10.1145/3607184
Show More Cited By

Index Terms

Software reflexion models: bridging the gap between source and high-level models

Recommendations

Software reflexion models: bridging the gap between source and high-level models
Software Reflexion Models: Bridging the Gap between Design and Implementation

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 ...
Behavioral reflexion models for software architecture

Comments

Information & Contributors

Information

Published In

SIGSOFT '95: Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering

October 1995

180 pages

ISBN:0897917162

DOI:10.1145/222124

Editor:
Gail E. Kaiser
Columbia Univ., New York, NY

ACM SIGSOFT Software Engineering Notes Volume 20, Issue 4
Oct. 1995
171 pages
ISSN:0163-5948
DOI:10.1145/222132
Editor:
Gail E. Kaiser
Columbia Univ., New York, NY
Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 October 1995

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

SOFT95

Sponsor:

SIGSOFT

SOFT95: Foundations of Software Engineering

October 12 - 15, 1995

D.C., Washington, USA

Acceptance Rates

Overall Acceptance Rate 17 of 128 submissions, 13%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

327
Total Citations
View Citations
2,647
Total Downloads

Downloads (Last 12 months)239
Downloads (Last 6 weeks)30

Reflects downloads up to 04 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Qayum AZhang MColreavy SChochlov MBuckley JLin DSai A(2024)A Framework and Taxonomy for Characterizing the Applicability of Software Architecture Recovery Approaches: A Tertiary‐Mapping StudySoftware: Practice and Experience10.1002/spe.3364Online publication date: 17-Jul-2024
https://doi.org/10.1002/spe.3364
Mehrpour SLatoza T(2023)A Survey of Tool Support for Working with Design Decisions in CodeACM Computing Surveys10.1145/360786856:2(1-37)Online publication date: 10-Jul-2023
https://dl.acm.org/doi/10.1145/3607868
Clark AFoster MPrifling BWalkinshaw NHierons RSchmidt VTurner R(2023)Testing Causality in Scientific Modelling SoftwareACM Transactions on Software Engineering and Methodology10.1145/360718433:1(1-42)Online publication date: 12-Jul-2023
https://dl.acm.org/doi/10.1145/3607184
Zdun UQueval PSimhandl GScandariato RChakravarty SJelic MJovanovic A(2023)Microservice Security Metrics for Secure Communication, Identity Management, and ObservabilityACM Transactions on Software Engineering and Methodology10.1145/353218332:1(1-34)Online publication date: 13-Feb-2023
https://dl.acm.org/doi/10.1145/3532183
Hoff ASeidl CLungu MLanza M(2023)Preparing Software Re-Engineering via Freehand Sketches in Virtual Reality2023 IEEE International Conference on Software Maintenance and Evolution (ICSME)10.1109/ICSME58846.2023.00039(317-328)Online publication date: 1-Oct-2023
https://doi.org/10.1109/ICSME58846.2023.00039
Zhong CZhang HHuang HChen ZLi CLiu XLi S(2023)DOMICO: Checking conformance between domain models and implementationsSoftware: Practice and Experience10.1002/spe.327254:4(595-616)Online publication date: 15-Oct-2023
https://doi.org/10.1002/spe.3272
Steinbeck MKoschke R(2022)Edge Animation in Software Visualization2022 Working Conference on Software Visualization (VISSOFT)10.1109/VISSOFT55257.2022.00015(63-74)Online publication date: Oct-2022
https://doi.org/10.1109/VISSOFT55257.2022.00015
Galperin FKoschke RSteinbeck M(2022)Visualizing Code Smells: Tables or Code Cities? A Controlled Experiment2022 Working Conference on Software Visualization (VISSOFT)10.1109/VISSOFT55257.2022.00014(51-62)Online publication date: Oct-2022
https://doi.org/10.1109/VISSOFT55257.2022.00014
Li RLiang PSoliman MAvgeriou P(2021)Understanding Architecture Erosion: The Practitioners’ Perceptive2021 IEEE/ACM 29th International Conference on Program Comprehension (ICPC)10.1109/ICPC52881.2021.00037(311-322)Online publication date: May-2021
https://doi.org/10.1109/ICPC52881.2021.00037
Ntentos EZdun UPlakidas KGenfer PGeiger SMeixner SHasselbring W(2021)Detector-based component model abstraction for microservice-based systemsComputing10.1007/s00607-021-01002-zOnline publication date: 28-Aug-2021
https://doi.org/10.1007/s00607-021-01002-z
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Software reflexion models: bridging the gap between source and high-level models

Software Reflexion Models: Bridging the Gap between Design and Implementation

Behavioral reflexion models for software architecture