Article

Free access

Software evolution and “light” semantics (extended abstract)

Author:

Dewayne E. PerryAuthors Info & Claims

ICSE '99: Proceedings of the 21st international conference on Software engineering

Pages 587 - 590

https://doi.org/10.1145/302405.302706

Published: 16 May 1999 Publication History

PDF eReader

References

[1]

Frederick P. Brooks, Jr. No Silver Bullet: Essence and Accidents of Software Engineering. Computer, 20(4):10- 20, (April 1987),]]

Digital Library

Google Scholar

[2]

M. M. Lehman and L. A. Belady. Program Evolution. Processes of Software Change. APIC Studies in Data Processing No. 27. London: Academic Press, 1985.]]

Digital Library

Google Scholar

[3]

Dewayne E. Perry. Software Interconnection Models. Proceedings of the 9th International Conference on Software Engineering, Monterey, CA, March 1987.]]

Digital Library

Google Scholar

[4]

Dewayne E. Perry. The Inscape Environment. The Proceedings of the Eleventh International Conference on Software Engineeeng, May 1989, Pittsburgh, PA.]]

Digital Library

Google Scholar

[5]

Dewayne E. Perry. Industrial Strength Software Development Environments. Proceedings of IFIP '89 - 11th World Computer Congress, August 1989, San Francisco, CA.]]

Google Scholar

[6]

Dewayne E. Perry. The Logic of Propagation in The Inscape Environment. Proceedings of SIGSOFT '89: Testing, Analysis and Verification Symposium, Key West FL, December 1989.]]

Digital Library

Google Scholar

[7]

Dewayne E. Perry, Dimensions of Software Evolution (Invited Keynote Paper). International Conference on Software M+enance 1994, Victoria BC, September 1994.]]

Digital Library

Google Scholar

[8]

Dewayne E. Perry and Carol S.Steig. Software Faults in Evolving a Large, Real-Time System: a Case Study. 4th European Software Engineering Conference - ESEC93, Garmisch, Germany, September 1993.]]

Digital Library

Google Scholar

[9]

Dewayne E. Perry and W. Michael Evangelist. "An Empirical Study of Software Interface Errors", Proceedings of the International Symposium on New Directions in Computing, IEEE Computer Society, August 1985, TYondheim, Norway, pages 32-38.]]

Google Scholar

[10]

Dewayne E. Perry. "Position Paper: The Constructive Use of Module Interface Specifications", Third International Workshop on Software Specification and Design. IEEE Computer Society, August 26-27, 1985, London, England.]]

Google Scholar

[11]

Dewayne E. Perry. "Tools for Evolving Software", Proceedings of the 2nd International Workshop on The Software Process and Software Environments, March 1985, Cota De Casa, 'Babuco Canyon, CA, Software Engineering Notes 11(4):134-135 (August 1986).]]

Digital Library

Google Scholar

[12]

Dewayne E. Perry. "The Construction of Robust, Fault- Tolerant Software in the Inscape Environment", AT&T Fault-Tolerance Symposium, September 1986.]]

Google Scholar

[13]

Dewayne E. Perry. "The Iteration Mechanism in the Inscape Environment", Proceedings of the 3rd International Software Process Workshop: Iteration in the Software Process, November 1986, Breckenridge CO, pages 49-52.]]

Google Scholar

[14]

Dewayne E. Perry. "Programmer Productivity in the Inscape Environment", The Proceedings of GLOBECOM '86, December 1986, Houston TX, pages 0428-0434 (12.6.1- 12.6.7).]]

Google Scholar

[15]

Dewayne E. Perry and W. Michael Evangelist. "An Empirical Study of Software Interface Faults - An Update", Proceedings of the Twentieth Annual Hawaii International Conference on Systems Sciences, January 1987, Volume II, pages 113-126.]]

Google Scholar

[16]

Dewayne E. Perry and Gail E. Kaiser. "Infuse: A Tool for Automatically Managing and Coordinating Source Changes in Large Systems", Proceedings of the 1987 ACM Computer Science Conference, February 17-19, 1987, St. Louis MO.]]

Digital Library

Google Scholar

[17]

Dewayne E. Perry. 'Software Interconnection Models", Proceedings of the 9th International Conference on Software Engineering, Monterey, CA, March/April 1987. pp 61-69. Best Paper, ICSES.]]

Digital Library

Google Scholar

[18]

Dewayne E. Perry. "Version Control in the Inscape Environment", Proceedings of the 9th International Conference on Software Engineering, March/April 1987, Monterey CA.]]

Digital Library

Google Scholar

[19]

Gail E. Kaiser and Dewayne E. Perry. "Workspaces and Experimental Databases: Automated Support for Software Maintenance and Evolution", Conference on Software Maintenance-1987, Austin, TX, September 1987. pp 108- 114.]]

Google Scholar

[20]

Dewayne E. Perry and Gail E. Kaiser. "Models of Software Development Environments". The Proceedings of the Tenth International Conference on Software Engineering, April 1988, RafIies City, Singapore. IEEE 'IYansactions on Software Engineering, 17:3 (March 1991).]]

Digital Library

Google Scholar

[21]

Dewayne E. Perry, James T. Krist, and William W. &hell. "The Inscape Environment and the Design of Finite State Machines in SDL" . 5ESS Software Development Environment Conference, Naperville IL, November 1988.]]

Google Scholar

[22]

Helen Diamontitus and Dewayne E. Perry. "Economic Modeling of the Inscape Environment". April 1989.]]

Google Scholar

[23]

Dewayne E. Perry. "The Inscape Environment". The Proceedings of the Eleventh International Conference on Software Engineering, May 1989, Pittsburgh, PA.]]

Digital Library

Google Scholar

[24]

Dewayne E. Perry. "Industrial Strength Software Development Environments". Proceedings of IFIP '89 - 11th World Computer Congress, August 1989, San Francisco, CA. Invited Keynote.]]

Google Scholar

[25]

Gail E. Kaiser, Dewayne E. Perry and William M. &hell. "Infuse: Fusing Integration 'Test Management with Change Management" Proceedings of COMSAC 89, Kissimmee FL, September 1989]]

Google Scholar

[26]

Dewayne E. Perry. "The Logic of Propagation in The Inscape Environment", Proceedings of SIGSOFT '89: Testing, Analysis and Verification Symposium, Key West FL, December 1989.]]

Digital Library

Google Scholar

[27]

Dewayne E. Perry and Steven S. Popovich. "Inquire: Predicate-Based Use and Reuse". Specification Driven Tools Conference, AT&T Bell Laboratories, October 1989.]]

Google Scholar

[28]

Dewayne E. Perry and Gail E. Kaiser. "Adequate Testing and Object-Oriented Programming". Journal of Object- Oriented Programming, January-February 1990.]]

Digital Library

Google Scholar

[29]

Dewayne E. Perry and Gail E. Kaiser, "Making Progress in Cooperative Transaction Models", IEEE Bulletin on Data Engineering, 14:l. (March 1991).]]

Digital Library

Google Scholar

[30]

Stephen S. Popovich, William M. Shell, and Dewayne E. Perry. "Experiences with an Environment Generation System", Proceedings of the 13th International Conference on Software Engineering, May 1991, Austin TX.]]

Digital Library

Google Scholar

[31]

Dewayne E. Perry. "Dimensions of Consistency in Source Versions and System Compositions - A Position Paper" Proceedings of the 3rd Workshop on Software Configuration Management, Trondheim, Norway, June 1991.]]

Digital Library

Google Scholar

[32]

Dewayne E. Perry and Steven S. Popovich, "Inquire: Predicate Based Use and Reuse", Knowledge-Based Software Engineering Conference, Chicago IL, September 1993.]]

Google Scholar

[33]

Dewayne E. Perry and Carol S.Steig, 'Software Faults in Evolving a Large, Real-Time System: a Case Study", 4th European Software Engineering Conference - ESEC93, Garmisch Germany, September 1993. Invited Keynote.]]

Digital Library

Google Scholar

[34]

Dewayne E. Perry, "System Compositions and Shared Dependencies", 6th Workshop on Software Configuration Management, ICSE18, Berlin Germany, March 1996.]]

Digital Library

Google Scholar

[35]

D. Batory, G. Chen, E. Robertson, and T.Wang, "Design Wizards and Visual Programming Environments for Generators" Int. Conference on Software Reuse, June 1998 (Victoria, Canada). .]]

Digital Library

Google Scholar

[36]

Don Batory and Bart J. Geraci. "Composition Validation and Subjectivity in GenVoca Generators". IEEE Transactions on Software Engineering, February 1997, 67-82.]]

Digital Library

Google Scholar

[37]

Don Batory, Vivek Singhal, Jeff Thomas, Sankar Dasari, Bart Geraci, and Marty Sirkin. "The GenVoca Model of Software-System Generators". IEEE Software, September 1994.]]

Digital Library

Google Scholar

[38]

Don Batory and Sean O'Malley. '<The Design and Implementation of Hierarchical Software Systems with Reusable Components". ACM Transactions on Software Engineering and Methodology, 1(4):355-398, October 1992.]]

Digital Library

Google Scholar

[39]

Alexander Borgida and Premkumar Devanbu. Component inter-operability-putting "DL" to "IDL" International Conference on Software Enginering - 1999, May 1999.]]

Digital Library

Google Scholar

[40]

Francois Bronsard, Douglas Bryan, Wojtek Kozaczynski, Edy S. Liongosari, Jim Q. Ning, Asgeir Olafsson, and John Wetterstrand 'Toward Software Plug-and-Play", Proceedings of the Symposium on Software Reusability, Boston, Massachusetts, May 18-23, 1997.]]

Digital Library

Google Scholar

[41]

Robert Callahan and Daniel Jackson. "Lackwit: A Program Understanding Tool Based on Type Inference". Proc. International Conference on Software Engineering, Boston, MA, May 1997.]]

Digital Library

Google Scholar

[42]

Wojtek Kozaczynski and Jim Q. Ning. "Concern-Driven Design for a Specification Language Supporting Component- Based Software Engineering". Proceedings of the Eighth International Workshop on Software Specification and Design, Schloss Velen, Germany, March 22-23, 1996.]]

Digital Library

Google Scholar

[43]

Daniel Jackson. 'LAn Intermediate Design Language and its Analysis", Proc. ACM Conference on Foundations of Software Engineering, Florida, November 1998.]]

Digital Library

Google Scholar

[44]

Daniel Jackson. "Aspect: Detecting Bugs with Abstract Dependences". ACM Transactions on Software Engineering and Methodology, 4(2):109-145, (April 1995).]]

Digital Library

Google Scholar

[45]

Daniel Jackson and Allison Waingold "Lightweight Extraction of Object Models from Bytecode". Proc. International Conference on Software Engineering, Los Angeles, CA, May 1999.]]

Digital Library

Google Scholar

[46]

Daniel Jackson and Craig A. Damon. "Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector". IEEE Transactions on Software Engineering, 22(7):484-495 (July 1996).]]

Digital Library

Google Scholar

[47]

G.C. Murphy, D. Notkin, K. Sullivan. "Software reflexion models: Bridging the gap between source and high-level models". Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, WashingtonDC, October 1995.]]

Digital Library

Google Scholar

[48]

Jim Q Ning. 'Component-Based Software Engineering". Proceedings of the Fifth International Symposium on Assessment of Software Tools, Pittsburgh, Pennsylvania, June 2-5, 1997.]]

Digital Library

Google Scholar

[49]

Jim Q. Ning "A Component-Based Software Development Model". Proceedings of the Twentieth Annual International Computer Software and Applications Conference, Seoul, Korea, August 19-23, 1996.]]

Digital Library

Google Scholar

[50]

Jim Q. Ning, Kanth Miriyala, and Wojtek Kozaczynski. "An Architecture-driven, Business-specific, and Componentbased Approach to Software Engineering". Proceedings of the International Conference on Software Reusability, Rio de Janeiro, Brazil, Nov. 1-4, 1994.]]

Google Scholar

Cited By

View all

Klashner RSabet S(2007)A DSS Design Model for complex problemsDecision Support Systems10.1016/j.dss.2005.05.02743:3(990-1013)Online publication date: 1-Apr-2007
https://dl.acm.org/doi/10.1016/j.dss.2005.05.027
Wan-Kadir WLoucopoulos P(2004)Relating evolving business rules to software designJournal of Systems Architecture: the EUROMICRO Journal10.1016/j.sysarc.2003.09.00650:7(367-382)Online publication date: 1-Jul-2004
https://dl.acm.org/doi/10.1016/j.sysarc.2003.09.006
Khan KJun Han Yuliang Zheng (2001)A framework for an active interface to characterise compositional security contracts of software componentsProceedings 2001 Australian Software Engineering Conference10.1109/ASWEC.2001.948505(117-126)Online publication date: 2001
https://doi.org/10.1109/ASWEC.2001.948505

Index Terms

Software evolution and “light” semantics (extended abstract)

Recommendations

Effect of software evolution on software metrics: an open source case study

Software needs to evolve in order to be used for a longer period. The changes corresponding to corrective, preventive, adaptive and perfective maintenance leads to software evolution. In this paper we are presenting the results of study conducted on 13 ...
Studying Software Evolution for Taming Software Complexity
ASWEC '10: Proceedings of the 2010 21st Australian Software Engineering Conference

Reducing software complexity is key to reducing software maintenance costs. To discover complexity-reducing practices, in this paper we study the evolution of seven sizable open source programs over a long period of time. We first measure how software ...
Software evolution: background, theory, practice
Special issue: Contribution to computing science

This paper opens with a brief summary of some 30 years of study of the software evolution phenomenon. The results of those studies include the SPE program classification, a principle of software uncertainty and laws of E-type software evolution. The ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ICSE '99: Proceedings of the 21st international conference on Software engineering

May 1999

741 pages

ISBN:1581130740

DOI:10.1145/302405

Chairmen:
Barry Boehm
Univ. of Southern Califoria, Los Angeles
,
David Garlan
Carnegie Mellon Univ., Pittsburgh, PA
,
Jeff Kramer
Imperial College, London, UK

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: 16 May 1999

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ICSE99

Sponsor:

SIGPLAN
SIGAda
SIGSOFT
IEEE-CS
IEEE-CS\TCSE

ICSE99: 1999 International Conference on Software Engineering

May 16 - 22, 1999

California, Los Angeles, USA

Acceptance Rates

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
377
Total Downloads

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

Reflects downloads up to 20 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Klashner RSabet S(2007)A DSS Design Model for complex problemsDecision Support Systems10.1016/j.dss.2005.05.02743:3(990-1013)Online publication date: 1-Apr-2007
https://dl.acm.org/doi/10.1016/j.dss.2005.05.027
Wan-Kadir WLoucopoulos P(2004)Relating evolving business rules to software designJournal of Systems Architecture: the EUROMICRO Journal10.1016/j.sysarc.2003.09.00650:7(367-382)Online publication date: 1-Jul-2004
https://dl.acm.org/doi/10.1016/j.sysarc.2003.09.006
Khan KJun Han Yuliang Zheng (2001)A framework for an active interface to characterise compositional security contracts of software componentsProceedings 2001 Australian Software Engineering Conference10.1109/ASWEC.2001.948505(117-126)Online publication date: 2001
https://doi.org/10.1109/ASWEC.2001.948505

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.

Cited By

Index Terms

Recommendations

Effect of software evolution on software metrics: an open source case study

Studying Software Evolution for Taming Software Complexity

Software evolution: background, theory, practice