- 1995
- Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, James Von Olnhausen:
A Framework for Evaluating Specification Methods for Reactive Systems: Experience Report. ICSE 1995: 159-168 - Naser S. Barghouti, Balachander Krishnamurthy:
Using Event Contexts and Matching Constraints to Monitor Software Processes. ICSE 1995: 83-92 - Antonia Bertolino, Lorenzo Strigini:
Using Testability Measures for Dependability Assessment. ICSE 1995: 61-70 - Barry W. Boehm, Prasanta K. Bose, Ellis Horowitz, Ming June Lee:
Software Requirements Negotiation and Renegotiation Aids: A Theory-W Based Spiral Approach. ICSE 1995: 243-253 - Lionel C. Briand, Walcélio L. Melo, Carolyn B. Seaman, Victor R. Basili:
Characterizing and Assessing a Large-Scale Software Maintenance Organization. ICSE 1995: 133-143 - Fabiano Cattaneo, Alfonso Fuggetta, Luigi Lavazza:
An Experience in Process Assessment. ICSE 1995: 115-121 - Craig Chambers, Jeffrey Dean, David Grove:
A Framework for Selective Recompilation in the Presence of Complex Intermodule Dependencies. ICSE 1995: 221-230 - Lawrence Chung, Brian A. Nixon:
Dealing with Non-Functional Requirements: Three Experimental Studies of a Process-Oriented Approach. ICSE 1995: 25-37 - Duncan Clarke, Insup Lee:
Testing Real-Time Constraints in a Process Algebraic Setting. ICSE 1995: 51-60 - Jonathan E. Cook, Alexander L. Wolf:
Automating Process Discovery Through Event-Data Analysis. ICSE 1995: 73-82 - Gianpaolo Cugola, Elisabetta Di Nitto, Carlo Ghezzi, M. Mantione:
How to Deal With Deviations During Process Model Enactment. ICSE 1995: 265-273 - Matthew B. Dwyer, Lori A. Clarke, Kari A. Nies:
A Compact Petri Net Representation for Concurrent Programs. ICSE 1995: 147-157 - Jacqueline Floch:
Supporting Evolution and Maintenance by Using a Flexible Automatic Code Generator. ICSE 1995: 211-219 - David Garlan, Robert Allen, John Ockerbloom:
Architectural Mismatch or Why It's Hard to Build Systems Out Of Existing Parts. ICSE 1995: 179-185 - Bob Gautier, Chris W. Loftus, Edel Sherratt, Lynda Thomas:
Tool Integration: Experiences and Directions. ICSE 1995: 315-324 - David R. Harris, Howard B. Reubenstein, Alexander S. Yeh:
Reverse Engineering to the Architectural Level. ICSE 1995: 186-195 - Mats Per Erik Heimdahl, Nancy G. Leveson:
Completeness and Consistency Analysis of State-Based Requirements. ICSE 1995: 3-14 - George T. Heineman, Gail E. Kaiser:
An Architecture for Integrating Concurrency Control into Environment Frameworks. ICSE 1995: 305-313 - Scott Henninger, Kris Lappala, Anand Raghavendran:
An Organizational Learning Approach to Domain Analysis. ICSE 1995: 95-104 - Michael Jackson:
The World and the Machine. ICSE 1995: 283-292 - Michael Jackson, Pamela Zave:
Deriving Specifications from Requirements: An Example. ICSE 1995: 15-24 - Ryszard Janicki:
Towards a Formal Semantics of Parnas Tables. ICSE 1995: 231-240 - Kyo Chul Kang, Kwang-Il Ko:
PARTS: A Temporal Logic-Based Real-Time Software Specification and Verification Method. ICSE 1995: 169-176 - Ulf Leonhardt, Jeff Kramer, Bashar Nuseibeh:
Decentralised Process Enactment in a Multi-Perspective Development Environment. ICSE 1995: 255-264 - Alex Quilici:
Reverse Engineering of Legacy Systems: A Path Toward Success. ICSE 1995: 333-336 - Susan Rosenbaum, Bertrand du Castel:
Managing Software Reuse - An Experience Report. ICSE 1995: 105-111 - Dilip Soni, Robert L. Nord, Christine Hofmeister:
Software Architecture in Industrial Applications. ICSE 1995: 196-207 - Toshifumi Tanaka, Keishi Sakamoto, Shinji Kusumoto, Ken-ichi Matsumoto, Tohru Kikuno:
Improvement of Software Process by Process Description and Benefit Estimation. ICSE 1995: 123-132 - Richard N. Taylor, Nenad Medvidovic, Kenneth M. Anderson, E. James Whitehead Jr., Jason E. Robbins:
A Component- and Message-Based Architectural Style for GUI Software. ICSE 1995: 295-304 - Lawrence G. Votta, Adam A. Porter:
Experimental Software Engineering: A Report on the State of the Art. ICSE 1995: 277-279