13th International Conference on Software Engineering: proceedings ; Austin, Texas, May 13 - 16, 1991
Gespeichert in:
| Körperschaften: | , |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Los Alamitos, Calif.
IEEE Computer Society Press
1991
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XIII, 359 Seiten graph. Darst. |
| ISBN: | 0818691409 0818621400 0897913914 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV021511361 | ||
| 003 | DE-604 | ||
| 005 | 20200505 | ||
| 007 | t| | ||
| 008 | 060315s1991 xx d||| |||| 10||| eng d | ||
| 020 | |a 0818691409 |9 0-8186-9140-9 | ||
| 020 | |a 0818621400 |9 0-8186-2140-0 | ||
| 020 | |a 0897913914 |9 0-89791-391-4 | ||
| 035 | |a (OCoLC)635233867 | ||
| 035 | |a (DE-599)BVBBV021511361 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-83 |a DE-188 | ||
| 111 | 2 | |a International Conference on Software Engineering |n 13 |d 1991 |c Austin, Tex. |j Verfasser |0 (DE-588)5058317-7 |4 aut | |
| 245 | 1 | 0 | |a 13th International Conference on Software Engineering |b proceedings ; Austin, Texas, May 13 - 16, 1991 |
| 246 | 1 | 3 | |a Thirteenth International Conference on Software Engineering |
| 264 | 1 | |a Los Alamitos, Calif. |b IEEE Computer Society Press |c 1991 | |
| 300 | |a XIII, 359 Seiten |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 711 | 2 | 2 | |a International Conference on Software Engineering |n 13 |d 1991 |c Austin, Tex. |0 (DE-588)5058317-7 |4 aut |t Proceedings |
| 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=014727975&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-014727975 | |
Datensatz im Suchindex
| _version_ | 1820868110351073280 |
|---|---|
| adam_text |
Table of Contents
Foreword
.
v
General Conference Committee
.
vi
Program Committee
.
vii
In
Memoriam
.
vili
Plenary Sessions
.ix
Session
1:
Methodology
Chair: R. Jefferey
A Methodology for Prototyping-in-the-Large
.2
J. Purtitto. A. Larson, and J. Clark
Aspect: An Economical Bug-Detector
.13
D. Jackson
Using Weaves for Software Construction and Analysis
.23
MM Gorlick and R.R. Razouk
Session
2:
The International State of Practice
Chair: J. Munson
Formal Methods: An International Perspective
.36
S.Gerhart
A Comparison of U.S. and Japanese Software Process Maturity
.38
W.S. Humphrey.
D.H.
Kltson. andJ. Gale
Panel
1:
Is Software Reuse Delivering?
Chain W.B. Frakes
Software Reuse: Is It Delivering?
.52
W.B Frakes.
TJ.
Biggerstaff. R. Prieto-DIaz, K. Matsumura, and W. Schaefer
Session
3:
Analyb
Chat D. Berry
Understanding Natural Programs Using Proper Decomposition
.62
J.
Hartman
Toward New Techniques to Assess the Software Implementation Process
.74
J.D. Utke
An Intelligent Tool for Re-engineering Software Modularity
.83
R.W.
Schwanke
Session* Design
Chain K.Reed
Augmenting SADT™ to Develop Computer Support for Cooperative Work
.94
D. A
Marca
Designing Software for Use by Humans. Not Machines
.104
L
Ruston. MJ. Muller. andICD.
Cebulka
Extending the Potts and
Bruns
Model for Recording Design Rationale
.114
J.Lee
Workshop Reports
1
Chat
С
Ghezzi
CASE at the Start of the
1990s.128
RJ. Norman. W. Stevens.
EJ.
Chlkofsky.
J. Jenkins. B.L. Rubensteln. and G. Forte
FM91: Formal Methods Workshop
.140
D. Cralgen and P. Ryan
Panel
2:
Non-Technological Issues in Software Engineering
Chair: M.I.
Kellner
Non-Technological Issues in Software Engineering
.144
M.I.
Kellner
Techies as Non-Technological Factors in Software Engineering?
.147
B. Curtis
Panel Position Statement
.149
T.
DeMarco
Panel Position Statement
.151
K.KishkJa
Software Engineering Management
.152
M. Schlumberger
A Failure of Management Nerve and Vision
.154
C. ТиИу
Sessiono: Evolution
Chat D. Notkln
Tolerating Inconsistency
.158
R. Baker
The Prism Model of Changes
.166
NM
Madhavjl
Session
7:
The State-of-the-Art in Testing and Verification
Chair: J. Gannon
Progress Toward Automated Software Testing
.180
R.A. DeMillo
Tool Support for Formal Methods
.184
D. Crakjen
Session
β:
Software Development for Parallel and Distributed Systems
Chat J. Wing
Software Development for Parallel Systems
.188
J.Dongana
Hiding Distribution in Distributed Operating Systems
.189
M.Banõtre
Session* Environments
Chat
С
Smith
PRESTIGE: A CASE Workbench for the JSD Implementor
.198
A. Bass. M. Boyle, and B. Ratcliff
Xl
User Interface Development and Software Environments:
The Chiron-l System
.208
R.K Keller.
M.
Cameron,
R.N.
Taylor, and
D.B. Troup
Experiences with an Environment Generation System
.219
S.S.
Popovlch,
WM Schell,
and
D.E.
Perry
Session
10:
Reliability
Chat M. Ohba
Parameter Value Computation by Least Square Method and Evaluation of Software
Availability and Reliability at Service-Operation by the Hyper-Geometric Distribution
Software Reliability Growth Model (HGDM)
.226
R. Jacobyand Y. Tohma
Integrating Prior Knowledge with a Software Reliability Growth Model
.238
J.M. Caruso and D. W.
Desormeau
Defect Type and Its Impact on the Growth Curve
.246
R. Chillarege, W.-L
Kao. andR.G.
Condit
Session
11 :
Workshop Reports
2
Chair: M. Boasson
ISPW6: Supportforthe Software Process
.258
T. Katayama
International Workshop on Software Quality Improvement
.263
T. Tamai
Panel
3:
Ethical Considerations for Software Engineers
Chair: D. Gotterbam
Ethical Considerations in Software Engineering
.266
D. Gotterbam
Session
12:
Process Assessment
Chat
L Duvalt
Cost Estimation of Software Intensive Projects: A Survey of Current Practices
. 276
J. Hfon and H. Hablb-Agahl
Metric-Driven Analysis and Feedback Systems for Enabling
Empirically Guided Software Development
.288
R. W. Selby,
A.A.
Porter. D. C. Schmidt, and J. Berney
Process Assessments in NASA
.299
M.W.Bush
Session
13:
System Security
Chat R. Kemmerer
The
Inf
ormation Technology Security Evaluation Criteria
.306
C.Jahl
Computer Emergency Response-An International Problem
.313
R. Pethia
Panela:
Software Engineering Environment Integration
Chair: M.
Penedo
Xli
Session
14:
Reuse
Chair: G.Arango
Cognitive Tools for Locating and Comprehending Software Objects for Reuse
. . . 318
G. Fischer. S.
Henninger,
and D. Redmiles
Software Reuse In an Industrial Setting: A Case Study
.329
M.F. Dunn andJ.C. Knight
Session
15:
Workshop Reports
3
Chair: W.
Tichy
Domain Modeling for Software Engineering
.340
N.
Iscoe. G.B. Williams, and G. Arango
Hardware/Software Codesign: A Perspective
.344
D.W.
Franke
and MX. Purvis
Directions in Software Engineering Education
.353
L
Werthand
J.
Werth
Author Index
.359
Xlii |
| adam_txt |
Table of Contents
Foreword
.
v
General Conference Committee
.
vi
Program Committee
.
vii
In
Memoriam
.
vili
Plenary Sessions
.ix
Session
1:
Methodology
Chair: R. Jefferey
A Methodology for Prototyping-in-the-Large
.2
J. Purtitto. A. Larson, and J. Clark
Aspect: An Economical Bug-Detector
.13
D. Jackson
Using Weaves for Software Construction and Analysis
.23
MM Gorlick and R.R. Razouk
Session
2:
The International State of Practice
Chair: J. Munson
Formal Methods: An International Perspective
.36
S.Gerhart
A Comparison of U.S. and Japanese Software Process Maturity
.38
W.S. Humphrey.
D.H.
Kltson. andJ. Gale
Panel
1:
Is Software Reuse Delivering?
Chain W.B. Frakes
Software Reuse: Is It Delivering?
.52
W.B Frakes.
TJ.
Biggerstaff. R. Prieto-DIaz, K. Matsumura, and W. Schaefer
Session
3:
Analyb
Chat D. Berry
Understanding Natural Programs Using Proper Decomposition
.62
J.
Hartman
Toward New Techniques to Assess the Software Implementation Process
.74
J.D. Utke
An Intelligent Tool for Re-engineering Software Modularity
.83
R.W.
Schwanke
Session* Design
Chain K.Reed
Augmenting SADT™ to Develop Computer Support for Cooperative Work
.94
D. A
Marca
Designing Software for Use by Humans. Not Machines
.104
L
Ruston. MJ. Muller. andICD.
Cebulka
Extending the Potts and
Bruns
Model for Recording Design Rationale
.114
J.Lee
Workshop Reports
1
Chat
С
Ghezzi
CASE at the Start of the
1990s.128
RJ. Norman. W. Stevens.
EJ.
Chlkofsky.
J. Jenkins. B.L. Rubensteln. and G. Forte
FM91: Formal Methods Workshop
.140
D. Cralgen and P. Ryan
Panel
2:
Non-Technological Issues in Software Engineering
Chair: M.I.
Kellner
Non-Technological Issues in Software Engineering
.144
M.I.
Kellner
Techies as Non-Technological Factors in Software Engineering?
.147
B. Curtis
Panel Position Statement
.149
T.
DeMarco
Panel Position Statement
.151
K.KishkJa
Software Engineering Management
.152
M. Schlumberger
A Failure of Management Nerve and Vision
.154
C. ТиИу
Sessiono: Evolution
Chat D. Notkln
Tolerating Inconsistency
.158
R. Baker
The Prism Model of Changes
.166
NM
Madhavjl
Session
7:
The State-of-the-Art in Testing and Verification
Chair: J. Gannon
Progress Toward Automated Software Testing
.180
R.A. DeMillo
Tool Support for Formal Methods
.184
D. Crakjen
Session
β:
Software Development for Parallel and Distributed Systems
Chat J. Wing
Software Development for Parallel Systems
.188
J.Dongana
Hiding Distribution in Distributed Operating Systems
.189
M.Banõtre
Session* Environments
Chat
С
Smith
PRESTIGE: A CASE Workbench for the JSD Implementor
.198
A. Bass. M. Boyle, and B. Ratcliff
Xl
User Interface Development and Software Environments:
The Chiron-l System
.208
R.K Keller.
M.
Cameron,
R.N.
Taylor, and
D.B. Troup
Experiences with an Environment Generation System
.219
S.S.
Popovlch,
WM Schell,
and
D.E.
Perry
Session
10:
Reliability
Chat M. Ohba
Parameter Value Computation by Least Square Method and Evaluation of Software
Availability and Reliability at Service-Operation by the Hyper-Geometric Distribution
Software Reliability Growth Model (HGDM)
.226
R. Jacobyand Y. Tohma
Integrating Prior Knowledge with a Software Reliability Growth Model
.238
J.M. Caruso and D. W.
Desormeau
Defect Type and Its Impact on the Growth Curve
.246
R. Chillarege, W.-L
Kao. andR.G.
Condit
Session
11 :
Workshop Reports
2
Chair: M. Boasson
ISPW6: Supportforthe Software Process
.258
T. Katayama
International Workshop on Software Quality Improvement
.263
T. Tamai
Panel
3:
Ethical Considerations for Software Engineers
Chair: D. Gotterbam
Ethical Considerations in Software Engineering
.266
D. Gotterbam
Session
12:
Process Assessment
Chat
L Duvalt
Cost Estimation of Software Intensive Projects: A Survey of Current Practices
. 276
J. Hfon and H. Hablb-Agahl
Metric-Driven Analysis and Feedback Systems for Enabling
Empirically Guided Software Development
.288
R. W. Selby,
A.A.
Porter. D. C. Schmidt, and J. Berney
Process Assessments in NASA
.299
M.W.Bush
Session
13:
System Security
Chat R. Kemmerer
The
Inf
ormation Technology Security Evaluation Criteria
.306
C.Jahl
Computer Emergency Response-An International Problem
.313
R. Pethia
Panela:
Software Engineering Environment Integration
Chair: M.
Penedo
Xli
Session
14:
Reuse
Chair: G.Arango
Cognitive Tools for Locating and Comprehending Software Objects for Reuse
. . . 318
G. Fischer. S.
Henninger,
and D. Redmiles
Software Reuse In an Industrial Setting: A Case Study
.329
M.F. Dunn andJ.C. Knight
Session
15:
Workshop Reports
3
Chair: W.
Tichy
Domain Modeling for Software Engineering
.340
N.
Iscoe. G.B. Williams, and G. Arango
Hardware/Software Codesign: A Perspective
.344
D.W.
Franke
and MX. Purvis
Directions in Software Engineering Education
.353
L
Werthand
J.
Werth
Author Index
.359
Xlii |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author_corporate | International Conference on Software Engineering Austin, Tex International Conference on Software Engineering |
| author_corporate_role | aut aut |
| author_facet | International Conference on Software Engineering Austin, Tex International Conference on Software Engineering |
| author_sort | International Conference on Software Engineering Austin, Tex |
| building | Verbundindex |
| bvnumber | BV021511361 |
| classification_rvk | SS 1991 |
| ctrlnum | (OCoLC)635233867 (DE-599)BVBBV021511361 |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV021511361</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200505</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">060315s1991 xx d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818691409</subfield><subfield code="9">0-8186-9140-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0818621400</subfield><subfield code="9">0-8186-2140-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0897913914</subfield><subfield code="9">0-89791-391-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)635233867</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021511361</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Conference on Software Engineering</subfield><subfield code="n">13</subfield><subfield code="d">1991</subfield><subfield code="c">Austin, Tex.</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5058317-7</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">13th International Conference on Software Engineering</subfield><subfield code="b">proceedings ; Austin, Texas, May 13 - 16, 1991</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Thirteenth International Conference on Software Engineering</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Los Alamitos, Calif.</subfield><subfield code="b">IEEE Computer Society Press</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 359 Seiten</subfield><subfield code="b">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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="711" ind1="2" ind2="2"><subfield code="a">International Conference on Software Engineering</subfield><subfield code="n">13</subfield><subfield code="d">1991</subfield><subfield code="c">Austin, Tex.</subfield><subfield code="0">(DE-588)5058317-7</subfield><subfield code="4">aut</subfield><subfield code="t">Proceedings</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=014727975&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-014727975</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV021511361 |
| illustrated | Illustrated |
| index_date | 2024-07-02T14:18:55Z |
| indexdate | 2025-01-10T13:19:10Z |
| institution | BVB |
| institution_GND | (DE-588)5058317-7 |
| isbn | 0818691409 0818621400 0897913914 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-014727975 |
| oclc_num | 635233867 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-83 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-83 DE-188 |
| physical | XIII, 359 Seiten graph. Darst. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | IEEE Computer Society Press |
| record_format | marc |
| spelling | International Conference on Software Engineering 13 1991 Austin, Tex. Verfasser (DE-588)5058317-7 aut 13th International Conference on Software Engineering proceedings ; Austin, Texas, May 13 - 16, 1991 Thirteenth International Conference on Software Engineering Los Alamitos, Calif. IEEE Computer Society Press 1991 XIII, 359 Seiten graph. Darst. txt rdacontent n rdamedia nc rdacarrier (DE-588)1071861417 Konferenzschrift gnd-content International Conference on Software Engineering 13 1991 Austin, Tex. (DE-588)5058317-7 aut Proceedings Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014727975&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | 13th International Conference on Software Engineering proceedings ; Austin, Texas, May 13 - 16, 1991 |
| subject_GND | (DE-588)1071861417 |
| title | 13th International Conference on Software Engineering proceedings ; Austin, Texas, May 13 - 16, 1991 |
| title_alt | Thirteenth International Conference on Software Engineering Proceedings |
| title_auth | 13th International Conference on Software Engineering proceedings ; Austin, Texas, May 13 - 16, 1991 |
| title_exact_search | 13th International Conference on Software Engineering proceedings ; Austin, Texas, May 13 - 16, 1991 |
| title_exact_search_txtP | 13th International Conference on Software Engineering proceedings ; Austin, Texas, May 13 - 16, 1991 |
| title_full | 13th International Conference on Software Engineering proceedings ; Austin, Texas, May 13 - 16, 1991 |
| title_fullStr | 13th International Conference on Software Engineering proceedings ; Austin, Texas, May 13 - 16, 1991 |
| title_full_unstemmed | 13th International Conference on Software Engineering proceedings ; Austin, Texas, May 13 - 16, 1991 |
| title_short | 13th International Conference on Software Engineering |
| title_sort | 13th international conference on software engineering proceedings austin texas may 13 16 1991 |
| title_sub | proceedings ; Austin, Texas, May 13 - 16, 1991 |
| topic_facet | Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014727975&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT internationalconferenceonsoftwareengineeringaustintex 13thinternationalconferenceonsoftwareengineeringproceedingsaustintexasmay13161991 AT internationalconferenceonsoftwareengineeringaustintex thirteenthinternationalconferenceonsoftwareengineering |