Achieving quality in software: proceedings of the third International Conference on Achieving Quality in Software, 1996
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
London [u.a.]
Chapman & Hall
1996
|
| Ausgabe: | 1. ed. |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | VII,, 428 S. Ill., graph. Darst. |
| ISBN: | 0412639009 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010911211 | ||
| 003 | DE-604 | ||
| 005 | 19990610 | ||
| 007 | t| | ||
| 008 | 960826s1996 xx ad|| |||| 10||| eng d | ||
| 020 | |a 0412639009 |9 0-412-63900-9 | ||
| 035 | |a (OCoLC)34560927 | ||
| 035 | |a (DE-599)BVBBV010911211 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-91G | ||
| 050 | 0 | |a QA76.758 | |
| 082 | 0 | |a 005.14 |2 21 | |
| 084 | |a DAT 343f |2 stub | ||
| 245 | 1 | 0 | |a Achieving quality in software |b proceedings of the third International Conference on Achieving Quality in Software, 1996 |c ed. by Sandro Bologna |
| 250 | |a 1. ed. | ||
| 264 | 1 | |a London [u.a.] |b Chapman & Hall |c 1996 | |
| 300 | |a VII,, 428 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a Controle de qualidade |2 larpcal | |
| 650 | 7 | |a Engenharia de programacao (software) |2 larpcal | |
| 650 | 7 | |a Génie logiciel - Qualité - Contrôle - Congrès |2 ram | |
| 650 | 7 | |a Kwaliteitscontrole |2 gtt | |
| 650 | 7 | |a Logiciels - Développement - Qualité - Contrôle - Congrès |2 ram | |
| 650 | 7 | |a Programmatuurtechniek |2 gtt | |
| 650 | 4 | |a Computer software |x Development |x Quality control |v Congresses | |
| 650 | 4 | |a Software engineering |x Quality control |v Congresses | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Bologna, Sandro |e Sonstige |4 oth | |
| 711 | 2 | |a International Conference on Achieving Quality in Software |n 3 |d 1996 |c Florenz |j Sonstige |0 (DE-588)5247468-9 |4 oth | |
| 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=007299053&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007299053 | |
Datensatz im Suchindex
| _version_ | 1820868184741249024 |
|---|---|
| adam_text |
CONTENTS
Foreword
ix
General
Chair's
Message
χ
Conference
Committee
xi
PART ONE Invited Papers
1
1
Evolving and packaging reading technologies
V.R.
Basili
3
2
Analysis of fault generation caused by stress during software development
T. Furuyama, Y.
Arai
and K.
lio
14
3
EC projects and efforts in the field of software quality
B. Lepape
29
4
Verification and validation of knowledge based systems
M. Ay el
' 32
PART TWO Process Improvement
33
5
Process improvement through root cause analysis
C.
Damele.
G.
Bazzana,
F. Andreis, F. Aquilio, S.
Arnoldi
and E. Pessi 35
6
A process improvement experiment through process modelling
and technology
P. Coppola and P. Panaroni
48
7
Process maturity
—
growing older and wiser? Using Process Advisor
for process assessment
A. Bryant and J. Grogan
58
PART THREE Quality Practices
75
8
Software quality: perceptions and practices in Hong Kong
JM. Verner,
T.T.
Moores
and A.R. Barrett
77
9
Controlling side-effects in maintenance
G.
Canfora,
G.A.
Di
Lucca and M. Tortorella
89
10
The short but interesting life of small software firms
M.
Ruffa,
G.
Zollo
and
R.
Caponi
103
PART FOUR Software Testing
119
11
Static analysis of VHDL source code: the SAVE project
M. Mastrelti, M.L.
Busi,
R.
Sarvello,
M. Strnie
si and
S.
Tomaseìlo
121
Contents
12
Metrics and analyses in the test phase of large-scale software
E.
Obara,
T.
Kawasaki,
Y.
Ookawa and
N.
Maeda
133
13
Automated testing of safety requirements with the support of a
deductive database
P. Asirelli, A. Bertolino and S. Gnesi
145
PART FIVE Numerical Assessment
159
14
Poisson
models for subprogram defect analysis
W.M. Evanco
161
15
Early estimation of software reliability through dynamic analysis
A. WessUn and
С
Wohlin 195
PART SIX Quality Measurement
187
16
Software quality classification model based on McCabe's complexity
measure
R. Takahashi
189
17
Combining knowledge and metrics to control software quality factors
J. Alvarez,
N.
Castell and
O. Slavkova
201
18
Software quality evaluation from research to industry: the Qseal
Consortium approach
V. Asnaghi, P. Caliman, M.
Сатрапі,
W.
Chiarottino,
G.
Di
Capua,
F.
Fabbrini,
M.
Fusani, A. Jeanrenaud,
S.
Mitolo,
D.
Pina, G.
Rumi,
P. Salvaneschi
and I. Tsiouras
213
PART SEVEN Quality Modelling
223
19
In search of the customer's quality view
T. Stålhane,
P.C.
Borgersen and K. Arnesen
225
20
Database design for quality
D.
Castelli
and E. Locuratolo
237
21
Methodology assistant in a graphical design of real-time applications
R. Aubry, M.
Mammana
and J.J.
Schwarz 249
PART EIGHT Object Oriented
263
22
Using object oriented technology to measure a software process
A. Aarsten and M. Morisio
265
23
Object-oriented software testability
J.M.
Voas
279
24
Applying metrics for quality analysis and improvement of
object-oriented software
I. Morschel and Ch. Ebert
291
PART NINE KBS Quality
303
25
Software engineering concepts for KBS design and testing for reliability
F. Battini
305
Contents
26
Assessing the role of formal specifications in verification and validation
of knowledge-based systems
P. Meseguer and
A.D.
Preece
317
PART TEN Formal Methods
329
27
Software quality improvement: two approaches to the application of
formal methods
A. Alapide, S.
Cândia,
M.
Cinnella and
S.
Quaranta
331
28
Assessing the quality of specification-based testing
S.P. Allen and M.R. Woodward
341
29
A tool for testing synchronous software
/.
Parissis
355
PART ELEVEN Quality Measurement II
367
30
A case study in branch testing automation
A. Bertolino, R.
Mirandola
and E. Peciola
369
31
A method for software evaluation with respect to quality standards
D. Welzel and H.-L
Hausen 381
32
Software applications complexity evaluation in a bank environment
D.
Celiino
400
33
How business relationship modelling supports quality assurance
of business objects
R.A. Very
ard
412
Index of contributors
426
Keyword index
427 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV010911211 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.758 |
| callnumber-search | QA76.758 |
| callnumber-sort | QA 276.758 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1996 |
| classification_tum | DAT 343f |
| ctrlnum | (OCoLC)34560927 (DE-599)BVBBV010911211 |
| dewey-full | 005.14 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.14 |
| dewey-search | 005.14 |
| dewey-sort | 15.14 |
| 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">BV010911211</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19990610</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">960826s1996 xx ad|| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0412639009</subfield><subfield code="9">0-412-63900-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)34560927</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010911211</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.758</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.14</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">Achieving quality in software</subfield><subfield code="b">proceedings of the third International Conference on Achieving Quality in Software, 1996</subfield><subfield code="c">ed. by Sandro Bologna</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">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VII,, 428 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">Controle de qualidade</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Engenharia de programacao (software)</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Génie logiciel - Qualité - Contrôle - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Kwaliteitscontrole</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logiciels - Développement - Qualité - Contrôle - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmatuurtechniek</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Development</subfield><subfield code="x">Quality control</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield><subfield code="x">Quality control</subfield><subfield code="v">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">Bologna, Sandro</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Conference on Achieving Quality in Software</subfield><subfield code="n">3</subfield><subfield code="d">1996</subfield><subfield code="c">Florenz</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5247468-9</subfield><subfield code="4">oth</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=007299053&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-007299053</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV010911211 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:20:20Z |
| institution | BVB |
| institution_GND | (DE-588)5247468-9 |
| isbn | 0412639009 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007299053 |
| oclc_num | 34560927 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM |
| owner_facet | DE-739 DE-91G DE-BY-TUM |
| physical | VII,, 428 S. Ill., graph. Darst. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Chapman & Hall |
| record_format | marc |
| spelling | Achieving quality in software proceedings of the third International Conference on Achieving Quality in Software, 1996 ed. by Sandro Bologna 1. ed. London [u.a.] Chapman & Hall 1996 VII,, 428 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Controle de qualidade larpcal Engenharia de programacao (software) larpcal Génie logiciel - Qualité - Contrôle - Congrès ram Kwaliteitscontrole gtt Logiciels - Développement - Qualité - Contrôle - Congrès ram Programmatuurtechniek gtt Computer software Development Quality control Congresses Software engineering Quality control Congresses (DE-588)1071861417 Konferenzschrift gnd-content Bologna, Sandro Sonstige oth International Conference on Achieving Quality in Software 3 1996 Florenz Sonstige (DE-588)5247468-9 oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007299053&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Achieving quality in software proceedings of the third International Conference on Achieving Quality in Software, 1996 Controle de qualidade larpcal Engenharia de programacao (software) larpcal Génie logiciel - Qualité - Contrôle - Congrès ram Kwaliteitscontrole gtt Logiciels - Développement - Qualité - Contrôle - Congrès ram Programmatuurtechniek gtt Computer software Development Quality control Congresses Software engineering Quality control Congresses |
| subject_GND | (DE-588)1071861417 |
| title | Achieving quality in software proceedings of the third International Conference on Achieving Quality in Software, 1996 |
| title_auth | Achieving quality in software proceedings of the third International Conference on Achieving Quality in Software, 1996 |
| title_exact_search | Achieving quality in software proceedings of the third International Conference on Achieving Quality in Software, 1996 |
| title_full | Achieving quality in software proceedings of the third International Conference on Achieving Quality in Software, 1996 ed. by Sandro Bologna |
| title_fullStr | Achieving quality in software proceedings of the third International Conference on Achieving Quality in Software, 1996 ed. by Sandro Bologna |
| title_full_unstemmed | Achieving quality in software proceedings of the third International Conference on Achieving Quality in Software, 1996 ed. by Sandro Bologna |
| title_short | Achieving quality in software |
| title_sort | achieving quality in software proceedings of the third international conference on achieving quality in software 1996 |
| title_sub | proceedings of the third International Conference on Achieving Quality in Software, 1996 |
| topic | Controle de qualidade larpcal Engenharia de programacao (software) larpcal Génie logiciel - Qualité - Contrôle - Congrès ram Kwaliteitscontrole gtt Logiciels - Développement - Qualité - Contrôle - Congrès ram Programmatuurtechniek gtt Computer software Development Quality control Congresses Software engineering Quality control Congresses |
| topic_facet | Controle de qualidade Engenharia de programacao (software) Génie logiciel - Qualité - Contrôle - Congrès Kwaliteitscontrole Logiciels - Développement - Qualité - Contrôle - Congrès Programmatuurtechniek Computer software Development Quality control Congresses Software engineering Quality control Congresses Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007299053&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT bolognasandro achievingqualityinsoftwareproceedingsofthethirdinternationalconferenceonachievingqualityinsoftware1996 AT internationalconferenceonachievingqualityinsoftwareflorenz achievingqualityinsoftwareproceedingsofthethirdinternationalconferenceonachievingqualityinsoftware1996 |