ICSE 16: May 16 - 21, 1994, Sorrento, Italy
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Los Alamitos, Calif. u.a.
IEEE Computer Soc. Press
1994
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XIII, 371 S. Ill., graph. Darst. |
| ISBN: | 081865855X 0818658576 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV009799518 | ||
| 003 | DE-604 | ||
| 005 | 19950315 | ||
| 007 | t | ||
| 008 | 940909s1994 ad|| |||| 10||| eng d | ||
| 020 | |a 081865855X |9 0-8186-5855-X | ||
| 020 | |a 0818658576 |9 0-8186-5857-6 | ||
| 035 | |a (OCoLC)30495563 | ||
| 035 | |a (DE-599)BVBBV009799518 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-91G |a DE-473 | ||
| 050 | 0 | |a QA76.6 | |
| 082 | 0 | |a 005.1 |b S681.16 | |
| 084 | |a SS 1994 |0 (DE-625)143431: |2 rvk | ||
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a DAT 310f |2 stub | ||
| 111 | 2 | |a ICSE |n 16 |d 1994 |c Sorrent |j Verfasser |0 (DE-588)5113732-X |4 aut | |
| 245 | 1 | 0 | |a ICSE 16 |b May 16 - 21, 1994, Sorrento, Italy |c 16th International Conference on Software Engineering |
| 264 | 1 | |a Los Alamitos, Calif. u.a. |b IEEE Computer Soc. Press |c 1994 | |
| 300 | |a XIII, 371 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Computer software |x Development |v Congresses | |
| 650 | 4 | |a Software engineering |v Congresses | |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1994 |z Sorrent |2 gnd-content | |
| 689 | 0 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006483724&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006483724 | ||
Datensatz im Suchindex
| _version_ | 1804124148752973824 |
|---|---|
| adam_text | Table
of
Contents
Foreword
...................................................................................................................................................ix
Dedication
.................................................................................................................................................xi
Organizing Committees
.........................................................................................................................xiii
Keynote Address
—
Foundations for Software: Formal or Conceptual?
...........................................1
Robin Milner, University of Edinburgh
Session 1A: Experiences with Formal Representations of Software
Lessons from Using Basic LOTOS
...................................................................................................................5
M.A.
Ardis
A Formal Approach to Determining Parallel Resource Bindings
.......................................................................15
J.A.
Keane
and W. Hussak
The Use of Description Logics in KBSE Systems
............................................................................................23
P. T. Devanbu and M.A. Jones
Session IB: Understanding Complex Systems
Comprehension Processes During Large Scale Maintenance
.............................................................................39
A.
von Mayrhauser
and A.M. Vans
On the Inference of Configuration Structures from Source Code
.......................................................................49
M. Krone and G. Snelting
Visualizing Software Systems
........................................................................................................................59
M.J. Baker and S.G. Eick
Session 2A: Software Architectures
Formalizing Architectural Connection
............................................................................................................71
R. Allen and D.
Garlan
SAAM:
A Method
f
or Analyzing the Properties of Software Architectures
.......................................................81
R. Kazman,
L
Bass, G. Abowd, andM. Webb
Storing and Retrieving Software Components: A Refinement-Based System
.....................................................91
A. Mili,
R.
Mili,
and
R. M
inerme
i r
Session
2В:
Measurement and Evaluation
An Experiment to Assess Different Defect Detection Methods for Software Requirements Inspections
.............. 103
A.A.
Porter and LG. Votta
An Instrumented Approach to Improving Software Quality through Formal Technical Review
......................... 113
P.M. Johnson
A Programmer Performance Measure Based on Programmer State Transitions in
Testing and Debugging Process
.................................................................................................................... 123
Y. Takada, K. Matsumoto, and K.
Toni
Plenary Session:
Best Paper of
ICSE-ó:
Invited presentation
Tribute to A.
Nico Habermann
On
Fonnál
Requirements Modeling Languages: RML Revisited
.................................................................... 135
5.
Greenspan, J. Mylopoulos, and
A Borgida
Nico Habermann
s
Research:
A
Brief Retrospective
..................................................................................... 149
D.
Garlan,
J.F.
Habermann, and
D.
Notkin
Invited Talk: Software Understanding for
Reengineering
Raj Ready, Carnegie Mellon University
Session
ЗА:
Process Modeling
Understanding Why in Software Process Modelling, Analysis, and Design
................................................... 159
E.S.K. Yu and}. Mylopoulos
Software Process Description using LOTOS and its Enaction
......................................................................... 169
K. Yasumoto, T. Higashino, and K. Taniguchi
A Paradigm for Decentralized Process Modeling and its Realization in the Oz Environment
............................. 179
I.Z. Ben-Shaul and G.E. Kaiser
Session 3B: Software Testing I
Experiments on the Effectiveness of Dataflow- and Controlflow-Based Test Adequacy Criteria
........................ 191
M. Hutchins, H. Foster, T. Goradia, and
T. Ostrand
A Framework for Evaluating Regression Test Selection Techniques
...............................................................201
G. Rothermel and M.J. Harrold
TestTube: A System for Selective Regression Testing
...................................................................................211
Y-F. Chen,
D.S. Rosenblum,
and
K-P.
Vo
Session 4A: State-of-the-Art Report
Formal Specification Techniques
..................................................................................................................223
MC Gaudel
Session 4B: State-of-the-Art Report
Configuration Management
—
Alexander
L
Wolf
Session 5A: Software Testing
Π
The Role of Testing Methodologies in Open Systems Standards
.....................................................................233
G. Deshmukh, R. Deshpande, J. Leathrum, and K. Liburdy
Automated Construction of Testing and Analysis Tools
.................................................................................241
P.T. Devanbu,
D.S. Rosenblum, andA.L
Wolf
Session 5B: State-of-the-Art Report
Distributed Software Engineering
.................................................................................................................253
J. Kramer
Session 6A: Panel
—
Software Reuse, Facts and Myths
Organizer: K. Wentzel, Hewlett-Packard
Panelists: V.
Basili,
University of Maryland
M. Griss, Hewlett-Packard
W. Tracz,
Loral Federal Systems
M. Wasmund,
ШМ
Germany
Software Reuse
—
Facts and Myths
............................................................... 267
K.D. Wentzel
vi
Facts and Myths affecting Software Reuse
....................................................................................................269
V.R.
Basili
Software Reuse Experience at Hewlett-Packard
.............................................................................................270
M.L Griss
Software Reuse Myths Revisited
..................................................................................................................271
W. Tracz
Reuse Facts and Myths
................................................................................................................................273
M. Wasmund
Session 6B: Panel
—
Practical Experience with Formal Methods
Organizer: M. Thomas (Praxis, and Formal Methods Europe)
Invited Talk: Software Aging
..............................................................................................................279
David Large
Parnas, McMaster
University
Session 7A: Real-Time and Distributed Systems
A Periodic Object Model for
Real-Time
Systems
...........................................................................................291
H.R. Callison
Experience with the Development of Hard Real-Time Embedded Ada Software
..............................................301
T. Vardanega
An Integrated Method for Effective Behaviour Analysis of Distributed Systems
..............................................309
S. C. Cheung and J. Kramer
Session 7B: Process Analysis and Improvement
Software Process Improvement Experience in the DP/MIS Function
...............................................................323
A. Johnson
What Small Businesses and Small Organizations Say About the CMM
............................................................331
J.G. Brodman and D.L· Johnson
The SMART Approach for Software Process Engineering
..............................................................................341
P.K. Garg, P. Mi,
T. Pnom,
W.
Scacchi,
and G. Thunquest
Plenary Session: Reports on ICSE-16 Pre-Conference Workshops
Software Engineering and Artificial Intelligence
............................................................................................353
S.
Fickas
and P.
G
.
Selfridge
Workshop on the Intersection Between Databases and Software Engineering
...................................................355
R. King
Workshop on Software Engineering and Computer-Human Interaction: Joint Research Issues
.........................356
R.N. Taylor and J. Coutaz
Software Engineering Education: A Place in the Sun?
...................................................................................358
A. Finkelstein
Session 8A: Panel
—
Software Architecture: Practice, Potential, and Pitfalls
Organizers: D.
Garlan,
Carnegie Mellon University, and D. Perry, AT&T Bell Labs
Panelists: R. Balzer, Information Sciences Institute
B. Boehm, University of Southern California
S. Feldman, Bellcore
J. Kramer, Imperial College
Software Architecture: Practice, Potential, and Pitfalls
..................................................................................363
D.
Garlan
and D. Perry
vii
Software
Architectures:
Critical Success
Factors
and Cost
Drivers
.................................................................365
В.
Boehm
Exoskeletal Software
...................................................................................................................................366
J.
Kramer
Session 8B: Panel
—
Software Quality Improvement Experiences
Organizer: B. Scialpi, Finsiel
Panelists: G. Koch, ESI and 2i CONSULT
J. Salasin,
ARPA
T. Katsoulakos,
Lloyd s Register
B. Curtis, TeraQuest Metrics
A Process for ffitting Paydirt
.......................................................................................................................369
B. Curtis
Author Index
..........................................................................................................................................371
vüi
|
| any_adam_object | 1 |
| author_corporate | ICSE Sorrent |
| author_corporate_role | aut |
| author_facet | ICSE Sorrent |
| author_sort | ICSE Sorrent |
| building | Verbundindex |
| bvnumber | BV009799518 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.6 |
| callnumber-search | QA76.6 |
| callnumber-sort | QA 276.6 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1994 ST 230 |
| classification_tum | DAT 310f |
| ctrlnum | (OCoLC)30495563 (DE-599)BVBBV009799518 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01645nam a2200409 c 4500</leader><controlfield tag="001">BV009799518</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19950315 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940909s1994 ad|| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">081865855X</subfield><subfield code="9">0-8186-5855-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818658576</subfield><subfield code="9">0-8186-5857-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)30495563</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009799518</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-473</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.6</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="b">S681.16</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 1994</subfield><subfield code="0">(DE-625)143431:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">ICSE</subfield><subfield code="n">16</subfield><subfield code="d">1994</subfield><subfield code="c">Sorrent</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5113732-X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">ICSE 16</subfield><subfield code="b">May 16 - 21, 1994, Sorrento, Italy</subfield><subfield code="c">16th International Conference on Software Engineering</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Los Alamitos, Calif. u.a.</subfield><subfield code="b">IEEE Computer Soc. Press</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 371 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Development</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1994</subfield><subfield code="z">Sorrent</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006483724&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006483724</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1994 Sorrent gnd-content |
| genre_facet | Konferenzschrift 1994 Sorrent |
| id | DE-604.BV009799518 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:41:04Z |
| institution | BVB |
| institution_GND | (DE-588)5113732-X |
| isbn | 081865855X 0818658576 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006483724 |
| oclc_num | 30495563 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-473 DE-BY-UBG |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-473 DE-BY-UBG |
| physical | XIII, 371 S. Ill., graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | IEEE Computer Soc. Press |
| record_format | marc |
| spelling | ICSE 16 1994 Sorrent Verfasser (DE-588)5113732-X aut ICSE 16 May 16 - 21, 1994, Sorrento, Italy 16th International Conference on Software Engineering Los Alamitos, Calif. u.a. IEEE Computer Soc. Press 1994 XIII, 371 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Computer software Development Congresses Software engineering Congresses Software Engineering (DE-588)4116521-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1994 Sorrent gnd-content Software Engineering (DE-588)4116521-4 s DE-604 Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006483724&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | ICSE 16 May 16 - 21, 1994, Sorrento, Italy Computer software Development Congresses Software engineering Congresses Software Engineering (DE-588)4116521-4 gnd |
| subject_GND | (DE-588)4116521-4 (DE-588)1071861417 |
| title | ICSE 16 May 16 - 21, 1994, Sorrento, Italy |
| title_auth | ICSE 16 May 16 - 21, 1994, Sorrento, Italy |
| title_exact_search | ICSE 16 May 16 - 21, 1994, Sorrento, Italy |
| title_full | ICSE 16 May 16 - 21, 1994, Sorrento, Italy 16th International Conference on Software Engineering |
| title_fullStr | ICSE 16 May 16 - 21, 1994, Sorrento, Italy 16th International Conference on Software Engineering |
| title_full_unstemmed | ICSE 16 May 16 - 21, 1994, Sorrento, Italy 16th International Conference on Software Engineering |
| title_short | ICSE 16 |
| title_sort | icse 16 may 16 21 1994 sorrento italy |
| title_sub | May 16 - 21, 1994, Sorrento, Italy |
| topic | Computer software Development Congresses Software engineering Congresses Software Engineering (DE-588)4116521-4 gnd |
| topic_facet | Computer software Development Congresses Software engineering Congresses Software Engineering Konferenzschrift 1994 Sorrent |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006483724&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT icsesorrent icse16may16211994sorrentoitaly |