ICSE 1995

32 papers

1. A Compact Petri Net Representation for Concurrent Programs · Matthew B. Dwyer, Lori A. Clarke, Kari A. Nies
2. A Component- and Message-Based Architectural Style for GUI Software · Richard N. Taylor, Nenad Medvidovic, Kenneth M. Anderson, E. James Whitehead Jr., Jason E. Robbins
3. A Framework for Evaluating Specification Methods for Reactive Systems: Experience Report · Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas + 1 more
4. A Framework for Selective Recompilation in the Presence of Complex Intermodule Dependencies · Craig Chambers, Jeffrey Dean, David Grove
5. An Architecture for Integrating Concurrency Control into Environment Frameworks · George T. Heineman, Gail E. Kaiser
6. An Experience in Process Assessment · Fabiano Cattaneo, Alfonso Fuggetta, Luigi Lavazza
7. An Organizational Learning Approach to Domain Analysis · Scott Henninger, Kris Lappala, Anand Raghavendran
8. Architectural Mismatch or Why It's Hard to Build Systems Out Of Existing Parts · David Garlan, Robert Allen, John Ockerbloom
9. Automating Process Discovery Through Event-Data Analysis · Jonathan E. Cook, Alexander L. Wolf
10. Characterizing and Assessing a Large-Scale Software Maintenance Organization · Lionel C. Briand, Walcélio L. Melo, Carolyn B. Seaman, Victor R. Basili
11. Completeness and Consistency Analysis of State-Based Requirements · Mats Per Erik Heimdahl, Nancy G. Leveson
12. Dealing with Non-Functional Requirements: Three Experimental Studies of a Process-Oriented Approach · Lawrence Chung, Brian A. Nixon
13. Decentralised Process Enactment in a Multi-Perspective Development Environment · Ulf Leonhardt, Jeff Kramer, Bashar Nuseibeh
14. Deriving Specifications from Requirements: An Example · Michael Jackson, Pamela Zave
15. Effect of Test Set Minimization on Fault Detection Effectiveness · W. Eric Wong, Joseph Robert Horgan, Saul London, Aditya P. Mathur
16. Experimental Software Engineering: A Report on the State of the Art · Lawrence G. Votta, Adam A. Porter
17. How to Deal With Deviations During Process Model Enactment · Gianpaolo Cugola, Elisabetta Di Nitto, Carlo Ghezzi, M. Mantione
18. Improvement of Software Process by Process Description and Benefit Estimation · Toshifumi Tanaka, Keishi Sakamoto, Shinji Kusumoto, Ken-ichi Matsumoto, Tohru Kikuno
19. Managing Software Reuse - An Experience Report · Susan Rosenbaum, Bertrand du Castel
20. PARTS: A Temporal Logic-Based Real-Time Software Specification and Verification Method · Kyo Chul Kang, Kwang-Il Ko
21. Reverse Engineering of Legacy Code Exposed · Bruce W. Weide, Wayne D. Heym, Joseph E. Hollingsworth
22. Reverse Engineering of Legacy Systems: A Path Toward Success · Alex Quilici
23. Reverse Engineering to the Architectural Level · David R. Harris, Howard B. Reubenstein, Alexander S. Yeh
24. Software Architecture in Industrial Applications · Dilip Soni, Robert L. Nord, Christine Hofmeister
25. Software Requirements Negotiation and Renegotiation Aids: A Theory-W Based Spiral Approach · Barry W. Boehm, Prasanta K. Bose, Ellis Horowitz, Ming June Lee
26. Supporting Evolution and Maintenance by Using a Flexible Automatic Code Generator · Jacqueline Floch
27. Testing Real-Time Constraints in a Process Algebraic Setting · Duncan Clarke, Insup Lee
28. The World and the Machine · Michael Jackson
29. Tool Integration: Experiences and Directions · Bob Gautier, Chris W. Loftus, Edel Sherratt, Lynda Thomas
30. Towards a Formal Semantics of Parnas Tables · Ryszard Janicki
31. Using Event Contexts and Matching Constraints to Monitor Software Processes · Naser S. Barghouti, Balachander Krishnamurthy
32. Using Testability Measures for Dependability Assessment · Antonia Bertolino, Lorenzo Strigini