Formal methods and software engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17 - 19, 2010 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2010
|
| Schriftenreihe: | Lecture notes in computer science
6447 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XIV, 712 S. graph. Darst. 24 cm |
| ISBN: | 9783642169007 3642169007 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036774895 | ||
| 003 | DE-604 | ||
| 005 | 20110121 | ||
| 007 | t| | ||
| 008 | 101115s2010 xx d||| |||| 10||| eng d | ||
| 015 | |a 10,N41 |2 dnb | ||
| 016 | 7 | |a 1007492775 |2 DE-101 | |
| 020 | |a 9783642169007 |c kart. : EUR 93.09 (DE) (freier Pr.), sfr 125.00 (freier Pr.) |9 978-3-642-16900-7 | ||
| 020 | |a 3642169007 |9 3-642-16900-7 | ||
| 024 | 3 | |a 9783642169007 | |
| 035 | |a (OCoLC)700527410 | ||
| 035 | |a (DE-599)DNB1007492775 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-11 |a DE-91G |a DE-83 |a DE-634 | ||
| 082 | 0 | |a 005.1 |2 22/ger | |
| 084 | |a DAT 510f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 310f |2 stub | ||
| 084 | |a DAT 325f |2 stub | ||
| 245 | 1 | 0 | |a Formal methods and software engineering |b 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17 - 19, 2010 ; proceedings |c Jin Song Dong ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
| 300 | |a XIV, 712 S. |b 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 6447 | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmanalyse |0 (DE-588)4175841-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Entscheidungsverfahren |0 (DE-588)4637781-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Serviceorientierte Architektur |0 (DE-588)4841015-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Leistungsbewertung |0 (DE-588)4167271-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwarespezifikation |0 (DE-588)4056186-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Web Services |0 (DE-588)4691234-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwaretest |0 (DE-588)4132652-0 |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 Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2010 |z Schanghai |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 | 2 | |a Entscheidungsverfahren |0 (DE-588)4637781-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 1 | 1 | |a Programmanalyse |0 (DE-588)4175841-9 |D s |
| 689 | 1 | 2 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
| 689 | 1 | 3 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Serviceorientierte Architektur |0 (DE-588)4841015-9 |D s |
| 689 | 2 | 1 | |a Web Services |0 (DE-588)4691234-4 |D s |
| 689 | 2 | 2 | |a Leistungsbewertung |0 (DE-588)4167271-9 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 3 | 1 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 3 | 2 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 3 | |8 1\p |5 DE-604 | |
| 689 | 4 | 0 | |a Softwarespezifikation |0 (DE-588)4056186-0 |D s |
| 689 | 4 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 4 | |8 2\p |5 DE-604 | |
| 689 | 5 | 0 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
| 689 | 5 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 5 | |8 3\p |5 DE-604 | |
| 700 | 1 | |a Dong, Jin Song |e Sonstige |4 oth | |
| 711 | 2 | |a International Conference on Formal Engineering Methods |n 12 |d 2010 |c Schanghai |j Sonstige |0 (DE-588)16089130-9 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 6447 |w (DE-604)BV000000607 |9 6447 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3547151&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 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=020691668&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020691668 | |
Datensatz im Suchindex
| _version_ | 1820875280255811584 |
|---|---|
| adam_text |
TABLE OF CONTENTS INVITED TALKS FOSTERING PROOF SCORES IN CAFEOBJ 1
KOKICHI FUTATSUGI EXPLOITING PARTIAL SUCCESS IN APPLYING AUTOMATED
FORMAL METHODS (ABSTRACT) 21 MATTHEW B. DWYER MULTICORE EMBEDDED
SYSTEMS: THE TIMING PROBLEM AND POSSIBLE SOLUTIONS (ABSTRACT) 22 WANG YI
THEOREM PROVING AND DECISION PROCEDURES APPLYING PVS BACKGROUND THEORIES
AND PROOF STRATEGIES IN INVARIANT BASED PROGRAMMING 24 JOHANNES ERIKSSON
AND RALPH-JOHAN BACK PROOF OBLIGATION GENERATION AND DISCHARGING FOR
RECURSIVE DEFINITIONS IN VDM 40 AUGUSTO RIBEIRO AND PETER GORM LARSEN
CORRECT-BY-CONSTRUCTION MODEL TRANSFORMATIONS FROM PARTIALLY ORDERED
SPECIFICATIONS IN COQ 56 IMAN POERNOMO AND JEFFREY TERRELL DECISION
PROCEDURES FOR THE TEMPORAL VERIFICATION OF CONCURRENT LISTS 74
ALEJANDRO SANCHEZ AND CESAR SANCHEZ AN IMPROVED DECISION PROCEDURE FOR
PROPOSITIONAL PROJECTION TEMPORAL LOGIC 90 ZHENHUA DUAN AND CONG TIAN
WEB SERVICES AND WORKFLOW A SEMANTIC MODEL FOR SERVICE COMPOSITION WITH
COORDINATION TIME DELAYS 106 NATALLIA KOKASH, BEHNAZ CHANGIZI, AND
FARHAD ARBAB COMPENSABLE WORKFLOW NETS 122 FAZLE RABBI, HAO WANG, AND
WENDY MACCAULL BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1007492775
DIGITALISIERT DURCH XII TABLE OF CONTENTS AUTOMATICALLY TESTING WEB
SERVICES CHOREOGRAPHY WITH ASSERTIONS 138 LEI ZHOU, JING PING, HAO XIAO,
ZHENG WANG, GEGUANG PU, AND ZUOHUA DING APPLYING ORDINARY DIFFERENTIAL
EQUATIONS TO THE PERFORMANCE ANALYSIS OF SERVICE COMPOSITION 155 ZUOHUA
DING, HUI SHEN, AND JING LIU VERIFICATION I VERIFYING HEAP-MANIPULATING
PROGRAMS WITH UNKNOWN PROCEDURE CALLS 171 SHENGCHAO QIN, CHENGUANG LUO,
GUANHUA HE, FLORIN CRACIUN, AND WEI-NGAN CHIN API CONFORMANCE
VERIFICATION FOR JAVA PROGRAMS 188 XIN LI, H. JAMES HOOVER, AND PIOTR
RUDNICKI ASSUME-GUARANTEE REASONING WITH LOCAL SPECIFICATIONS 204
ALESSIO LOMUSCIO, BEN STRULO, NIGEL WALKER, AND PENG WU AUTOMATING
COINDUCTION WITH CASE ANALYSIS 220 EUGEN-IOAN GORIAC, DOREL LUCANU, AND
GRIGORE RO§U APPLICATIONS OF FORMAL METHODS ENHANCED SEMANTIC ACCESS TO
FORMAL SOFTWARE MODELS 237 HAI H. WANG, DANICA DAMLJANOVIC, AND JING SUN
MAKING PATTERN- AND MODEL-BASED SOFTWARE DEVELOPMENT MORE RIGOROUS 253
DENIS HATEBUR AND MARITTA HEISEL PRACTICAL PARAMETERISED SESSION TYPES
270 ANDI BEJLERI A FORMAL VERIFICATION STUDY ON THE ROTTERDAM STORM
SURGE BARRIER . 287 KEN MADLENER, SJAAK SMETSERS, AND MARKO VAN
EEKELEN VERIFICATION II FORMALIZATIO TABLE OF CONTENTS XIII AUTOMATING
CUT-OFF FOR MULTI-PARAMETERIZED SYSTEMS 338 YOUSSEF HANNA, DAVID
SAMUELSON, SAMIK BASU, AND HRIDESH RAJAN METHOD FOR FORMAL VERIFICATION
OF SOFT-ERROR TOLERANCE MECHANISMS IN PIPELINED MICROPROCESSORS 355
MIROSLAV N. VELEV AND PING GAO FORMAL VERIFICATION OF TOKENEER
BEHAVIOURS MODELLED IN FUML USING CSP 371 ISLAM ABDELHALIM, JAMES SHARP,
STEVE SCHNEIDER, AND HELEN TREHARNE PROBABILITY AND CONCURRENCY MODEL
CHECKING HIERARCHICAL PROBABILISTIC SYSTEMS 388 JUN SUN, SONGZHENG SONG,
AND YANG LIU TRACE-DRIVEN VERIFICATION OF MULTITHREADED PROGRAMS 404
ZIJIANG YANG AND KAREM SAKALLAH CLOSED FORM APPROXIMATIONS FOR STEADY
STATE PROBABILITIES OF A CONTROLLED FORK-JOIN NETWORK 420 JONATHAN
BILLINGTON AND GUY EDWARD GALLASCH REASONING ABOUT SAFETY AND PROGRESS
USING CONTRACTS 436 IMENE BEN-HAFAIEDH, SUSANNE GRAF, AND SOPHIE QUINTON
PROGRAM ANALYSIS ABSTRACT PROGRAM SLICING: FROM THEORY TOWARDS AN
IMPLEMENTATION . 452 ISABELLA MASTROENI AND DURICA NIKOLIC LOOP
INVARIANT SYNTHESIS IN A COMBINED DOMAIN 468 SHENGCHAO QIN, GUANHUA HE,
CHENGUANG LUO, AND WEI-NGAN CHIN SOFTWARE METRICS IN STATIC PROGRAM
ANALYSIS 485 ANDREAS VOGELSANG, ANSGAR FEHNKER, RALF HUUCK, AND WOLFGANG
REIF A XIV TABLE OF CONTENTS ON SYMMETRIES AND SPOTLIGHTS - VERIFYING
PARAMETERISED SYSTEMS 534 M/S TIMM AND HEIKE WEHRHEIM A METHODOLOGY FOR
AUTOMATIC DIAGNOSABILITY ANALYSIS 549 JONATHAN EZEKIEL AND ALESSIO
LOMUSCIO MAKING THE RIGHT CUT IN MODEL CHECKING DATA-INTENSIVE TIMED
SYSTEMS 565 RUEDIGER EHLERS, MICHAEL GERKE, AND HANS-JOERG PETER
COMPARISON OF MODEL CHECKING TOOLS FOR INFORMATION SYSTEMS 581 MARC
FRAPPIER, BENOIT FRAIKIN, ROMAIN CHOSSART, RAPHAEL CHANE-YACK-FA, AND
MOHAMMED OUENZAR OBJECT ORIENTATION AND MODEL DRIVEN ENGINEERING A
MODULAR SCHEME FOR DEADLOCK PREVENTION IN AN OBJECT-ORIENTED PROGRAMMING
MODEL 597 SCOTT WEST, SEBASTIAN NANZ, AND BERTRAND MEYER MODEL-DRIVEN
PROTOCOL DESIGN BASED ON COMPONENT ORIENTED MODELING 613 PRABHU SHANKAR
KALIAPPAN, HARTMUT KOENIG, AND SEBASTIAN SCHMERL LAWS OF PATTERN
COMPOSITION 630 HONG ZHU AND IAN BAYLEY DYNAMIC RESOURCE REALLOCATION
BETWEEN DEPLOYMENT COMPONENTS 646 EINAR BROCH JOHNSEN, OLAF OWE, RUDOLF
SCHLOTTE, AND SILVIA LIZETH TAPIA TARIFA SPECIFICATION AND VERIFICATION
A PATTERN SYSTEM TO SUPPORT REFINING INFORMAL IDEAS INTO FORMAL
EXPRESSIONS 662 XI WANG, SHAOYING LIU, AND HUAIKOU MIAO SPECIFICATION
TRANSLATION OF STATE MACHINES FROM EQUATIONAL THEORIES INT |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV036774895 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 510f DAT 310f DAT 325f |
| ctrlnum | (OCoLC)700527410 (DE-599)DNB1007492775 |
| 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">BV036774895</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110121</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">101115s2010 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N41</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1007492775</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642169007</subfield><subfield code="c">kart. : EUR 93.09 (DE) (freier Pr.), sfr 125.00 (freier Pr.)</subfield><subfield code="9">978-3-642-16900-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642169007</subfield><subfield code="9">3-642-16900-7</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642169007</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)700527410</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1007492775</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-11</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">22/ger</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="084" ind1=" " ind2=" "><subfield code="a">DAT 325f</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">12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17 - 19, 2010 ; proceedings</subfield><subfield code="c">Jin Song Dong ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 712 S.</subfield><subfield code="b">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">6447</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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">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">Entscheidungsverfahren</subfield><subfield code="0">(DE-588)4637781-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Serviceorientierte Architektur</subfield><subfield code="0">(DE-588)4841015-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Leistungsbewertung</subfield><subfield code="0">(DE-588)4167271-9</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">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Web Services</subfield><subfield code="0">(DE-588)4691234-4</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">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">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</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">2010</subfield><subfield code="z">Schanghai</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="2"><subfield code="a">Entscheidungsverfahren</subfield><subfield code="0">(DE-588)4637781-5</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">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><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="3"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</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">Serviceorientierte Architektur</subfield><subfield code="0">(DE-588)4841015-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Web Services</subfield><subfield code="0">(DE-588)4691234-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Leistungsbewertung</subfield><subfield code="0">(DE-588)4167271-9</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">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" 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="3" 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="3" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" 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="4" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="5" 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="5" 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="5" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Dong, Jin Song</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">12</subfield><subfield code="d">2010</subfield><subfield code="c">Schanghai</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16089130-9</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">6447</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6447</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3547151&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</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=020691668&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020691668</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2010 Schanghai gnd-content |
| genre_facet | Konferenzschrift 2010 Schanghai |
| id | DE-604.BV036774895 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:13:06Z |
| institution | BVB |
| institution_GND | (DE-588)16089130-9 |
| isbn | 9783642169007 3642169007 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020691668 |
| oclc_num | 700527410 |
| open_access_boolean | |
| owner | DE-706 DE-11 DE-91G DE-BY-TUM DE-83 DE-634 |
| owner_facet | DE-706 DE-11 DE-91G DE-BY-TUM DE-83 DE-634 |
| physical | XIV, 712 S. graph. Darst. 24 cm |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Formal methods and software engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17 - 19, 2010 ; proceedings Jin Song Dong ... (eds.) Berlin [u.a.] Springer 2010 XIV, 712 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6447 Literaturangaben Formale Methode (DE-588)4333722-3 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Entscheidungsverfahren (DE-588)4637781-5 gnd rswk-swf Serviceorientierte Architektur (DE-588)4841015-9 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Leistungsbewertung (DE-588)4167271-9 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Softwarespezifikation (DE-588)4056186-0 gnd rswk-swf Web Services (DE-588)4691234-4 gnd rswk-swf Softwaretest (DE-588)4132652-0 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 Schanghai gnd-content Softwareentwicklung (DE-588)4116522-6 s Formale Methode (DE-588)4333722-3 s Entscheidungsverfahren (DE-588)4637781-5 s DE-604 Programmverifikation (DE-588)4135576-3 s Programmanalyse (DE-588)4175841-9 s Softwaretest (DE-588)4132652-0 s Model Checking (DE-588)4434799-6 s Serviceorientierte Architektur (DE-588)4841015-9 s Web Services (DE-588)4691234-4 s Leistungsbewertung (DE-588)4167271-9 s Verifikation (DE-588)4135577-5 s 1\p DE-604 Softwarespezifikation (DE-588)4056186-0 s 2\p DE-604 3\p DE-604 Dong, Jin Song Sonstige oth International Conference on Formal Engineering Methods 12 2010 Schanghai Sonstige (DE-588)16089130-9 oth Lecture notes in computer science 6447 (DE-604)BV000000607 6447 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3547151&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020691668&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Formal methods and software engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17 - 19, 2010 ; proceedings Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Programmanalyse (DE-588)4175841-9 gnd Entscheidungsverfahren (DE-588)4637781-5 gnd Serviceorientierte Architektur (DE-588)4841015-9 gnd Programmverifikation (DE-588)4135576-3 gnd Leistungsbewertung (DE-588)4167271-9 gnd Softwareentwicklung (DE-588)4116522-6 gnd Softwarespezifikation (DE-588)4056186-0 gnd Web Services (DE-588)4691234-4 gnd Softwaretest (DE-588)4132652-0 gnd Model Checking (DE-588)4434799-6 gnd Verifikation (DE-588)4135577-5 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4175841-9 (DE-588)4637781-5 (DE-588)4841015-9 (DE-588)4135576-3 (DE-588)4167271-9 (DE-588)4116522-6 (DE-588)4056186-0 (DE-588)4691234-4 (DE-588)4132652-0 (DE-588)4434799-6 (DE-588)4135577-5 (DE-588)1071861417 |
| title | Formal methods and software engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17 - 19, 2010 ; proceedings |
| title_auth | Formal methods and software engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17 - 19, 2010 ; proceedings |
| title_exact_search | Formal methods and software engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17 - 19, 2010 ; proceedings |
| title_full | Formal methods and software engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17 - 19, 2010 ; proceedings Jin Song Dong ... (eds.) |
| title_fullStr | Formal methods and software engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17 - 19, 2010 ; proceedings Jin Song Dong ... (eds.) |
| title_full_unstemmed | Formal methods and software engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17 - 19, 2010 ; proceedings Jin Song Dong ... (eds.) |
| title_short | Formal methods and software engineering |
| title_sort | formal methods and software engineering 12th international conference on formal engineering methods icfem 2010 shanghai china november 17 19 2010 proceedings |
| title_sub | 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17 - 19, 2010 ; proceedings |
| topic | Formale Methode (DE-588)4333722-3 gnd Programmanalyse (DE-588)4175841-9 gnd Entscheidungsverfahren (DE-588)4637781-5 gnd Serviceorientierte Architektur (DE-588)4841015-9 gnd Programmverifikation (DE-588)4135576-3 gnd Leistungsbewertung (DE-588)4167271-9 gnd Softwareentwicklung (DE-588)4116522-6 gnd Softwarespezifikation (DE-588)4056186-0 gnd Web Services (DE-588)4691234-4 gnd Softwaretest (DE-588)4132652-0 gnd Model Checking (DE-588)4434799-6 gnd Verifikation (DE-588)4135577-5 gnd |
| topic_facet | Formale Methode Programmanalyse Entscheidungsverfahren Serviceorientierte Architektur Programmverifikation Leistungsbewertung Softwareentwicklung Softwarespezifikation Web Services Softwaretest Model Checking Verifikation Konferenzschrift 2010 Schanghai |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3547151&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020691668&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT dongjinsong formalmethodsandsoftwareengineering12thinternationalconferenceonformalengineeringmethodsicfem2010shanghaichinanovember17192010proceedings AT internationalconferenceonformalengineeringmethodsschanghai formalmethodsandsoftwareengineering12thinternationalconferenceonformalengineeringmethodsicfem2010shanghaichinanovember17192010proceedings |