Formal methods and software engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17 - 19, 2010 ; proceedings
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2010
|
| Schriftenreihe: | Lecture notes in computer science
6447 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Literaturangaben |
| Beschreibung: | 1 Online-Ressource (XIV, 712 S.) graph. Darst. |
| ISBN: | 9783642169007 9783642169014 |
| DOI: | 10.1007/978-3-642-16901-4 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036872542 | ||
| 003 | DE-604 | ||
| 005 | 20110121 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 101217s2010 xx d||| o|||| 10||| eng d | ||
| 020 | |a 9783642169007 |c kart. : EUR 93.09 (DE) (freier Pr.), sfr 125.00 (freier Pr.) |9 978-3-642-16900-7 | ||
| 020 | |a 9783642169014 |c Online |9 978-3-642-16901-4 | ||
| 024 | 7 | |a 10.1007/978-3-642-16901-4 |2 doi | |
| 035 | |a (OCoLC)700527410 | ||
| 035 | |a (DE-599)BVBBV036872542 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-473 |a DE-19 |a DE-91 |a DE-739 |a DE-384 |a DE-M347 |a DE-20 |a DE-703 |a DE-706 |a DE-634 |a DE-355 | ||
| 084 | |a DAT 510f |2 stub | ||
| 084 | |a DAT 310f |2 stub | ||
| 084 | |a DAT 000 |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 ... (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
| 300 | |a 1 Online-Ressource (XIV, 712 S.) |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |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 |
| 653 | |a Paperback / softback | ||
| 653 | |a Research | ||
| 653 | |a BPEL | ||
| 653 | |a Maude | ||
| 653 | |a OWL | ||
| 653 | |a Web services | ||
| 653 | |a algebraic specification | ||
| 653 | |a automata | ||
| 653 | |a automated verification | ||
| 653 | |a automatic translation | ||
| 653 | |a behavioral specification | ||
| 653 | |a bounded model checking | ||
| 653 | |a case analysis | ||
| 653 | |a combined domain | ||
| 653 | |a component-based sysetms | ||
| 653 | |a constraint automata | ||
| 653 | |a decision procedure | ||
| 653 | |a equational theory | ||
| 653 | |a first order logic | ||
| 653 | |a formatl verification | ||
| 653 | |a lightweight formal methods | ||
| 653 | |a model checking | ||
| 653 | |a open systems | ||
| 653 | |a parameterised verification | ||
| 653 | |a performance analysis | ||
| 653 | |a process algebra | ||
| 653 | |a program analysis | ||
| 653 | |a program verificationq | ||
| 653 | |a rewrite theory | ||
| 653 | |a safety-critical systems | ||
| 653 | |a satisfiability | ||
| 653 | |a semantic Web | ||
| 653 | |a semantics | ||
| 653 | |a service composition | ||
| 653 | |a software maintenance | ||
| 653 | |a software quality | ||
| 653 | |a statis program analysis | ||
| 653 | |a structural induction | ||
| 653 | |a symmetry reduction | ||
| 653 | |a temporal logic | ||
| 653 | |a timed automata | ||
| 653 | |a verification | ||
| 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)BV014880109 |9 6447 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-16901-4 |x Verlag |3 Volltext |
| 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 | |
| 912 | |a ZDB-2-LNC | ||
| 912 | |a ZDB-2-SCS | ||
| 940 | 1 | |q UBR Paketkauf 2024 | |
| 940 | 1 | |q ZDB-2-SCS_2010 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020788079 | |
Datensatz im Suchindex
| _version_ | 1821304974839119872 |
|---|---|
| adam_text | |
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV036872542 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 510f DAT 310f DAT 000 DAT 325f |
| collection | ZDB-2-LNC ZDB-2-SCS |
| ctrlnum | (OCoLC)700527410 (DE-599)BVBBV036872542 |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-642-16901-4 |
| format | Electronic Conference Proceeding eBook |
| 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">BV036872542</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110121</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">101217s2010 xx d||| o|||| 10||| eng d</controlfield><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">9783642169014</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-16901-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-16901-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)700527410</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV036872542</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-473</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</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">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</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 ... (ed.)</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">1 Online-Ressource (XIV, 712 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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</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="653" ind1=" " ind2=" "><subfield code="a">Paperback / softback</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Research</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">BPEL</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Maude</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">OWL</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Web services</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">algebraic specification</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">automata</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">automated verification</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">automatic translation</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">behavioral specification</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">bounded model checking</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">case analysis</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">combined domain</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">component-based sysetms</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">constraint automata</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">decision procedure</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">equational theory</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">first order logic</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">formatl verification</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">lightweight formal methods</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">model checking</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">open systems</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">parameterised verification</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">performance analysis</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">process algebra</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">program analysis</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">program verificationq</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">rewrite theory</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">safety-critical systems</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">satisfiability</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">semantic Web</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">semantics</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">service composition</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">software maintenance</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">software quality</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">statis program analysis</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">structural induction</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">symmetry reduction</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">temporal logic</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">timed automata</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">verification</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)BV014880109</subfield><subfield code="9">6447</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-16901-4</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</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="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">UBR Paketkauf 2024</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2010</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020788079</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2010 Schanghai gnd-content |
| genre_facet | Konferenzschrift 2010 Schanghai |
| id | DE-604.BV036872542 |
| illustrated | Illustrated |
| indexdate | 2025-01-15T09:02:56Z |
| institution | BVB |
| institution_GND | (DE-588)16089130-9 |
| isbn | 9783642169007 9783642169014 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020788079 |
| oclc_num | 700527410 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384 DE-M347 DE-20 DE-703 DE-706 DE-634 DE-355 DE-BY-UBR |
| owner_facet | DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384 DE-M347 DE-20 DE-703 DE-706 DE-634 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XIV, 712 S.) graph. Darst. |
| psigel | ZDB-2-LNC ZDB-2-SCS UBR Paketkauf 2024 ZDB-2-SCS_2010 |
| 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 ... (ed.) Berlin [u.a.] Springer 2010 1 Online-Ressource (XIV, 712 S.) graph. Darst. txt rdacontent c rdamedia cr 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 Paperback / softback Research BPEL Maude OWL Web services algebraic specification automata automated verification automatic translation behavioral specification bounded model checking case analysis combined domain component-based sysetms constraint automata decision procedure equational theory first order logic formatl verification lightweight formal methods model checking open systems parameterised verification performance analysis process algebra program analysis program verificationq rewrite theory safety-critical systems satisfiability semantic Web semantics service composition software maintenance software quality statis program analysis structural induction symmetry reduction temporal logic timed automata verification (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)BV014880109 6447 https://doi.org/10.1007/978-3-642-16901-4 Verlag Volltext 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 ... (ed.) |
| 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 ... (ed.) |
| 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 ... (ed.) |
| 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 | https://doi.org/10.1007/978-3-642-16901-4 |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT dongjinsong formalmethodsandsoftwareengineering12thinternationalconferenceonformalengineeringmethodsicfem2010shanghaichinanovember17192010proceedings AT internationalconferenceonformalengineeringmethodsschanghai formalmethodsandsoftwareengineering12thinternationalconferenceonformalengineeringmethodsicfem2010shanghaichinanovember17192010proceedings |