Proceedings of the 17th international conference on Software engineering

ICSE '95: Proceedings of the 17th international conference on Software engineering

April 1995

1995 Proceeding

Chairman:
Dewayne Perry
AT&T Bell Labs

Publisher:

Association for Computing Machinery
New York
NY
United States

Conference:

ICSE95: 17th International Conference on Software Engineering Seattle Washington USA April 24 - 28, 1995

ISBN:

978-0-89791-708-7

Published:

23 April 1995

Sponsors:

SIGSOFT, IEEE-CS\TCSE

Get Alerts for this ConferenceAlerts Save to BinderBinder

Save to Binder

Create a New Binder

Name

Export CitationCitation

Share on

Next Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

ICSE 2025 website

Bibliometrics

Citation count

1,655

Downloads (6 weeks)

400

Downloads (12 months)

2,951

Downloads (cumulative)

30,182

Sections

ICSE '95: Proceedings of the 17th international conference on Software engineering

1995

Previous Next

Abstract

No abstract available.

Select All

Export Citations Save to Binder

Article

Free

Completeness and consistency analysis of state-based requirements

Mats P. E. Heimdahl,
Nancy G. Leveson

pp 3–14https://doi.org/10.1145/225014.225015

- 49
- 884
Metrics
Total Citations49
Total Downloads884
Last 12 Months107
Last 6 weeks7

View online with eReader
PDF

Article

Free

Deriving specifications from requirements: an example

Michael Jackson,
Pamela Zave

pp 15–24https://doi.org/10.1145/225014.225016

- 112
- 2,341
Metrics
Total Citations112
Total Downloads2,341
Last 12 Months116
Last 6 weeks11

View online with eReader
PDF

Article

Free

Dealing with non-functional requirements: three experimental studies of a process-oriented approach

Lawrence Chung,
Brian A. Nixon

pp 25–37https://doi.org/10.1145/225014.225017

- 116
- 2,680
Metrics
Total Citations116
Total Downloads2,680
Last 12 Months115
Last 6 weeks18

View online with eReader
PDF

Article

Free

Effect of test set minimization on fault detection effectiveness

W. Eric Wong,
Joseph R. Horgan,
Saul London,
Aditya P. Mathur

pp 41–50https://doi.org/10.1145/225014.225018

- 135
- 1,069
Metrics
Total Citations135
Total Downloads1,069
Last 12 Months106
Last 6 weeks12

View online with eReader
PDF

Article

Free

Testing real-time constraints in a process algebraic setting

Duncan Clarke,
Insup Lee

pp 51–60https://doi.org/10.1145/225014.225019

- 23
- 403
Metrics
Total Citations23
Total Downloads403
Last 12 Months18
Last 6 weeks3

View online with eReader
PDF

Article

Free

Using testability measures for dependability assessment

Antonia Bertolino,
Lorenzo Strigini

pp 61–70https://doi.org/10.1145/225014.225020

- 11
- 436
Metrics
Total Citations11
Total Downloads436
Last 12 Months27
Last 6 weeks2

View online with eReader
PDF

Article

Free

Automating process discovery through event-data analysis

Jonathan E. Cook,
Alexander L. Wolf

pp 73–82https://doi.org/10.1145/225014.225021

- 116
- 1,449
Metrics
Total Citations116
Total Downloads1,449
Last 12 Months229
Last 6 weeks24

View online with eReader
PDF

Article

Free

Using event contexts and matching constraints to monitor software processes

Naser S. Barghouti,
Balachander Krishnamurthy

pp 83–92https://doi.org/10.1145/225014.225022

- 23
- 419
Metrics
Total Citations23
Total Downloads419
Last 12 Months25
Last 6 weeks6

View online with eReader
PDF

Article

Free

An organizational learning approach to domain analysis

Scott Henninger,
Kris Lappala,
Anand Raghavendran

pp 95–104https://doi.org/10.1145/225014.225023

- 22
- 684
Metrics
Total Citations22
Total Downloads684
Last 12 Months25
Last 6 weeks5

View online with eReader
PDF

Article

Free

Managing software reuse—an experience report

Susan Rosenbaum,
Bertrand du Castel

pp 105–111https://doi.org/10.1145/225014.225024

- 14
- 461
Metrics
Total Citations14
Total Downloads461
Last 12 Months18
Last 6 weeks2

View online with eReader
PDF

Article

Free

An experience in process assessment

Fabiano Cattaneo,
Alfonso Fuggetta,
Luigi Lavazza

pp 115–121https://doi.org/10.1145/225014.225025

- 10
- 632
Metrics
Total Citations10
Total Downloads632
Last 12 Months17
Last 6 weeks1

View online with eReader
PDF

Article

Free

Improvement of software process by process description and benefit estimation

Toshifumi Tanaka,
Keishi Sakamoto,
Shinji Kusumoto,
Ken-ichi Matsumoto,
Tohru Kikuno

pp 123–132https://doi.org/10.1145/225014.225026

- 21
- 769
Metrics
Total Citations21
Total Downloads769
Last 12 Months45
Last 6 weeks7

View online with eReader
PDF

Article

Free

Characterizing and assessing a large-scale software maintenance organization

Lionel Briand,
Walcélio Melo,
Carolyn Seaman,
Victor Basili

pp 133–143https://doi.org/10.1145/225014.225027

- 22
- 538
Metrics
Total Citations22
Total Downloads538
Last 12 Months28
Last 6 weeks6

View online with eReader
PDF

Article

Free

A compact Petri net representation for concurrent programs

Matthew B. Dwyer,
Lori A. Clarke,
Kari A. Nies

pp 147–157https://doi.org/10.1145/225014.225028

- 12
- 471
Metrics
Total Citations12
Total Downloads471
Last 12 Months24
Last 6 weeks5

View online with eReader
PDF

Article

Free

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,
James Von Olnhausen

pp 159–168https://doi.org/10.1145/225014.225029

- 5
- 386
Metrics
Total Citations5
Total Downloads386
Last 12 Months29
Last 6 weeks3

View online with eReader
PDF

Article

Free

PARTS: a temporal logic-based real-time software specification and verification method

Kyo C. Kang,
Kwang-Il Ko

pp 169–176https://doi.org/10.1145/225014.225030

- 6
- 359
Metrics
Total Citations6
Total Downloads359
Last 12 Months28
Last 6 weeks3

View online with eReader
PDF

Article

Free

Architectural mismatch or why it's hard to build systems out of existing parts

David Garlan,
Robert Allen,
John Ockerbloom

pp 179–185https://doi.org/10.1145/225014.225031

- 302
- 1,818
Metrics
Total Citations302
Total Downloads1,818
Last 12 Months177
Last 6 weeks25

View online with eReader
PDF

Article

Free

Reverse engineering to the architectural level

David R. Harris,
Howard B. Reubenstein,
Alexander S. Yeh

pp 186–195https://doi.org/10.1145/225014.225032

- 65
- 1,122
Metrics
Total Citations65
Total Downloads1,122
Last 12 Months163
Last 6 weeks16

View online with eReader
PDF

Article

Free

Software architecture in industrial applications

Dilip Soni,
Robert L. Nord,
Christine Hofmeister

pp 196–207https://doi.org/10.1145/225014.225033

- 134
- 2,739
Metrics
Total Citations134
Total Downloads2,739
Last 12 Months410
Last 6 weeks56

View online with eReader
PDF

Article

Free

Supporting evolution and maintenance by using a flexible automatic code generator

Jacqueline Floch

pp 211–219https://doi.org/10.1145/225014.225034

- 10
- 370
Metrics
Total Citations10
Total Downloads370
Last 12 Months20
Last 6 weeks3

View online with eReader
PDF

Article

Free

A framework for selective recompilation in the presence of complex intermodule dependencies

Craig Chambers,
Jeffrey Dean,
David Grove

pp 221–230https://doi.org/10.1145/225014.225035

- 20
- 366
Metrics
Total Citations20
Total Downloads366
Last 12 Months43
Last 6 weeks6

View online with eReader
PDF

Article

Free

Towards a formal semantics of Parnas tables

Ryszard Janicki

pp 231–240https://doi.org/10.1145/225014.225036

- 22
- 582
Metrics
Total Citations22
Total Downloads582
Last 12 Months70
Last 6 weeks6

View online with eReader
PDF

Article

Free

Software requirements negotiation and renegotiation aids

Barry Boehm,
Prasanta Bose,
Ellis Horowitz,
Ming June Lee

pp 243–253https://doi.org/10.1145/225014.225037

- 86
- 1,603
Metrics
Total Citations86
Total Downloads1,603
Last 12 Months103
Last 6 weeks24

View online with eReader
PDF

Article

Free

Decentralised process enactment in a multi-perspective development environment

Ulf Leonhardt,
Jeff Kramer,
Bashar Nuseibeh

pp 255–264https://doi.org/10.1145/225014.225038

- 31
- 314
Metrics
Total Citations31
Total Downloads314
Last 12 Months22
Last 6 weeks4

View online with eReader
PDF

Article

Free

How to deal with deviations during process model enactment

G. Cugola,
E. Di Nitto,
C. Ghezzi,
M. Mantione

pp 265–273https://doi.org/10.1145/225014.225039

- 35
- 427
Metrics
Total Citations35
Total Downloads427
Last 12 Months33
Last 6 weeks5

View online with eReader
PDF

Article

Free

Experimental software engineering: a report on the state of the art

Lawrence G. Votta,
Adam Porter

pp 277–279https://doi.org/10.1145/225014.225040

- 31
- 624
Metrics
Total Citations31
Total Downloads624
Last 12 Months66
Last 6 weeks7

View online with eReader
PDF

Article

Free

The world and the machine

Michael Jackson

pp 283–292https://doi.org/10.1145/225014.225041

- 120
- 2,579
Metrics
Total Citations120
Total Downloads2,579
Last 12 Months531
Last 6 weeks77

View online with eReader
PDF

Article

Free

A component- and message-based architectural style for GUI software

Richard N. Taylor,
Nenad Medvidovic,
Kenneth M. Anderson,
E. James Whitehead,
Jason E. Robbins

pp 295–304https://doi.org/10.1145/225014.225042

- 52
- 1,129
Metrics
Total Citations52
Total Downloads1,129
Last 12 Months194
Last 6 weeks33

View online with eReader
PDF

Article

Free

An architecture for integrating concurrency control into environment frameworks

George T. Heineman,
Gail E. Kaiser

pp 305–313https://doi.org/10.1145/225014.225043

- 13
- 276
Metrics
Total Citations13
Total Downloads276
Last 12 Months19
Last 6 weeks3

View online with eReader
PDF

Article

Free

Tool integration: experiences and directions

Bob Gautier,
Chris Loftus,
Edel Sherratt,
Lynda Thomas

pp 315–324https://doi.org/10.1145/225014.225044

- 4
- 497
Metrics
Total Citations4
Total Downloads497
Last 12 Months35
Last 6 weeks4

View online with eReader
PDF

Save to Binder

Create a New Binder

Name

Contributors

Dewayne Elwood Perry
The University of Texas at Austin
- Publication Years1978 - 2017
- Publication counts145
- Citation count3,750
- Available for Download79
- Downloads (cumulative)56,729
- Downloads (12 months)2,849
- Downloads (6 weeks)456
- Average Downloads per Article718
- Average Citation per Article26
View Full Profile

Index Terms

Proceedings of the 17th international conference on Software engineering

Recommendations

UbiMob '05: Proceedings of the 2nd French-speaking conference on Mobility and ubiquity computing
Read More
CompSysTech '16: Proceedings of the 17th International Conference on Computer Systems and Technologies 2016
Read More
UbiMob '08: Proceedings of the 4th French-speaking conference on Mobility and ubiquity computing
Read More

Acceptance Rates

ICSE '95 Paper Acceptance Rate28of155submissions,18%Overall Acceptance Rate276of1,856submissions,15%

Year	Submitted	Accepted	Rate
ICSE '08	370	56	15%
ICSE '04	436	58	13%
ICSE '03	324	42	13%
ICSE '02	303	45	15%
ICSE '01	268	47	18%
ICSE '95	155	28	18%
Overall	1,856	276	15%

Comments

Export Citations

Select Citation format

Please download or close your previous search result export first before starting a new bulk export.
Preview is not available.
By clicking download,a status dialog will open to start the export process. The process may takea few minutes but once it finishes a file will be downloadable from your browser. You may continue to browse the DL while the export process is in progress.
Download
- Download citation
- Copy citation

Save to Binder

Sections

Save to Binder

Index Terms

Recommendations

UbiMob '05: Proceedings of the 2nd French-speaking conference on Mobility and ubiquity computing

CompSysTech '16: Proceedings of the 17th International Conference on Computer Systems and Technologies 2016

UbiMob '08: Proceedings of the 4th French-speaking conference on Mobility and ubiquity computing

Acceptance Rates