default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID17th ICSE 1995: Seattle, Washington, USA
- Dewayne E. Perry, Ross Jeffery, David Notkin:
17th International Conference on Software Engineering, Seattle, Washington, USA, April 23-30, 1995, Proceedings. ACM 1995, ISBN 0-89791-708-1
Requirements
- Mats Per Erik Heimdahl, Nancy G. Leveson:
Completeness and Consistency Analysis of State-Based Requirements. 3-14 - Michael Jackson, Pamela Zave:
Deriving Specifications from Requirements: An Example. 15-24 - Lawrence Chung, Brian A. Nixon:
Dealing with Non-Functional Requirements: Three Experimental Studies of a Process-Oriented Approach. 25-37
Testing
- W. Eric Wong, Joseph Robert Horgan, Saul London, Aditya P. Mathur:
Effect of Test Set Minimization on Fault Detection Effectiveness. 41-50 - Duncan Clarke, Insup Lee:
Testing Real-Time Constraints in a Process Algebraic Setting. 51-60 - Antonia Bertolino, Lorenzo Strigini:
Using Testability Measures for Dependability Assessment. 61-70
Process I
- Jonathan E. Cook, Alexander L. Wolf:
Automating Process Discovery Through Event-Data Analysis. 73-82 - Naser S. Barghouti, Balachander Krishnamurthy:
Using Event Contexts and Matching Constraints to Monitor Software Processes. 83-92
Reuse
- Scott Henninger, Kris Lappala, Anand Raghavendran:
An Organizational Learning Approach to Domain Analysis. 95-104 - Susan Rosenbaum, Bertrand du Castel:
Managing Software Reuse - An Experience Report. 105-111
Process II
- Fabiano Cattaneo, Alfonso Fuggetta, Luigi Lavazza:
An Experience in Process Assessment. 115-121 - Toshifumi Tanaka, Keishi Sakamoto, Shinji Kusumoto, Ken-ichi Matsumoto, Tohru Kikuno:
Improvement of Software Process by Process Description and Benefit Estimation. 123-132 - Lionel C. Briand, Walcélio L. Melo, Carolyn B. Seaman, Victor R. Basili:
Characterizing and Assessing a Large-Scale Software Maintenance Organization. 133-143
Concurrency
- Matthew B. Dwyer
, Lori A. Clarke, Kari A. Nies:
A Compact Petri Net Representation for Concurrent Programs. 147-157 - 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. 159-168 - Kyo Chul Kang, Kwang-Il Ko:
PARTS: A Temporal Logic-Based Real-Time Software Specification and Verification Method. 169-176
Architecture
- David Garlan, Robert Allen, John Ockerbloom:
Architectural Mismatch or Why It's Hard to Build Systems Out Of Existing Parts. 179-185 - David R. Harris, Howard B. Reubenstein, Alexander S. Yeh:
Reverse Engineering to the Architectural Level. 186-195 - Dilip Soni, Robert L. Nord, Christine Hofmeister:
Software Architecture in Industrial Applications. 196-207
Development
- Jacqueline Floch:
Supporting Evolution and Maintenance by Using a Flexible Automatic Code Generator. 211-219 - Craig Chambers, Jeffrey Dean, David Grove:
A Framework for Selective Recompilation in the Presence of Complex Intermodule Dependencies. 221-230 - Ryszard Janicki:
Towards a Formal Semantics of Parnas Tables. 231-240
Process III
- Barry W. Boehm, Prasanta K. Bose, Ellis Horowitz, Ming June Lee:
Software Requirements Negotiation and Renegotiation Aids: A Theory-W Based Spiral Approach. 243-253 - Ulf Leonhardt, Jeff Kramer, Bashar Nuseibeh:
Decentralised Process Enactment in a Multi-Perspective Development Environment. 255-264 - Gianpaolo Cugola, Elisabetta Di Nitto, Carlo Ghezzi, M. Mantione:
How to Deal With Deviations During Process Model Enactment. 265-273
State-of-the-Art (Invited)
- Lawrence G. Votta, Adam A. Porter:
Experimental Software Engineering: A Report on the State of the Art. 277-279
Keynote (Invited)
- Michael Jackson:
The World and the Machine. 283-292
Integration
- 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. 295-304 - George T. Heineman, Gail E. Kaiser:
An Architecture for Integrating Concurrency Control into Environment Frameworks. 305-313 - Bob Gautier, Chris W. Loftus, Edel Sherratt, Lynda Thomas:
Tool Integration: Experiences and Directions. 315-324
Panel: Tractability of Reverse Engineering
- Bruce W. Weide, Wayne D. Heym, Joseph E. Hollingsworth:
Reverse Engineering of Legacy Code Exposed. 327-331 - Alex Quilici:
Reverse Engineering of Legacy Systems: A Path Toward Success. 333-336
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 01:26 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
