Software engineering and formal methods: 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14 - 18, 2011 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2011
|
| Schriftenreihe: | Lecture notes in computer science
7041 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XIV, 504 S. graph. Darst. 24 cm |
| ISBN: | 9783642246890 3642246893 9783642246906 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV039671416 | ||
| 003 | DE-604 | ||
| 005 | 20111212 | ||
| 007 | t| | ||
| 008 | 111102s2011 xx d||| |||| 10||| eng d | ||
| 015 | |a 11,N38 |2 dnb | ||
| 016 | 7 | |a 1015134254 |2 DE-101 | |
| 020 | |a 9783642246890 |c kart. : EUR 74.90 (DE) (freier Pr.), ca. EUR 77.00 (AT) (freier Pr.), ca. sfr 93.50 (freier Pr.) |9 978-3-642-24689-0 | ||
| 020 | |a 3642246893 |9 3-642-24689-3 | ||
| 020 | |a 9783642246906 |c Online |9 978-3-642-24690-6 | ||
| 024 | 3 | |a 9783642246890 | |
| 028 | 5 | 2 | |a Best.-Nr.: 80114647 |
| 035 | |a (OCoLC)761382589 | ||
| 035 | |a (DE-599)DNB1015134254 | ||
| 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 | ||
| 082 | 0 | |a 005.131 |2 22/ger | |
| 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 Software engineering and formal methods |b 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14 - 18, 2011 ; proceedings |c Gilles Barthe ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2011 | |
| 300 | |a XIV, 504 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 7041 | |
| 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 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 Softwarespezifikation |0 (DE-588)4056186-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Anwendungssystem |0 (DE-588)4139375-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2011 |z Montevideo |2 gnd-content | |
| 689 | 0 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | 2 | |a Anwendungssystem |0 (DE-588)4139375-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 1 | 1 | |a Softwarespezifikation |0 (DE-588)4056186-0 |D s |
| 689 | 1 | 2 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 1 | 3 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
| 689 | 1 | 4 | |a Programmanalyse |0 (DE-588)4175841-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Barthe, Gilles |e Sonstige |4 oth | |
| 711 | 2 | |a SEFM |n 9 |d 2011 |c Montevideo |j Sonstige |0 (DE-588)16327691-2 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |t Software Engineering and Formal Methods |
| 830 | 0 | |a Lecture notes in computer science |v 7041 |w (DE-604)BV000000607 |9 7041 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3879800&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=024520557&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-024520557 | |
Datensatz im Suchindex
| _version_ | 1820875356746285056 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
KEYNOTE TALKS FORMAL METHODS IN ENERGY INFORMATICS 1
HOLGER HERMANNS
FORMAL METHODS AS A LINK BETWEEN SOFTWARE CODE AND LEGAL RULES 3 DANIEL
LE METAYER
DEVELOPING MODEL-CHECKING MECHANISMS FOR ASSL: AN EXPERIENCE REPORT 19
EMU VASSEV AND MIKE HINCHEY
MODELS AND COMMUNICATION IN THE POLICY PROCESS 35
MATTEO PEDERCINI
REGULAR PAPERS
DISTRIBUTED IMPLEMENTATION OF SYSTEMS WITH MULTIPARTY INTERACTIONS AND
PRIORITIES 38
IMENE BEN-HAFAIEDH, SUSANNE GRAF, AND NEJLA MAZOUZ
VERIFICATION OF PLC PROPERTIES BASED ON FORMAL SEMANTICS IN COQ 58 JAN
OLAF BLECH AND SIDI OULD BIHA
BROADCAST PSI-CALCULI WITH AN APPLICATION TO WIRELESS PROTOCOLS 74
JOHANNES BORGSTROEM, SHUQIN HUANG, MAGNUS JOHANSSON, PALLE RAABJERG,
BJOERN VICTOR, JOHANNES AMAN POHJOLA, AND JOACHIM PARROW
A FORMALISATION OF JAVA STRINGS FOR PROGRAM SPECIFICATION AND
VERIFICATION 90
RICHARD BUBEL, REINER HA'HNLE, AND ULRICH GEILMANN
DCTL: A BRANCHING TIME TEMPORAL LOGIC FOR FAULT-TOLERANT SYSTEM
VERIFICATION 106
PABLO F. CASTRO, CECILIA KILMURRAY, ARACELI ACOSTA, AND NAZARENO AGUIRRE
A MACHINE-CHECKED FRAMEWORK FOR RELATIONAL SEPARATION LOGIC 122 JUAN
MANUEL CRESPO AND CESAR KUNZ
A DATAFLOW ANALYSIS TO IMPROVE SAT-BASED BOUNDED PROGRAM VERIFICATION
138
BRUNO CUERVO PARRINO, JUAN PABLO GALEOTTI, DIEGO GARBERVETSKY, AND
MARCELO F. FRIAS
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1015134254
DIGITALISIERT DURCH
IMAGE 2
XII TABLE OF CONTENTS
REVERSE HOARE LOGIC 155
EDSKO DE VRIES AND VASILEIOS KOUTAVAS
IMPROVING SAT MODULO ODE FOR HYBRID SYSTEMS ANALYSIS BY COMBINING
DIFFERENT ENCLOSURE METHODS 172
ANDREAS EGGERS, NACIM RAMDANI, NEDIALKO NEDIALKOV, AND MARTIN FRAENZLE
VERIFICATION OF B + TREES: AN EXPERIMENT COMBINING SHAPE ANALYSIS AND
INTERACTIVE THEOREM PROVING 188
GIDON ERNST, GERHARD SCHELLHORN, AND WOLFGANG REIF
RUNTIME VERIFICATION OF COMPONENT-BASED SYSTEMS 204
YLIES FALCONE, MOHAMAD JABER, THANH-HUNG NGUYEN, MARIUS BOZGA, AND
SADDEK BENSALEM
TRANSLATING ALLOY SPECIFICATIONS TO UML CLASS DIAGRAMS ANNOTATED WITH
OCL 221
ANA GARIS, ALCINO CUNHA, AND DANIEL RIESCO
SAFE DISTRIBUTION OF DECLARATIVE PROCESSES 237
THOMAS HILDEBRANDT, RAGHAVA RAO MUKKAMALA, AND TIJS SLAATS
VERIFYING B PROOF RULES USING DEEP EMBEDDING AND AUTOMATED THEOREM
PROVING 253
MELANIE JACQUEL, KARIM BERKANI, DAVID DELAHAYE, AND CATHERINE DUBOIS
HYBRID SPECIFICATION OF REACTIVE SYSTEMS: AN INSTITUTIONAL APPROACH . .
269 ALEXANDRE MADEIRA, JOSE M. FARIA, MANUEL A. MARTINS, AND LUTS S.
BARBOSA
LEVERAGING STATE-BASED USER PREFERENCES IN CONTEXT-AWARE
RECONFIGURATIONS FOR SELF-ADAPTIVE SYSTEMS 286
MARCO MORI, FEI LI, CHRISTOPH DORN, PAOLA INVERARDI, AND SCHAHRAM
DUSTDAR
CONTEXT-BOUNDED MODEL CHECKING OF LTL PROPERTIES FOR ANSI-C SOFTWARE 302
JEREMY MORSE, LUCAS CORDEIRO, DENIS NICOLE, AND BERND FISCHER
MODULAR MODELLING OF SOFTWARE PRODUCT LINES WITH FEATURE NETS 318 RADU
MUSCHEVICI, JOSE PROENCA, AND DAVE CLARKE
IMAGE 3
TABLE OF CONTENTS XIII
SYNCHRONIZING ASYNCHRONOUS CONFORMANCE TESTING 334
NEDA NOROOZI, RAMTIN KHOSRAVI, MOHAMMAD REZA MOUSAVI, AND TIM A.C.
WILLEMSE
USING COQ IN SPECIFICATION AND PROGRAM EXTRACTION OF HADOOP MAPREDUCE
APPLICATIONS 350
KOSUKE ONO, YOICHI HIRAI, YOSHINORI TANABE, NATSUKO NODA, AND MASAMI
HAGIYA
PROMOVER: MODULAR VERIFICATION OF TEMPORAL SAFETY PROPERTIES 366 SIAVASH
SOLEIMANIFARD, DILIAN GUROV, AND MARIEKE HUISMAN
USABLE VERIFICATION OF OBJECT-ORIENTED PROGRAMS BY COMBINING STATIC AND
DYNAMIC TECHNIQUES 382
JULIAN TSCHANNEN, CARLO A. FURIA, MARTIN NORDIO, AND BERTRAND MEYER
SHORT PAPERS
EFFICIENT COMPUTATION OF DOMINANCE IN COMPONENT SYSTEMS (SHORT PAPER)
399
JAAP BOENDER
TOOL PAPERS
THE BOOGIE VERIFICATION DEBUGGER (TOOL PAPER) 407
CLAIRE LE GOUES, K. RUSTAN M. LEINO, AND MICHAL MOSKAL
OBJECT-ORIENTED FORMAL MODELING AND ANALYSIS OF INTERACTING HYBRID
SYSTEMS IN HI-MAUDE 415
MUHAMMAD FADLISYAH, PETER CSABA OLVECZKY, AND ERIKA ABRAHAM
SPECIAL TRACK:
"MODELLING FOR SUSTAINABLE DEVELOPMENT"
TOWARDS AN AGENT-BASED METHODOLOGY FOR DEVELOPING AGRO-ECOSYSTEM
SIMULATIONS 431
JORGE CORRAL AND DANIEL CALEGARI
DEVELOPMENT POLICY ANALYSIS IN MALI: SUSTAINABLE GROWTH P R O S P E C T
S . . . 447 MATTEO PEDERCINI
USING SYSTEM DYNAMICS TO ASSESS THE ROLE OF SOCIO-ECONOMIC STATUS IN
TUBERCULOSIS INCIDENCE 464
MARISA ANALTA SANCHEZ
IMAGE 4
XIV TABLE OF CONTENTS
ENERGY CONSUMPTION AND CO2 EMISSIONS OF BEIJING HEATING SYSTEM: BASED ON
A SYSTEM DYNAMICS MODEL 476
HEFENG TONG AND WEISHUANG QU
A FORMAL APPROACH TO ANALYSING KNOWLEDGE TRANSFER PROCESSES IN
DEVELOPING COUNTRIES 486
JIN TONG, SIRAJ A. SHAIKH, AND ANNE E. JAMES
AUTHOR INDEX 503 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV039671416 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 510f DAT 310f DAT 325f |
| ctrlnum | (OCoLC)761382589 (DE-599)DNB1015134254 |
| dewey-full | 005.131 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.131 005.1 |
| dewey-search | 005.131 005.1 |
| dewey-sort | 15.131 |
| 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">BV039671416</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20111212</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">111102s2011 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N38</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1015134254</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642246890</subfield><subfield code="c">kart. : EUR 74.90 (DE) (freier Pr.), ca. EUR 77.00 (AT) (freier Pr.), ca. sfr 93.50 (freier Pr.)</subfield><subfield code="9">978-3-642-24689-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642246893</subfield><subfield code="9">3-642-24689-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642246906</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-24690-6</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642246890</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80114647</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)761382589</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1015134254</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="082" ind1="0" ind2=" "><subfield code="a">005.131</subfield><subfield code="2">22/ger</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">Software engineering and formal methods</subfield><subfield code="b">9th international conference, SEFM 2011, Montevideo, Uruguay, November 14 - 18, 2011 ; proceedings</subfield><subfield code="c">Gilles Barthe ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 504 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">7041</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">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">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">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">Anwendungssystem</subfield><subfield code="0">(DE-588)4139375-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</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">2011</subfield><subfield code="z">Montevideo</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</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">Anwendungssystem</subfield><subfield code="0">(DE-588)4139375-2</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">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><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="3"><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="4"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Barthe, Gilles</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">SEFM</subfield><subfield code="n">9</subfield><subfield code="d">2011</subfield><subfield code="c">Montevideo</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16327691-2</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="t">Software Engineering and Formal Methods</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7041</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7041</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=3879800&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=024520557&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-024520557</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2011 Montevideo gnd-content |
| genre_facet | Konferenzschrift 2011 Montevideo |
| id | DE-604.BV039671416 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:14:20Z |
| institution | BVB |
| institution_GND | (DE-588)16327691-2 |
| isbn | 9783642246890 3642246893 9783642246906 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024520557 |
| oclc_num | 761382589 |
| 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, 504 S. graph. Darst. 24 cm |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Software engineering and formal methods 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14 - 18, 2011 ; proceedings Gilles Barthe ... (eds.) Berlin [u.a.] Springer 2011 XIV, 504 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 7041 Literaturangaben Formale Methode (DE-588)4333722-3 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Softwaretest (DE-588)4132652-0 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Softwarespezifikation (DE-588)4056186-0 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Anwendungssystem (DE-588)4139375-2 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2011 Montevideo gnd-content Software Engineering (DE-588)4116521-4 s Formale Methode (DE-588)4333722-3 s Anwendungssystem (DE-588)4139375-2 s DE-604 Programmverifikation (DE-588)4135576-3 s Softwarespezifikation (DE-588)4056186-0 s Model Checking (DE-588)4434799-6 s Softwaretest (DE-588)4132652-0 s Programmanalyse (DE-588)4175841-9 s Barthe, Gilles Sonstige oth SEFM 9 2011 Montevideo Sonstige (DE-588)16327691-2 oth Erscheint auch als Online-Ausgabe Software Engineering and Formal Methods Lecture notes in computer science 7041 (DE-604)BV000000607 7041 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3879800&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=024520557&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Software engineering and formal methods 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14 - 18, 2011 ; proceedings Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Programmanalyse (DE-588)4175841-9 gnd Softwaretest (DE-588)4132652-0 gnd Model Checking (DE-588)4434799-6 gnd Softwarespezifikation (DE-588)4056186-0 gnd Programmverifikation (DE-588)4135576-3 gnd Anwendungssystem (DE-588)4139375-2 gnd Software Engineering (DE-588)4116521-4 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4175841-9 (DE-588)4132652-0 (DE-588)4434799-6 (DE-588)4056186-0 (DE-588)4135576-3 (DE-588)4139375-2 (DE-588)4116521-4 (DE-588)1071861417 |
| title | Software engineering and formal methods 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14 - 18, 2011 ; proceedings |
| title_auth | Software engineering and formal methods 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14 - 18, 2011 ; proceedings |
| title_exact_search | Software engineering and formal methods 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14 - 18, 2011 ; proceedings |
| title_full | Software engineering and formal methods 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14 - 18, 2011 ; proceedings Gilles Barthe ... (eds.) |
| title_fullStr | Software engineering and formal methods 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14 - 18, 2011 ; proceedings Gilles Barthe ... (eds.) |
| title_full_unstemmed | Software engineering and formal methods 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14 - 18, 2011 ; proceedings Gilles Barthe ... (eds.) |
| title_short | Software engineering and formal methods |
| title_sort | software engineering and formal methods 9th international conference sefm 2011 montevideo uruguay november 14 18 2011 proceedings |
| title_sub | 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14 - 18, 2011 ; proceedings |
| topic | Formale Methode (DE-588)4333722-3 gnd Programmanalyse (DE-588)4175841-9 gnd Softwaretest (DE-588)4132652-0 gnd Model Checking (DE-588)4434799-6 gnd Softwarespezifikation (DE-588)4056186-0 gnd Programmverifikation (DE-588)4135576-3 gnd Anwendungssystem (DE-588)4139375-2 gnd Software Engineering (DE-588)4116521-4 gnd |
| topic_facet | Formale Methode Programmanalyse Softwaretest Model Checking Softwarespezifikation Programmverifikation Anwendungssystem Software Engineering Konferenzschrift 2011 Montevideo |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3879800&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=024520557&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT barthegilles softwareengineeringandformalmethods9thinternationalconferencesefm2011montevideouruguaynovember14182011proceedings AT sefmmontevideo softwareengineeringandformalmethods9thinternationalconferencesefm2011montevideouruguaynovember14182011proceedings |