Reliability, quality and safety of software intensive systems: IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS '97), 29th - 30th May 1997, Athens, Greece
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
London [u.a.]
Chapman & Hall
1997
|
| Ausgabe: | 1. ed. |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | X, 276 S. Ill., graph. Darst. |
| ISBN: | 0412802805 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV011647837 | ||
| 003 | DE-604 | ||
| 005 | 20141016 | ||
| 007 | t| | ||
| 008 | 971125s1997 xx ad|| |||| 10||| eng d | ||
| 020 | |a 0412802805 |9 0-412-80280-5 | ||
| 035 | |a (OCoLC)37579245 | ||
| 035 | |a (DE-599)BVBBV011647837 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-91G | ||
| 050 | 0 | |a QA76.76.R44 | |
| 082 | 0 | |a 005.1 |2 21 | |
| 084 | |a DAT 343f |2 stub | ||
| 245 | 1 | 0 | |a Reliability, quality and safety of software intensive systems |b IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS '97), 29th - 30th May 1997, Athens, Greece |c ed. by Dimitris Gritzalis |
| 246 | 1 | 3 | |a Reliability, quality and safety of software-intensive systems |
| 246 | 1 | 3 | |a ENCRESS '97 |
| 250 | |a 1. ed. | ||
| 264 | 1 | |a London [u.a.] |b Chapman & Hall |c 1997 | |
| 300 | |a X, 276 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a COMPUTER PROGRAMS |2 nasat | |
| 650 | 7 | |a COMPUTER SYSTEMS PERFORMANCE |2 nasat | |
| 650 | 7 | |a CONFERENCES |2 nasat | |
| 650 | 7 | |a SOFTWARE RELIABILITY |2 nasat | |
| 650 | 4 | |a Computer software |x Quality control |x Congresses | |
| 650 | 4 | |a Computer software |x Reliability |x Congresses | |
| 650 | 4 | |a Systems engineering |x Computer programs |x Congresses | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Gritzalis, Dimitris |d 1959- |e Sonstige |0 (DE-588)1059494035 |4 oth | |
| 711 | 2 | |a International Conference on Reliability, Quality and Safety of Software Intensive Systems |n 3 |d 1997 |c Athen |j Sonstige |0 (DE-588)1238364-8 |4 oth | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007850614&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007850614 | |
Datensatz im Suchindex
| _version_ | 1820882524469985280 |
|---|---|
| adam_text |
RELIABILITY, QUALITY AND SAFETY OF SOFTWARE-INTENSIVE SYSTEMS IFIP TC5
VVG5.4 3RD INTERNATIONAL CONFERENCE ON RELIABILITY, QUALITY AND SAFETY
OF SOFTWARE-INTENSIVE SYSTEMS (ENCRESS '97), 29TH-30TH MAY 1997, ATHENS,
GREECE. EDITED BY DIMITRIS GRITZALIS ATHENS UNIVERSITY OF ECONOMICS AND
BUSINESS GREECE PUBLISHED BY CHAPMAN & HALL ON BEHALF OF THE
(INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING (IFIP) CHAPMAN &
HALL LONDON * WEINHEIM * NEW YORK * TOKYO * MELBOURNE * MADRAS CONTENTS
ENCRESS '97 CONFERENCE COMMITTEES VIII PREFACE IX PART ONE SOFTWARE
TESTING 1 P-YTHIA: A REGRESSION TEST SELECTION TOOL BASED ON TEXTUAL
DIFFERENCING 3 F. VOKOLOS AND P. FRANKL 2 PROVEIT: A C-PROGRAM
CORRECTNESS PROVER 22 D. MAURER 3 AN ASSESSMENT OF THE NUMBER OF PATHS
NEEDED FOR CONTROL FLOW TESTING 32 N. MALEVRIS PART TWO SOFTWARE QUALITY
4 AUTOMATING SOFTWARE QUALITY MODELLING, MEASUREMENT AND ASSESSMENT 43
B. KITCHENHAM, A. PASQUINI, U. ANDERS, J. B0EGH, S. DE PANFILIS AND S.
LINKMAN 5 A QUALITY-INTENSIVE APPROACH TO SOFTWARE DEVELOPMENT 54 /.
TERVONEN, J. KOKKONIEMI AND G. SMITH PART THREE SOFTWARE RELIABILITY 6
USER-PERCEPTIONS OF EMBEDDED SOFTWARE RELIABILITY 67 R. KUESTERS, R. VAN
SOLINGEN, J. TRIENEKENS AND H. WIJNANDS 7 MOTIVATED HUMANS FOR RELIABLE
SOFTWARE PRODUCTS 83 S. FRANGOS PART FOUR SOFTWARE REUSABILITY. 8
SPECIFICATION COMPOSITION FOR THE VERIFICATION OF MESSAGE PASSING 95
PROGRAM COMPOSITION /. Y. COTRONIS AND Z. TSIATSOULIS VI CONTENTS PART
FIVE SAFETY CRITICAL AND SAFETY MONITOR SYSTEMS 9 PRESCRIPTIVE
SPECIFICATION CHECKING FOR HAZARD PREVENTION IN COMPUTER-CONTROLLED
SAFETY-CRITICAL SYSTEMS 109 S. YIH AND J. TIAN 10 OBJECT-ORIENTED SAFETY
MONITOR SYNTHESIS 121 J. GOERSKI AND B. NOWICKI 11 MODIFICATION OF SAFETY
CRITICAL SYSTEMS: AN ASSESSMENT OF THREE APPROACHES 134 T. STAELHANE AND
K.J. WEDDE PART SIX SOFTWARE-INTENSIVE SYSTEMS SECURITY 12 SELECTED
LEGAL ISSUES RELATED TO INTERNET USE 151 G. QUIRCHMAYR 13 SECURITY OF
WORLD WIDE WEB SEARCH ENGINES 161 M. MARCHIORI 14 THE CASCADE
VULNERABILITY PROBLEM FOR OPEN DISTRIBUTED SYSTEMS: A REVIEW 175 S.
GRITZALLS, S. KATSIKAS AND D. SPINELIS 15 IMPROVING THE QUALITY OF
SECURE DISTRIBUTED SYSTEMS 186 V. ZORKADIS PART SEVEN APPLICATIONS AND
EXPERIENCES 16 PARTNERSHIP WITH CUSTOMERS IN PRODUCT IMPROVEMENT:
TESTING EMBEDDED SOFTWARE PRODUCTS IN THE FIELD 201 R. VAN SOLINGEN AND
S. VAN UIJTREGT 17 INTRODUCING THE GOAL-QUESTION-METRIC APPROACH TO
TELECOMMUNICATIONS SOFTWARE DEVELOPMENT PRACTICES: THE PITA EXPERIMENT
215 V. SYLAIDIS, I. NANAKIS AND V. KOPANAS 18 SOFTWARE DEVELOPMENT AND
TESTING FOR SHIPYARD ROBOTIC WELDING 231 E. ANTONIOU AND N. NIKITAKOS 19
TESTING SOFTWARE BASED ON USERS' QUALITY NEEDS 242 E. VAN VEENENDAAL AND
J. TRIENEKENS PART EIGHT POSTER PAPERS 20 AN EVALUATION SCHEME OF
SOFTWARE TESTING TECHNIQUES 259 H.-D. CHU CONTENTS VN 21 REAL-MFG: A
PETRINET BASED MODEL FOCUSING ON THE INTEGRATION OF SCHEDULABILITY AND
FAULT TOLERANCE 263 V. GEROGIANNIS, A. KAMEAS AND P. PINTELAS 22 DESIGN
OF AN INTEGRATED EDUCATIONAL SOFTWARE DEVELOPMENT ENVIRONMENT ORIENTED
IN REUSE AND QUALITY ASSURANCE OF PRODUCTS AND PROCESSES 269 /. HALARIS,
P. PETROPOULOS AND S. T. GEROPOULOS 23 AN APPROACH TO IMPROVE SOFTWARE
QUALITY IN LENGTH MEASUREMENT CALIBRATION 273 N. GREIF, H. SCHREPF AND
D. RICHTER INDEX OF CONTRIBUTORS 277 KEYWORD INDEX 278 |
| any_adam_object | 1 |
| author_GND | (DE-588)1059494035 |
| building | Verbundindex |
| bvnumber | BV011647837 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.76.R44 |
| callnumber-search | QA76.76.R44 |
| callnumber-sort | QA 276.76 R44 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1997 |
| classification_tum | DAT 343f |
| ctrlnum | (OCoLC)37579245 (DE-599)BVBBV011647837 |
| 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 |
| edition | 1. ed. |
| 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">BV011647837</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20141016</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">971125s1997 xx ad|| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0412802805</subfield><subfield code="9">0-412-80280-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)37579245</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011647837</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></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.76.R44</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 343f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Reliability, quality and safety of software intensive systems</subfield><subfield code="b">IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS '97), 29th - 30th May 1997, Athens, Greece</subfield><subfield code="c">ed. by Dimitris Gritzalis</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Reliability, quality and safety of software-intensive systems</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">ENCRESS '97</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London [u.a.]</subfield><subfield code="b">Chapman & Hall</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 276 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="7"><subfield code="a">COMPUTER PROGRAMS</subfield><subfield code="2">nasat</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTER SYSTEMS PERFORMANCE</subfield><subfield code="2">nasat</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">CONFERENCES</subfield><subfield code="2">nasat</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">SOFTWARE RELIABILITY</subfield><subfield code="2">nasat</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Quality control</subfield><subfield code="x">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Reliability</subfield><subfield code="x">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systems engineering</subfield><subfield code="x">Computer programs</subfield><subfield code="x">Congresses</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="700" ind1="1" ind2=" "><subfield code="a">Gritzalis, Dimitris</subfield><subfield code="d">1959-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1059494035</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Conference on Reliability, Quality and Safety of Software Intensive Systems</subfield><subfield code="n">3</subfield><subfield code="d">1997</subfield><subfield code="c">Athen</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1238364-8</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</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=007850614&sequence=000001&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-007850614</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV011647837 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T17:08:16Z |
| institution | BVB |
| institution_GND | (DE-588)1238364-8 |
| isbn | 0412802805 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007850614 |
| oclc_num | 37579245 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM |
| owner_facet | DE-739 DE-91G DE-BY-TUM |
| physical | X, 276 S. Ill., graph. Darst. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| publisher | Chapman & Hall |
| record_format | marc |
| spelling | Reliability, quality and safety of software intensive systems IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS '97), 29th - 30th May 1997, Athens, Greece ed. by Dimitris Gritzalis Reliability, quality and safety of software-intensive systems ENCRESS '97 1. ed. London [u.a.] Chapman & Hall 1997 X, 276 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier COMPUTER PROGRAMS nasat COMPUTER SYSTEMS PERFORMANCE nasat CONFERENCES nasat SOFTWARE RELIABILITY nasat Computer software Quality control Congresses Computer software Reliability Congresses Systems engineering Computer programs Congresses (DE-588)1071861417 Konferenzschrift gnd-content Gritzalis, Dimitris 1959- Sonstige (DE-588)1059494035 oth International Conference on Reliability, Quality and Safety of Software Intensive Systems 3 1997 Athen Sonstige (DE-588)1238364-8 oth GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007850614&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Reliability, quality and safety of software intensive systems IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS '97), 29th - 30th May 1997, Athens, Greece COMPUTER PROGRAMS nasat COMPUTER SYSTEMS PERFORMANCE nasat CONFERENCES nasat SOFTWARE RELIABILITY nasat Computer software Quality control Congresses Computer software Reliability Congresses Systems engineering Computer programs Congresses |
| subject_GND | (DE-588)1071861417 |
| title | Reliability, quality and safety of software intensive systems IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS '97), 29th - 30th May 1997, Athens, Greece |
| title_alt | Reliability, quality and safety of software-intensive systems ENCRESS '97 |
| title_auth | Reliability, quality and safety of software intensive systems IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS '97), 29th - 30th May 1997, Athens, Greece |
| title_exact_search | Reliability, quality and safety of software intensive systems IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS '97), 29th - 30th May 1997, Athens, Greece |
| title_full | Reliability, quality and safety of software intensive systems IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS '97), 29th - 30th May 1997, Athens, Greece ed. by Dimitris Gritzalis |
| title_fullStr | Reliability, quality and safety of software intensive systems IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS '97), 29th - 30th May 1997, Athens, Greece ed. by Dimitris Gritzalis |
| title_full_unstemmed | Reliability, quality and safety of software intensive systems IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS '97), 29th - 30th May 1997, Athens, Greece ed. by Dimitris Gritzalis |
| title_short | Reliability, quality and safety of software intensive systems |
| title_sort | reliability quality and safety of software intensive systems ifip tc5 wg5 4 3rd international conference on reliability quality and safety of software intensive systems encress 97 29th 30th may 1997 athens greece |
| title_sub | IFIP TC5 WG5.4 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS '97), 29th - 30th May 1997, Athens, Greece |
| topic | COMPUTER PROGRAMS nasat COMPUTER SYSTEMS PERFORMANCE nasat CONFERENCES nasat SOFTWARE RELIABILITY nasat Computer software Quality control Congresses Computer software Reliability Congresses Systems engineering Computer programs Congresses |
| topic_facet | COMPUTER PROGRAMS COMPUTER SYSTEMS PERFORMANCE CONFERENCES SOFTWARE RELIABILITY Computer software Quality control Congresses Computer software Reliability Congresses Systems engineering Computer programs Congresses Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007850614&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT gritzalisdimitris reliabilityqualityandsafetyofsoftwareintensivesystemsifiptc5wg543rdinternationalconferenceonreliabilityqualityandsafetyofsoftwareintensivesystemsencress9729th30thmay1997athensgreece AT internationalconferenceonreliabilityqualityandsafetyofsoftwareintensivesystemsathen reliabilityqualityandsafetyofsoftwareintensivesystemsifiptc5wg543rdinternationalconferenceonreliabilityqualityandsafetyofsoftwareintensivesystemsencress9729th30thmay1997athensgreece AT gritzalisdimitris reliabilityqualityandsafetyofsoftwareintensivesystems AT internationalconferenceonreliabilityqualityandsafetyofsoftwareintensivesystemsathen reliabilityqualityandsafetyofsoftwareintensivesystems AT gritzalisdimitris encress97 AT internationalconferenceonreliabilityqualityandsafetyofsoftwareintensivesystemsathen encress97 |