Mathematics of dependable systems: based on the proceedings of a conference on mathematics of dependable systems, organized by the Institute of Mathematics and its Applications and held at Royal Holloway, University of London, in September 1993
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Oxford
Clarendon Press
1995
|
| Schriftenreihe: | Institute of Mathematics and Its Applications: [The Institute of Mathematics and its Applications conference series / New series]
55 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XII, 295 S. graph. Darst. |
| ISBN: | 0198534914 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010423214 | ||
| 003 | DE-604 | ||
| 005 | 19951129 | ||
| 007 | t | ||
| 008 | 951011s1995 d||| |||| 10||| engod | ||
| 020 | |a 0198534914 |9 0-19-853491-4 | ||
| 035 | |a (OCoLC)636896200 | ||
| 035 | |a (DE-599)BVBBV010423214 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-91G |a DE-634 |a DE-11 | ||
| 050 | 0 | |a QA76.76.R44 | |
| 082 | 0 | |a 005.1 |2 20 | |
| 084 | |a SS 1993 |0 (DE-625)143430: |2 rvk | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a DAT 286f |2 stub | ||
| 245 | 1 | 0 | |a Mathematics of dependable systems |b based on the proceedings of a conference on mathematics of dependable systems, organized by the Institute of Mathematics and its Applications and held at Royal Holloway, University of London, in September 1993 |c ed. by Chris Mitchell ... |
| 264 | 1 | |a Oxford |b Clarendon Press |c 1995 | |
| 300 | |a XII, 295 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Institute of Mathematics and Its Applications: [The Institute of Mathematics and its Applications conference series / New series] |v 55 | |
| 650 | 7 | |a Architecture des ordinateurs |2 ram | |
| 650 | 7 | |a Modèles mathématiques - Congrès |2 ram | |
| 650 | 7 | |a Ordinateurs - Architecture - Congrès |2 ram | |
| 650 | 7 | |a Ordinateurs - Fiabilité - Modèles mathématiques - Congrès |2 ram | |
| 650 | 4 | |a Mathematisches Modell | |
| 650 | 4 | |a Computer software |x Reliability |x Mathematical models |v Congresses | |
| 650 | 4 | |a Electronic digital computers |x Reliability |x Mathematical models |v Congresses | |
| 650 | 0 | 7 | |a Datenverarbeitungssystem |0 (DE-588)4125229-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Zuverlässigkeitstheorie |0 (DE-588)4195525-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1993 |z Egham |2 gnd-content | |
| 689 | 0 | 0 | |a Datenverarbeitungssystem |0 (DE-588)4125229-9 |D s |
| 689 | 0 | 1 | |a Zuverlässigkeitstheorie |0 (DE-588)4195525-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Mitchell, Chris |e Sonstige |4 oth | |
| 711 | 2 | |a Conference on Mathematics of Dependable Systems |n 1 |d 1993 |c London |j Sonstige |0 (DE-588)1233344-X |4 oth | |
| 810 | 2 | |a New series] |t Institute of Mathematics and Its Applications: [<<The>> Institute of Mathematics and its Applications conference series |v 55 |w (DE-604)BV002802287 |9 55 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006944150&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006944150 | |
Datensatz im Suchindex
| _version_ | 1806142859297947648 |
|---|---|
| adam_text |
CONTENTS
Simulated data experiment to test a software reliability
growth model based on exercise frequencies by A.W. Andrews !
and R.J. Cole 1 I
Towards verified systems: the SAFEMOS project by J.P. Bowen,
H. Jifeng, R.W.S. Hale and J.M.J. Herbert 23
Formalising safety in decision support systems by S.K. Das 49
Formal techniques for requirements analysis for
safety critical systems by R. de Lemos, A. Saeed and
T. Anderson 63
Proving authentication protocols what do authentication
protocols prove? by D. Gollmann 95
A Galois theory of local reasoning in control systems with
compositionality by M. Ingleby 103
A formal framework for fault tolerant programs by Z. Liu and
M. Joseph 131
Composition and refinement of probabilistic real time systems by
Z. Liu, J. Nordahl and E.V. S0rensen 149
Fault prediction for software development processes by J. May,
P. Hall, H. Zhu, T. Cockram, N. Bird and L. Winsborrow 165
Single Transferable Vote: a case study of the use of VDM SL by
P. Mukherjee and B.A. Wichmann 183
Mathematics of computation for (Software and other) Engineers
by D.L. Parnas 209
Formal demonstration of equivalence of source code and PROM
contents: an industrial example by D.J. Pavey and
L.A. Winsborrow 225
Uses and misuses of formal methods in computer security by
C.P. Pfleeger 249
X
Logical methods in the formal verification of safety critical
software by C. Pulley and G.V. Conroy 257
Understanding software test adequacy an axiomatic and
measurement theory approach by H. Zhu, P.A.V. Hall and
J.H.R. May 275 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV010423214 |
| 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 1993 ST 130 |
| classification_tum | DAT 286f |
| ctrlnum | (OCoLC)636896200 (DE-599)BVBBV010423214 |
| 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>00000nam a2200000 cb4500</leader><controlfield tag="001">BV010423214</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19951129</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">951011s1995 d||| |||| 10||| engod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0198534914</subfield><subfield code="9">0-19-853491-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)636896200</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010423214</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-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-11</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">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 1993</subfield><subfield code="0">(DE-625)143430:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 286f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mathematics of dependable systems</subfield><subfield code="b">based on the proceedings of a conference on mathematics of dependable systems, organized by the Institute of Mathematics and its Applications and held at Royal Holloway, University of London, in September 1993</subfield><subfield code="c">ed. by Chris Mitchell ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford</subfield><subfield code="b">Clarendon Press</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 295 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="490" ind1="1" ind2=" "><subfield code="a">Institute of Mathematics and Its Applications: [The Institute of Mathematics and its Applications conference series / New series]</subfield><subfield code="v">55</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Architecture des ordinateurs</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Modèles mathématiques - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ordinateurs - Architecture - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ordinateurs - Fiabilité - Modèles mathématiques - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematisches Modell</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Reliability</subfield><subfield code="x">Mathematical models</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic digital computers</subfield><subfield code="x">Reliability</subfield><subfield code="x">Mathematical models</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenverarbeitungssystem</subfield><subfield code="0">(DE-588)4125229-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zuverlässigkeitstheorie</subfield><subfield code="0">(DE-588)4195525-0</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">1993</subfield><subfield code="z">Egham</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Datenverarbeitungssystem</subfield><subfield code="0">(DE-588)4125229-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Zuverlässigkeitstheorie</subfield><subfield code="0">(DE-588)4195525-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mitchell, Chris</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Conference on Mathematics of Dependable Systems</subfield><subfield code="n">1</subfield><subfield code="d">1993</subfield><subfield code="c">London</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1233344-X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">New series]</subfield><subfield code="t">Institute of Mathematics and Its Applications: [<<The>> Institute of Mathematics and its Applications conference series</subfield><subfield code="v">55</subfield><subfield code="w">(DE-604)BV002802287</subfield><subfield code="9">55</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ 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=006944150&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-006944150</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1993 Egham gnd-content |
| genre_facet | Konferenzschrift 1993 Egham |
| id | DE-604.BV010423214 |
| illustrated | Illustrated |
| indexdate | 2024-08-01T00:27:36Z |
| institution | BVB |
| institution_GND | (DE-588)1233344-X |
| isbn | 0198534914 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006944150 |
| oclc_num | 636896200 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-634 DE-11 |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-634 DE-11 |
| physical | XII, 295 S. graph. Darst. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Clarendon Press |
| record_format | marc |
| series2 | Institute of Mathematics and Its Applications: [The Institute of Mathematics and its Applications conference series / New series] |
| spelling | Mathematics of dependable systems based on the proceedings of a conference on mathematics of dependable systems, organized by the Institute of Mathematics and its Applications and held at Royal Holloway, University of London, in September 1993 ed. by Chris Mitchell ... Oxford Clarendon Press 1995 XII, 295 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Institute of Mathematics and Its Applications: [The Institute of Mathematics and its Applications conference series / New series] 55 Architecture des ordinateurs ram Modèles mathématiques - Congrès ram Ordinateurs - Architecture - Congrès ram Ordinateurs - Fiabilité - Modèles mathématiques - Congrès ram Mathematisches Modell Computer software Reliability Mathematical models Congresses Electronic digital computers Reliability Mathematical models Congresses Datenverarbeitungssystem (DE-588)4125229-9 gnd rswk-swf Zuverlässigkeitstheorie (DE-588)4195525-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1993 Egham gnd-content Datenverarbeitungssystem (DE-588)4125229-9 s Zuverlässigkeitstheorie (DE-588)4195525-0 s DE-604 Mitchell, Chris Sonstige oth Conference on Mathematics of Dependable Systems 1 1993 London Sonstige (DE-588)1233344-X oth New series] Institute of Mathematics and Its Applications: [<<The>> Institute of Mathematics and its Applications conference series 55 (DE-604)BV002802287 55 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006944150&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Mathematics of dependable systems based on the proceedings of a conference on mathematics of dependable systems, organized by the Institute of Mathematics and its Applications and held at Royal Holloway, University of London, in September 1993 Architecture des ordinateurs ram Modèles mathématiques - Congrès ram Ordinateurs - Architecture - Congrès ram Ordinateurs - Fiabilité - Modèles mathématiques - Congrès ram Mathematisches Modell Computer software Reliability Mathematical models Congresses Electronic digital computers Reliability Mathematical models Congresses Datenverarbeitungssystem (DE-588)4125229-9 gnd Zuverlässigkeitstheorie (DE-588)4195525-0 gnd |
| subject_GND | (DE-588)4125229-9 (DE-588)4195525-0 (DE-588)1071861417 |
| title | Mathematics of dependable systems based on the proceedings of a conference on mathematics of dependable systems, organized by the Institute of Mathematics and its Applications and held at Royal Holloway, University of London, in September 1993 |
| title_auth | Mathematics of dependable systems based on the proceedings of a conference on mathematics of dependable systems, organized by the Institute of Mathematics and its Applications and held at Royal Holloway, University of London, in September 1993 |
| title_exact_search | Mathematics of dependable systems based on the proceedings of a conference on mathematics of dependable systems, organized by the Institute of Mathematics and its Applications and held at Royal Holloway, University of London, in September 1993 |
| title_full | Mathematics of dependable systems based on the proceedings of a conference on mathematics of dependable systems, organized by the Institute of Mathematics and its Applications and held at Royal Holloway, University of London, in September 1993 ed. by Chris Mitchell ... |
| title_fullStr | Mathematics of dependable systems based on the proceedings of a conference on mathematics of dependable systems, organized by the Institute of Mathematics and its Applications and held at Royal Holloway, University of London, in September 1993 ed. by Chris Mitchell ... |
| title_full_unstemmed | Mathematics of dependable systems based on the proceedings of a conference on mathematics of dependable systems, organized by the Institute of Mathematics and its Applications and held at Royal Holloway, University of London, in September 1993 ed. by Chris Mitchell ... |
| title_short | Mathematics of dependable systems |
| title_sort | mathematics of dependable systems based on the proceedings of a conference on mathematics of dependable systems organized by the institute of mathematics and its applications and held at royal holloway university of london in september 1993 |
| title_sub | based on the proceedings of a conference on mathematics of dependable systems, organized by the Institute of Mathematics and its Applications and held at Royal Holloway, University of London, in September 1993 |
| topic | Architecture des ordinateurs ram Modèles mathématiques - Congrès ram Ordinateurs - Architecture - Congrès ram Ordinateurs - Fiabilité - Modèles mathématiques - Congrès ram Mathematisches Modell Computer software Reliability Mathematical models Congresses Electronic digital computers Reliability Mathematical models Congresses Datenverarbeitungssystem (DE-588)4125229-9 gnd Zuverlässigkeitstheorie (DE-588)4195525-0 gnd |
| topic_facet | Architecture des ordinateurs Modèles mathématiques - Congrès Ordinateurs - Architecture - Congrès Ordinateurs - Fiabilité - Modèles mathématiques - Congrès Mathematisches Modell Computer software Reliability Mathematical models Congresses Electronic digital computers Reliability Mathematical models Congresses Datenverarbeitungssystem Zuverlässigkeitstheorie Konferenzschrift 1993 Egham |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006944150&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV002802287 |
| work_keys_str_mv | AT mitchellchris mathematicsofdependablesystemsbasedontheproceedingsofaconferenceonmathematicsofdependablesystemsorganizedbytheinstituteofmathematicsanditsapplicationsandheldatroyalhollowayuniversityoflondoninseptember1993 AT conferenceonmathematicsofdependablesystemslondon mathematicsofdependablesystemsbasedontheproceedingsofaconferenceonmathematicsofdependablesystemsorganizedbytheinstituteofmathematicsanditsapplicationsandheldatroyalhollowayuniversityoflondoninseptember1993 |