Formal methods and software engineering: 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9 - 12, 2009 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2009
|
| Schriftenreihe: | Lecture notes in computer science
5885 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XIV, 758 S. Ill., graph. Darst. 24 cm |
| ISBN: | 9783642103728 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035842637 | ||
| 003 | DE-604 | ||
| 005 | 20100125 | ||
| 007 | t| | ||
| 008 | 091124s2009 xx ad|| |||| 10||| eng d | ||
| 015 | |a 09,N44,0022 |2 dnb | ||
| 016 | 7 | |a 997433213 |2 DE-101 | |
| 020 | |a 9783642103728 |c kart. : EUR 93.09 (freier Pr.), sfr 135.00 (freier Pr.) |9 978-3-642-10372-8 | ||
| 024 | 3 | |a 9783642103728 | |
| 028 | 5 | 2 | |a 12796106 |
| 035 | |a (OCoLC)471672152 | ||
| 035 | |a (DE-599)DNB997433213 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA76.9.F67 | |
| 082 | 0 | |a 004 | |
| 084 | |a DAT 510f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 310f |2 stub | ||
| 245 | 1 | 0 | |a Formal methods and software engineering |b 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9 - 12, 2009 ; proceedings |c Karin Breitman ... (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2009 | |
| 300 | |a XIV, 758 S. |b Ill., graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 5885 | |
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Programmanalyse - Model Checking - Kongress - Rio de Janeiro <2009> | |
| 650 | 4 | |a Programmtest - Formale Methode - Kongress - Rio de Janeiro <2009> | |
| 650 | 4 | |a Softwareentwicklung - Formale Methode - Kongress - Rio de Janeiro <2009> | |
| 650 | 4 | |a Softwareentwicklung - Verifikation - Formale Methode - Kongress - Rio de Janeiro <2009> | |
| 650 | 4 | |a Systementwicklung - Zuverlässigkeit - Fehlertoleranz - Kongress - Rio de Janeiro <2009> | |
| 650 | 4 | |a Formal methods (Computer science) |v Congresses | |
| 650 | 4 | |a Software engineering |v Congresses | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systementwicklung |0 (DE-588)4126945-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmanalyse |0 (DE-588)4175841-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Model Checking |0 (DE-588)4434799-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwaretest |0 (DE-588)4132652-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Fehlertoleranz |0 (DE-588)4123192-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2009 |z Rio de Janeiro |2 gnd-content | |
| 689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
| 689 | 1 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 2 | 1 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 2 | 2 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Programmanalyse |0 (DE-588)4175841-9 |D s |
| 689 | 3 | 1 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a Systementwicklung |0 (DE-588)4126945-7 |D s |
| 689 | 4 | 1 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |D s |
| 689 | 4 | 2 | |a Fehlertoleranz |0 (DE-588)4123192-2 |D s |
| 689 | 4 | |5 DE-604 | |
| 700 | 1 | |a Breitman, Karin |e Sonstige |4 oth | |
| 711 | 2 | |a International Conference on Formal Engineering Methods |n 11 |d 2009 |c Rio de Janeiro |j Sonstige |0 (DE-588)16048011-5 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 5885 |w (DE-604)BV000000607 |9 5885 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018700909&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-018700909 | |
Datensatz im Suchindex
| _version_ | 1820875190815424512 |
|---|---|
| adam_text |
MAXIMILIANO CRISTIA AND PABLO RODRIGUEZ MONETTI TABLE OF CONTENTS
INVITED PAPERS SEAMLESS MODEL DRIVEN SYSTEMS ENGINEERING BASED ON FORMAL
MODELS 1 MANFRED BROY COMPOSITIONAL VERIFICATION OF INPUT-OUTPUT
CONFORMANCE VIA CSP REFINEMENT CHECKING 20 AUGUSTO SAMPAIO, SIDNEY
NOGUEIRA, AND ALEXANDRE MOTA TESTING I SYMBOLIC QUERY EXPLORATION 49
MARGUS VEANES, PAVEL GRIGORENKO, PELI DE HALLEUX, AND NIKOLAI TILLMANN
EVENT LISTENER ANALYSIS AND SYMBOLIC EXECUTION FOR TESTING GUI
APPLICATIONS 69 SVETOSLAV GANOV, CHIP KILLMAR, SARFRAZ KHURSHID, AND
DEWAYNE E. PERRY AN EMPIRICAL STUDY OF STRUCTURAL CONSTRAINT SOLVING
TECHNIQUES 88 JUNAID HAROON SIDDIQUI AND SARFRAZ KHURSHID PROTOCOLS
IMPROVING AUTOMATIC VERIFICATION OF SECURITY PROTOCOLS WITH XOR 107
XIHUI CHEN, TON VAN DEURSEN, AND JUN PANG MODELING AND VERIFICATION OF
PRIVACY ENHANCING PROTOCOLS 127 SURIADI SURIADI, CHUN OUYANG, JASON
SMITH, AND ERNEST FOO ROLE-BASED SYMMETRY REDUCTION OF FAULT-TOLERANT
DISTRIBUTED PROTOCOLS WITH LANGUAGE SUPPORT 147 PETER BOKOR, MARCO
SERAFINI, NEERAJ SURI, AND HELMUT VEITH TESTING II IMPLEMENTING AND
APPLYING THE STOCKS-CARRINGTON FRAMEWORK FOR MODEL-BASED TESTING 167
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/997433213 DIGITALISIERT
DURCH XII TABLE OF CONTENTS A STATISTICAL APPROACH TO TEST STOCHASTIC
AND PROBABILISTIC SYSTEMS . 186 MERCEDES G. MERAYO, IKSOON HWANG,
MANUEL NUNEZ, AND ANA CAVALLI QUALITATIVE ACTION SYSTEMS 206 BERNHARD K.
AICHERNIG, HARALD BRANDI, AND WILLIBALD KRENN VERIFICATION RAFFS: MODEL
CHECKING A ROBUST ABSTRACT FLASH FILE STORE 226 PAUL TAVERNE AND C.
(KEES) PRONK EUROPEAN TRAIN CONTROL SYSTEM: A CASE STUDY IN FORMAL
VERIFICATION 246 ANDRE PLATZER AND JAN-DAVID QUESEL DEVELOPMENT OF
SECURITY SOFTWARE: A HIGH ASSURANCE METHODOLOGY 266 DAVID HARDIN, T.
DOUGLAS HIRATZKA, D. RANDOLPH JOHNSON, LUCAS WAGNER, AND MICHAEL WHALEN
MODEL CHECKING I BOUNDED SEMANTICS OF CTL AND SAT-BASED VERIFICATION 286
WENHUI ZHANG GRADED-CTL: SATISFIABILITY AND SYMBOLIC MODEL CHECKING 306
ALESSANDRO FERRANTE, MARGHERITA NAPOLI, AND MIMMO PARENTE APPROXIMATE
MODEL CHECKING OF PCTL INVOLVING UNBOUNDED PATH PROPERTIES 326 SAMIK
BASU, ARKA P. GHOSH, AND RU HE OBJECT-ORIENTATION A GRAPH-BASED
OPERATIONAL SEMANTICS OF OO PROGRAMS 347 WEI KE, ZHIMING LIU, SHULING
WANG, AND LIANG ZHAO MODELING AND ANALYSIS OF THREAD-POOLS IN AN
INDUSTRIAL COMMUNICATION PLATFORM 367 FRANK S. DE BOER, IMMO GRABE,
MOHAMMAD MAHDI JAGHOORI, ANDRIES TABLE OF CONTENTS XIII MODEL CHECKING
II A TIME-OPTIMAL ON-THE-FLY PARALLEL ALGORITHM FOR MODEL CHECKING OF
WEAK LTL PROPERTIES 407 JIN BARNAT, LUBOS BRIM, AND PETR ROCKAI SCALABLE
MULTI-CORE MODEL CHECKING FAIRNESS ENHANCED SYSTEMS 426 YANG LIU, JUN
SUN, AND JIN SONG DONG COMBINING STATIC MODEL CHECKING WITH DYNAMIC
ENFORCEMENT USING THE STATECALL POLICY LANGUAGE 446 ANIL MADHAVAPEDDY
EVENT-B SUPPORTING REUSE OF EVENT-B DEVELOPMENTS THROUGH GENERIC
INSTANTIATION 466 RENATO SILVA AND MICHAEL BUTLER A LAZY UNBOUNDED MODEL
CHECKER FOR EVENT-B 485 PAULO J. MATOS, BERND FISCHER, AND JOAEO
MARQUES-SILVA PROOF ASSISTED MODEL CHECKING FOR B 504 JENS BENDISPOSTO
AND MICHAEL LEUSCHEL COMPILATION MACHINE-CHECKED SEQUENCER FOR CRITICAL
EMBEDDED CODE GENERATOR . 521 NASSIMA IZERROUKEN, MARC PANTEL, AND
XAVIER THIRIOUX IMPLEMENTING A DIRECT METHOD FOR CERTIFICATE TRANSLATION
541 GILLES BARTHE, BENJAMIN GREGOIRE, SYLVAIN HERAUD, CESAR KUNZ, AND
ANNE PACALET PROCESS ALGEBRA ALGORITHMIC VERIFICATION WITH MULTIPLE AND
NESTED PARAMETERS 561 ANTTI SIIRTOLA AND JUHA KORTELAINEN VERIFYING
STATEFUL TIMED CSP USING IMPLICIT CLOCKS AND ZONE ABSTRACTIO XIV TABLE
OF CONTENTS REFINEMENT-PRESERVING CO-EVOLUTION 620 THOMAS RUHROTH AND
HEIKE WEHRHEIM ALGEBRAIC SPECIFICATIONS CIRCULAR COINDUCTION WITH
SPECIAL CONTEXTS 639 DOREL LUCANU AND GRIGORE ROSU THE VSE REFINEMENT
METHOD IN HETS 660 MIHAI CODESCU, BRUNO LANGENSTEIN, CHRISTIAN MAEDER,
AND TILL MOSSAKOWSKI REAL-TIME SYSTEMS A COMPOSITIONAL APPROACH ON MODAL
SPECIFICATIONS FOR TIMED SYSTEMS 679 NATHALIE BERTRAND, AXEL LEGAY,
SOPHIE PINCHINAT, AND JEAN-BAPTISTE RACLET AN EFFICIENT TRANSLATION OF
TIMED-ARC PETRI NETS TO NETWORKS OF TIMED AUTOMATA 698 JOAKIM BYG,
KENNETH YRKE J0RGENSEN, AND JIFI SRBA VERIFYING PTOLEMY II
DISCRETE-EVENT MODELS USING REAL-TIME MAUDE 717 KYUNGMIN BAE, PETER
CSABA OLVECZKY, THOMAS HUINING FENG, AND STAVROS TRIPAKIS SPECIFYING AND
VERIFYING BUSINESS PROCESSES USING PPML 737 GERMAN REGIS, NAZARENO
AGUIRRE, AND TOM MAIBAUM AUTHOR INDEX 757 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV035842637 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.F67 |
| callnumber-search | QA76.9.F67 |
| callnumber-sort | QA 276.9 F67 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 510f DAT 310f |
| ctrlnum | (OCoLC)471672152 (DE-599)DNB997433213 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| 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">BV035842637</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100125</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">091124s2009 xx ad|| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N44,0022</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">997433213</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642103728</subfield><subfield code="c">kart. : EUR 93.09 (freier Pr.), sfr 135.00 (freier Pr.)</subfield><subfield code="9">978-3-642-10372-8</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642103728</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12796106</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)471672152</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB997433213</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-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.F67</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 510f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal methods and software engineering</subfield><subfield code="b">11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9 - 12, 2009 ; proceedings</subfield><subfield code="c">Karin Breitman ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 758 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield><subfield code="c">24 cm</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">Lecture notes in computer science</subfield><subfield code="v">5885</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmanalyse - Model Checking - Kongress - Rio de Janeiro <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmtest - Formale Methode - Kongress - Rio de Janeiro <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Softwareentwicklung - Formale Methode - Kongress - Rio de Janeiro <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Softwareentwicklung - Verifikation - Formale Methode - Kongress - Rio de Janeiro <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systementwicklung - Zuverlässigkeit - Fehlertoleranz - Kongress - Rio de Janeiro <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal methods (Computer science)</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Fehlertoleranz</subfield><subfield code="0">(DE-588)4123192-2</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">2009</subfield><subfield code="z">Rio de Janeiro</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2="1"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2="2"><subfield code="a">Fehlertoleranz</subfield><subfield code="0">(DE-588)4123192-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Breitman, Karin</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Conference on Formal Engineering Methods</subfield><subfield code="n">11</subfield><subfield code="d">2009</subfield><subfield code="c">Rio de Janeiro</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16048011-5</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">5885</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5885</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB 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=018700909&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-018700909</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 Rio de Janeiro gnd-content |
| genre_facet | Konferenzschrift 2009 Rio de Janeiro |
| id | DE-604.BV035842637 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:11:42Z |
| institution | BVB |
| institution_GND | (DE-588)16048011-5 |
| isbn | 9783642103728 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018700909 |
| oclc_num | 471672152 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| physical | XIV, 758 S. Ill., graph. Darst. 24 cm |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Formal methods and software engineering 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9 - 12, 2009 ; proceedings Karin Breitman ... (ed.) Berlin [u.a.] Springer 2009 XIV, 758 S. Ill., graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 5885 Literaturangaben Programmanalyse - Model Checking - Kongress - Rio de Janeiro <2009> Programmtest - Formale Methode - Kongress - Rio de Janeiro <2009> Softwareentwicklung - Formale Methode - Kongress - Rio de Janeiro <2009> Softwareentwicklung - Verifikation - Formale Methode - Kongress - Rio de Janeiro <2009> Systementwicklung - Zuverlässigkeit - Fehlertoleranz - Kongress - Rio de Janeiro <2009> Formal methods (Computer science) Congresses Software engineering Congresses Formale Methode (DE-588)4333722-3 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Zuverlässigkeit (DE-588)4059245-5 gnd rswk-swf Systementwicklung (DE-588)4126945-7 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Softwaretest (DE-588)4132652-0 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Fehlertoleranz (DE-588)4123192-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2009 Rio de Janeiro gnd-content Softwareentwicklung (DE-588)4116522-6 s Formale Methode (DE-588)4333722-3 s DE-604 Softwaretest (DE-588)4132652-0 s Verifikation (DE-588)4135577-5 s Programmanalyse (DE-588)4175841-9 s Model Checking (DE-588)4434799-6 s Systementwicklung (DE-588)4126945-7 s Zuverlässigkeit (DE-588)4059245-5 s Fehlertoleranz (DE-588)4123192-2 s Breitman, Karin Sonstige oth International Conference on Formal Engineering Methods 11 2009 Rio de Janeiro Sonstige (DE-588)16048011-5 oth Lecture notes in computer science 5885 (DE-604)BV000000607 5885 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018700909&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Formal methods and software engineering 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9 - 12, 2009 ; proceedings Lecture notes in computer science Programmanalyse - Model Checking - Kongress - Rio de Janeiro <2009> Programmtest - Formale Methode - Kongress - Rio de Janeiro <2009> Softwareentwicklung - Formale Methode - Kongress - Rio de Janeiro <2009> Softwareentwicklung - Verifikation - Formale Methode - Kongress - Rio de Janeiro <2009> Systementwicklung - Zuverlässigkeit - Fehlertoleranz - Kongress - Rio de Janeiro <2009> Formal methods (Computer science) Congresses Software engineering Congresses Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Systementwicklung (DE-588)4126945-7 gnd Programmanalyse (DE-588)4175841-9 gnd Model Checking (DE-588)4434799-6 gnd Softwaretest (DE-588)4132652-0 gnd Verifikation (DE-588)4135577-5 gnd Fehlertoleranz (DE-588)4123192-2 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4116522-6 (DE-588)4059245-5 (DE-588)4126945-7 (DE-588)4175841-9 (DE-588)4434799-6 (DE-588)4132652-0 (DE-588)4135577-5 (DE-588)4123192-2 (DE-588)1071861417 |
| title | Formal methods and software engineering 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9 - 12, 2009 ; proceedings |
| title_auth | Formal methods and software engineering 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9 - 12, 2009 ; proceedings |
| title_exact_search | Formal methods and software engineering 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9 - 12, 2009 ; proceedings |
| title_full | Formal methods and software engineering 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9 - 12, 2009 ; proceedings Karin Breitman ... (ed.) |
| title_fullStr | Formal methods and software engineering 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9 - 12, 2009 ; proceedings Karin Breitman ... (ed.) |
| title_full_unstemmed | Formal methods and software engineering 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9 - 12, 2009 ; proceedings Karin Breitman ... (ed.) |
| title_short | Formal methods and software engineering |
| title_sort | formal methods and software engineering 11th international conference on formal engineering methods icfem 2009 rio de janeiro brazil december 9 12 2009 proceedings |
| title_sub | 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9 - 12, 2009 ; proceedings |
| topic | Programmanalyse - Model Checking - Kongress - Rio de Janeiro <2009> Programmtest - Formale Methode - Kongress - Rio de Janeiro <2009> Softwareentwicklung - Formale Methode - Kongress - Rio de Janeiro <2009> Softwareentwicklung - Verifikation - Formale Methode - Kongress - Rio de Janeiro <2009> Systementwicklung - Zuverlässigkeit - Fehlertoleranz - Kongress - Rio de Janeiro <2009> Formal methods (Computer science) Congresses Software engineering Congresses Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Systementwicklung (DE-588)4126945-7 gnd Programmanalyse (DE-588)4175841-9 gnd Model Checking (DE-588)4434799-6 gnd Softwaretest (DE-588)4132652-0 gnd Verifikation (DE-588)4135577-5 gnd Fehlertoleranz (DE-588)4123192-2 gnd |
| topic_facet | Programmanalyse - Model Checking - Kongress - Rio de Janeiro <2009> Programmtest - Formale Methode - Kongress - Rio de Janeiro <2009> Softwareentwicklung - Formale Methode - Kongress - Rio de Janeiro <2009> Softwareentwicklung - Verifikation - Formale Methode - Kongress - Rio de Janeiro <2009> Systementwicklung - Zuverlässigkeit - Fehlertoleranz - Kongress - Rio de Janeiro <2009> Formal methods (Computer science) Congresses Software engineering Congresses Formale Methode Softwareentwicklung Zuverlässigkeit Systementwicklung Programmanalyse Model Checking Softwaretest Verifikation Fehlertoleranz Konferenzschrift 2009 Rio de Janeiro |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018700909&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT breitmankarin formalmethodsandsoftwareengineering11thinternationalconferenceonformalengineeringmethodsicfem2009riodejaneirobrazildecember9122009proceedings AT internationalconferenceonformalengineeringmethodsriodejaneiro formalmethodsandsoftwareengineering11thinternationalconferenceonformalengineeringmethodsicfem2009riodejaneirobrazildecember9122009proceedings |