Proceedings: World Congress Centre, Melbourne, Australia, May 11 - 15, 1992
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | Undetermined |
| Veröffentlicht: |
New York
Association for Computing Machinery
1992
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | X, 421 S. graph. Darst. |
| ISBN: | 0897915046 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV009534435 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940311s1992 d||| |||| 10||| und d | ||
| 020 | |a 0897915046 |9 0-89791-504-6 | ||
| 035 | |a (OCoLC)633343263 | ||
| 035 | |a (DE-599)BVBBV009534435 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | |a und | ||
| 049 | |a DE-91G | ||
| 084 | |a DAT 310f |2 stub | ||
| 111 | 2 | |a International Conference on Software Engineering |n 14 |d 1992 |c Melbourne |j Verfasser |0 (DE-588)5083690-0 |4 aut | |
| 245 | 1 | 0 | |a Proceedings |b World Congress Centre, Melbourne, Australia, May 11 - 15, 1992 |c International Conference on Software Engineering |
| 264 | 1 | |a New York |b Association for Computing Machinery |c 1992 | |
| 300 | |a X, 421 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturangaben | ||
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 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=006296164&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006296164 | ||
Datensatz im Suchindex
| _version_ | 1804123872193150976 |
|---|---|
| adam_text | TABLE
OF
CONTENTS
Foreword
General
Conference Committee
Program Committee
KEYNOTE ADDRESSES (Invited Papers)
High-Pressure Steam Engines and Computer Software
............................... 2
Nancy G. Leveson
Trusted Computing Systems, the
PROCOS
Experience
............................... 15
Dines
Björner
Design of Dependable Real-Time Systems
........................................... 35
Andrew Lister
Session
1:
MEASUREMENT AND PREDICTION
A Measure for Composite Module Cohesion
......................................... 38
SttifceíÄ
Patel,
William
Chu
and Rich Baxter
Productivity Analysis of Software Development with an Integrated CASE Tool
..... 49
Michio Tsuda, Yosvke Morioka, Masato Takadachi and Mayumi Takahashi
Estimating Software Fault Content Before Coding
................................... 59
Stephen G. Eick,
Clive
R.
Loader,
M.
David Long, Lawrence G. Votta and Scott
Vander Wiel
Session
2:
SOFTWARE ANALYSIS AND TESTING
Incremental Testing of Object-Oriented Class Structures
............................. 68
Mary Jean Hamid,
John D. McGregor and Kevin J. Fitzpatrick
Testing for Linear Errors in Nonlinear Computer Programs
.......................... 81
Faten
H.
Affi,
Lee J.
White and Steven
J. Zeä
Towards a Method of Programming with Assertions
.................................. 92
David S.
Rosenblum
Specification-Based Test Oracles for Reactive Systems
............................... 105
Debra J. Richardson, Stephanie
Leif
Aha and T. Owen O Malley
VII
Session 3: ENVIRONMENT SUPPORT
Connecting
Software
Components with Declarative Glue
............................... 120
Brian Beach
Visualizing and Querying Software Structures
.......................................... 138
Mariano
Consens,
Alberto Mendelzon and Arthur G. Ryman
Session
4:
SOFTWARE EVOLUTION
Software Evolution Through Iterative Prototyping
..................................... 158
Neil Goldman and K. Narayanaswamy
Object-Oriented Analysis for Evolving Systems
........................................ 173
Mitch
Lübars, Greg
Meredith, Colin Potts and Charles
Richter
Session
5:
REAL-TIME SYSTEMS
Formal Specification of Asynchronous Distributed Real-Time Systems by APTL
...... 188
Farn
Wang,
Al Mok
and
E.
Allen Emerson
Validating
Real-Time
Systems by History-Checking TRIO Specifications
................ 199
Miguel
Felder
and
Angelo
С.
Morzenti
Session
6:
FORMAL METHODS
Graphical Specifications for Concurrent Software Systems
.............................. 214
Laura K. Dillon, George Kutty, P.Michael Melliar-Smith, Louise E.
Moser
and
Y.S. Ramakrishna
Seeking Concurrency in Rule-Based Programming
...................................... 225
Gruia-Catalin Roman, Rose F. Gamble and William E. Ball
The Property Vector Specification of a Multiset Iterator
................................ 235
Trevor
Ρ
earce
and David A. Lamb
A Toolbox for the Verification of LOTOS Programs
.................................... 246
Jean-Claude Fernandez, Hubert Garavel, Laurent Mounter,
Anne Rasse,
Carlos
Rodriguez and Joseph Sifakis
X/lll
Session 7: SOFTWARE
PROCESSES
Concepts
and Implementation of a Rule-based Process Engine
........................... 262
Burkhard Peuschel
and
Wilhelm Schafer
Process Programming by Hindsight
..................................................... 280
Pankaj Garg and Sanjay Bhansali
Session
8:
TOOLS
Call Path Profiling
...................................................................... 296
Robert J. Hall
GENOA
-
A Customizable, Language- and Front-End Independent Code Analyzer
...... 307
Premkumar Devanbu
Session
9:
SOFTWARE RE-USE
Experience Report of Software Reuse Project: Its Structure, Activities, and Statistical
Results
................................................................................. 320
Sadahiro Isoda
A General Economics Model of Software Reuse
.......................................... 327
J. E. Gaffney and R.D. Cruickshank
Software Reuse Economics: Cost-Benefit Analysis on a Large-Scale Ada Project
......... 338
Johan
Margono
and Thomas E. Rhoads
Behavior Sampling: A Technique for Automated Retrieval of Reusable Components
...... 349
Andy Podguraki and Lynn Pierce
Session
10:
PERSPECTIVE
Programming-in-the-Large: Past, Present, and Future
................................... 362
Walter F.
Tichy
Recipient of Best Paper Award of ICSE4
IX
STATE
OF THE ART REPORTS (Invited Papers)
The Software Engineering Laboratory
-
an Operational Software Experience Factory
370
Victor
Basüi,
Gianlvigi Caldiera, Frank McGarry, Rose Pajerski, Gerald Page
and Sharon Waligora
Recent Advances in Software Estimation Techniques
................................ 382
Richard E. Fairley
The Use of Program Dependence Graphs in Software Engineering
.................. 392
Susan Horwitz and Tom Reps
Program Visualization: The Art of Mapping Programs to Pictures
.................. 412
Gruia-Catalin Roman and Kenneth C. Cox
Author Index
.................................................................... 421
|
| any_adam_object | 1 |
| author_corporate | International Conference on Software Engineering Melbourne |
| author_corporate_role | aut |
| author_facet | International Conference on Software Engineering Melbourne |
| author_sort | International Conference on Software Engineering Melbourne |
| building | Verbundindex |
| bvnumber | BV009534435 |
| classification_tum | DAT 310f |
| ctrlnum | (OCoLC)633343263 (DE-599)BVBBV009534435 |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01258nam a2200301 c 4500</leader><controlfield tag="001">BV009534435</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940311s1992 d||| |||| 10||| und d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0897915046</subfield><subfield code="9">0-89791-504-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)633343263</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009534435</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=" " ind2=" "><subfield code="a">und</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</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">International Conference on Software Engineering</subfield><subfield code="n">14</subfield><subfield code="d">1992</subfield><subfield code="c">Melbourne</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)5083690-0</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings</subfield><subfield code="b">World Congress Centre, Melbourne, Australia, May 11 - 15, 1992</subfield><subfield code="c">International Conference on Software Engineering</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York</subfield><subfield code="b">Association for Computing Machinery</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 421 S.</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="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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="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=006296164&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-006296164</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV009534435 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:36:40Z |
| institution | BVB |
| institution_GND | (DE-588)5083690-0 |
| isbn | 0897915046 |
| language | Undetermined |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006296164 |
| oclc_num | 633343263 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | X, 421 S. graph. Darst. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| publisher | Association for Computing Machinery |
| record_format | marc |
| spelling | International Conference on Software Engineering 14 1992 Melbourne Verfasser (DE-588)5083690-0 aut Proceedings World Congress Centre, Melbourne, Australia, May 11 - 15, 1992 International Conference on Software Engineering New York Association for Computing Machinery 1992 X, 421 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Literaturangaben (DE-588)1071861417 Konferenzschrift gnd-content Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006296164&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Proceedings World Congress Centre, Melbourne, Australia, May 11 - 15, 1992 |
| subject_GND | (DE-588)1071861417 |
| title | Proceedings World Congress Centre, Melbourne, Australia, May 11 - 15, 1992 |
| title_auth | Proceedings World Congress Centre, Melbourne, Australia, May 11 - 15, 1992 |
| title_exact_search | Proceedings World Congress Centre, Melbourne, Australia, May 11 - 15, 1992 |
| title_full | Proceedings World Congress Centre, Melbourne, Australia, May 11 - 15, 1992 International Conference on Software Engineering |
| title_fullStr | Proceedings World Congress Centre, Melbourne, Australia, May 11 - 15, 1992 International Conference on Software Engineering |
| title_full_unstemmed | Proceedings World Congress Centre, Melbourne, Australia, May 11 - 15, 1992 International Conference on Software Engineering |
| title_short | Proceedings |
| title_sort | proceedings world congress centre melbourne australia may 11 15 1992 |
| title_sub | World Congress Centre, Melbourne, Australia, May 11 - 15, 1992 |
| topic_facet | Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006296164&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT internationalconferenceonsoftwareengineeringmelbourne proceedingsworldcongresscentremelbourneaustraliamay11151992 |