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

ACM SIGSOFT Software Engineering Notes, Volume 20, Issue 4

Pages 18 - 28

https://doi.org/10.1145/222132.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

Olsson TEricsson MWingkvist A(2021)s4rdm3x: A Tool Suite to Explore Code to Architecture Mapping TechniquesJournal of Open Source Software10.21105/joss.027916:58(2791)Online publication date: Feb-2021
https://doi.org/10.21105/joss.02791
San Martín DCamargo V(2021)A Domain-Specific Language to Specify Planned Architectures of Adaptive SystemsProceedings of the 15th Brazilian Symposium on Software Components, Architectures, and Reuse10.1145/3483899.3483903(41-50)Online publication date: 27-Sep-2021
https://dl.acm.org/doi/10.1145/3483899.3483903
Olsson TEricsson MWingkvist A(2021)To automatically map source code entities to architectural modules with Naive BayesJournal of Systems and Software10.1016/j.jss.2021.111095(111095)Online publication date: Sep-2021
https://doi.org/10.1016/j.jss.2021.111095
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
SIGSOFT '95: Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
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

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes

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

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

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

Published in SIGSOFT Volume 20, Issue 4

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

328
Total Citations
View Citations
2,758
Total Downloads

Downloads (Last 12 months)289
Downloads (Last 6 weeks)27

Reflects downloads up to 18 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Olsson TEricsson MWingkvist A(2021)s4rdm3x: A Tool Suite to Explore Code to Architecture Mapping TechniquesJournal of Open Source Software10.21105/joss.027916:58(2791)Online publication date: Feb-2021
https://doi.org/10.21105/joss.02791
San Martín DCamargo V(2021)A Domain-Specific Language to Specify Planned Architectures of Adaptive SystemsProceedings of the 15th Brazilian Symposium on Software Components, Architectures, and Reuse10.1145/3483899.3483903(41-50)Online publication date: 27-Sep-2021
https://dl.acm.org/doi/10.1145/3483899.3483903
Olsson TEricsson MWingkvist A(2021)To automatically map source code entities to architectural modules with Naive BayesJournal of Systems and Software10.1016/j.jss.2021.111095(111095)Online publication date: Sep-2021
https://doi.org/10.1016/j.jss.2021.111095
Marmsoler DPetrovska A(2021)Runtime verification for dynamic architecturesJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2020.100618118(100618)Online publication date: Jan-2021
https://doi.org/10.1016/j.jlamp.2020.100618
Porter JMenascé DGomaa H(2021)A decentralized approach for discovering runtime software architectural models of distributed software systemsInformation and Software Technology10.1016/j.infsof.2020.106476131(106476)Online publication date: Mar-2021
https://doi.org/10.1016/j.infsof.2020.106476
Olsson TEricsson MWingkvist A(2021)Mapping Source Code to Modular Architectures Using KeywordsSoftware Architecture10.1007/978-3-031-15116-3_4(65-85)Online publication date: 13-Sep-2021
https://dl.acm.org/doi/10.1007/978-3-031-15116-3_4
Araujo EEspíndola ÁGarcia VTerra RCavalcante EDantas FBatista TPinto G(2020)Applying a Multi-platform Architectural Conformance Solution in a Real-world Microservice-based SystemProceedings of the 14th Brazilian Symposium on Software Components, Architectures, and Reuse10.1145/3425269.3425270(41-50)Online publication date: 19-Oct-2020
https://dl.acm.org/doi/10.1145/3425269.3425270
Martin DSiqueira Bde Camargo VFerrari F(2020)Characterizing Architectural Drifts of Adaptive Systems2020 IEEE 27th International Conference on Software Analysis, Evolution and Reengineering (SANER)10.1109/SANER48275.2020.9054856(389-399)Online publication date: Feb-2020
https://doi.org/10.1109/SANER48275.2020.9054856
Guamán DPérez JDiaz JCuesta C(2020)Towards a reference process for software architecture reconstructionIET Software10.1049/iet-sen.2019.0246Online publication date: 24-Aug-2020
https://doi.org/10.1049/iet-sen.2019.0246
Said WQuante JKoschke R(2020)Mining understandable state machine models from embedded codeEmpirical Software Engineering10.1007/s10664-020-09865-025:6(4759-4804)Online publication date: 1-Nov-2020
https://dl.acm.org/doi/10.1007/s10664-020-09865-0
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

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

References

Cited By

Index Terms

Recommendations