Software engineering and formal methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013 ; proceedings
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2013
|
| Schriftenreihe: | Lecture notes in computer science
8137 |
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (XVII,319 S.) graph. Darst. |
| ISBN: | 9783642405617 9783642405600 |
| DOI: | 10.1007/978-3-642-40561-7 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041440761 | ||
| 003 | DE-604 | ||
| 005 | 20140220 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 131125s2013 gw d||| o|||| 10||| eng d | ||
| 020 | |a 9783642405617 |c Online |9 978-3-642-40561-7 | ||
| 020 | |a 9783642405600 |9 978-3-642-40560-0 | ||
| 024 | 7 | |a 10.1007/978-3-642-40561-7 |2 doi | |
| 035 | |a (OCoLC)862134073 | ||
| 035 | |a (DE-599)BVBBV041440761 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-473 |a DE-M347 |a DE-20 |a DE-703 |a DE-Aug4 |a DE-92 |a DE-29 |a DE-859 |a DE-91 |a DE-706 |a DE-739 |a DE-384 |a DE-634 |a DE-355 | ||
| 082 | 0 | |a 004.0151 | |
| 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 Software engineering and formal methods |b 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013 ; proceedings |c Robert M. Hierons ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a 1 Online-Ressource (XVII,319 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 8137 | |
| 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 Programmverifikation |0 (DE-588)4135576-3 |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 Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Anwendungssystem |0 (DE-588)4139375-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Requirements engineering |0 (DE-588)4213997-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2013 |z Madrid |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 Requirements engineering |0 (DE-588)4213997-1 |D s |
| 689 | 0 | 3 | |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 Programmanalyse |0 (DE-588)4175841-9 |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 | |5 DE-604 | |
| 700 | 1 | |a Hierons, Robert M. |e Sonstige |0 (DE-588)17401256X |4 oth | |
| 711 | 2 | |a SEFM |n 11. |d 2013 |c Madrid |j Sonstige |0 (DE-588)1043826637 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 8137 |w (DE-604)BV014880109 |9 8137 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-40561-7 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026887530&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026887530&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-LNC | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-026887530 | |
Datensatz im Suchindex
| _version_ | 1820875539241500672 |
|---|---|
| adam_text |
SOFTWARE ENGINEERING AND FORMAL METHODS
/
: 2013
TABLE OF CONTENTS / INHALTSVERZEICHNIS
VERIFYING MARTE/CCSL MODE BEHAVIORS USING UPPAAL
A TRANSFORMATION APPROACH FOR MULTIFORM TIME REQUIREMENTS
REAL-TIME MIGRATION PROPERTIES OF RTIMOVERIFIED IN UPPAAL
VERIFIED PROTOCOL TO IMPLEMENT MULTI-WAY SYNCHRONISATION AND
INTERLEAVING IN CSP
FROM EXTRACTION OF LOGICAL SPECIFICATIONS TO DEDUCTION-BASED FORMAL
VERIFICATION OF REQUIREMENTS MODELS
MODEL CHECKING OF SECURITY-CRITICAL APPLICATIONS IN A MODEL-DRIVEN
APPROACH
LIFTING VERIFICATION RESULTS FOR PREEMPTION STATEMENTS
RULE-LEVEL VERIFICATION OF GRAPH TRANSFORMATIONS FOR INVARIANTS BASED ON
EDGES’ TRANSITIVE CLOSURE
SOUND SYMBOLIC LINKING IN THE PRESENCE OF PREPROCESSING
INFERRING PHYSICAL UNITS IN B MODELS
A TOOL FOR BEHAVIOUR-BASED DISCOVERY OF APPROXIMATELY MATCHING WEB
SERVICES
A TYPE SYSTEM FOR COMPONENTS
EARLY FAULT DETECTION IN DSLS USING SMT SOLVING AND AUTOMATED DEBUGGING
STATIC DETECTION OF IMPLEMENTATION ERRORS USING FORMAL CODE
SPECIFICATION
COMPOSITIONAL STATIC ANALYSIS FOR IMPLICIT JOIN SYNCHRONIZATION IN A
TRANSACTIONAL SETTING
{LOG} AS A TEST CASE GENERATOR FOR THE TEST TEMPLATE FRAMEWORK
ZERO OVERHEAD RUNTIME MONITORING
RUN-TIME VERIFICATION OF COBOXES
AUTOMATED MEDIATOR SYNTHESIS: COMBINING BEHAVIOURAL AND ONTOLOGICAL
REASONING
PROGRAM TRANSFORMATION BASED ON SYMBOLIC EXECUTION AND DEDUCTION
CONSTRAINT SPECIFICATION AND TEST GENERATION FOR OSEK/VDX-BASED
OPERATING SYSTEMS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
SOFTWARE ENGINEERING AND FORMAL METHODS
/
: 2013
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE11TH INTERNATIONAL
CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2013, HELD
IN MADRID, SPAIN, IN SEPTEMBER 2013. THE 21 FULL PAPERS INCLUDED IN THIS
VOLUME WERE CAREFULLY REVIEWED AND SELECTED FROM 58 SUBMISSIONS. THEY
ARE ORGANIZED IN TOPICAL SECTION ON REAL-TIME SYSTEMS, VERIFICATION,
TYPES AND INFERENCE, STATIC ANALYSIS, TESTING AND RUNTIME VERIFICATION,
AND SYNTHESIS AND TRANSFORMATION
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| any_adam_object | 1 |
| author_GND | (DE-588)17401256X |
| building | Verbundindex |
| bvnumber | BV041440761 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 510f DAT 310f DAT 000 DAT 325f |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)862134073 (DE-599)BVBBV041440761 |
| dewey-full | 004.0151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.0151 |
| dewey-search | 004.0151 |
| dewey-sort | 14.0151 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-642-40561-7 |
| 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">BV041440761</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140220</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">131125s2013 gw d||| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642405617</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-40561-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642405600</subfield><subfield code="9">978-3-642-40560-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-40561-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)862134073</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041440761</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</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">Software engineering and formal methods</subfield><subfield code="b">11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013 ; proceedings</subfield><subfield code="c">Robert M. Hierons ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XVII,319 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">8137</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">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">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">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="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">Requirements engineering</subfield><subfield code="0">(DE-588)4213997-1</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">2013</subfield><subfield code="z">Madrid</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">Requirements engineering</subfield><subfield code="0">(DE-588)4213997-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><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">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">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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hierons, Robert M.</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)17401256X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">SEFM</subfield><subfield code="n">11.</subfield><subfield code="d">2013</subfield><subfield code="c">Madrid</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1043826637</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">8137</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8137</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-40561-7</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=026887530&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=026887530&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026887530</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2013 Madrid gnd-content |
| genre_facet | Konferenzschrift 2013 Madrid |
| id | DE-604.BV041440761 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:17:14Z |
| institution | BVB |
| institution_GND | (DE-588)1043826637 |
| isbn | 9783642405617 9783642405600 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026887530 |
| oclc_num | 862134073 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-634 DE-355 DE-BY-UBR |
| owner_facet | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-634 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XVII,319 S.) graph. Darst. |
| psigel | ZDB-2-SCS ZDB-2-LNC |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Software engineering and formal methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013 ; proceedings Robert M. Hierons ... (eds.) Berlin [u.a.] Springer 2013 1 Online-Ressource (XVII,319 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 8137 Formale Methode (DE-588)4333722-3 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Softwaretest (DE-588)4132652-0 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf Anwendungssystem (DE-588)4139375-2 gnd rswk-swf Requirements engineering (DE-588)4213997-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Madrid gnd-content Software Engineering (DE-588)4116521-4 s Formale Methode (DE-588)4333722-3 s Requirements engineering (DE-588)4213997-1 s Anwendungssystem (DE-588)4139375-2 s DE-604 Programmverifikation (DE-588)4135576-3 s Programmanalyse (DE-588)4175841-9 s Model Checking (DE-588)4434799-6 s Softwaretest (DE-588)4132652-0 s Hierons, Robert M. Sonstige (DE-588)17401256X oth SEFM 11. 2013 Madrid Sonstige (DE-588)1043826637 oth Lecture notes in computer science 8137 (DE-604)BV014880109 8137 https://doi.org/10.1007/978-3-642-40561-7 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026887530&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026887530&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Software engineering and formal methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013 ; proceedings Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Programmanalyse (DE-588)4175841-9 gnd Programmverifikation (DE-588)4135576-3 gnd Model Checking (DE-588)4434799-6 gnd Softwaretest (DE-588)4132652-0 gnd Software Engineering (DE-588)4116521-4 gnd Anwendungssystem (DE-588)4139375-2 gnd Requirements engineering (DE-588)4213997-1 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4175841-9 (DE-588)4135576-3 (DE-588)4434799-6 (DE-588)4132652-0 (DE-588)4116521-4 (DE-588)4139375-2 (DE-588)4213997-1 (DE-588)1071861417 |
| title | Software engineering and formal methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013 ; proceedings |
| title_auth | Software engineering and formal methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013 ; proceedings |
| title_exact_search | Software engineering and formal methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013 ; proceedings |
| title_full | Software engineering and formal methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013 ; proceedings Robert M. Hierons ... (eds.) |
| title_fullStr | Software engineering and formal methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013 ; proceedings Robert M. Hierons ... (eds.) |
| title_full_unstemmed | Software engineering and formal methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013 ; proceedings Robert M. Hierons ... (eds.) |
| title_short | Software engineering and formal methods |
| title_sort | software engineering and formal methods 11th international conference sefm 2013 madrid spain september 25 27 2013 proceedings |
| title_sub | 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013 ; proceedings |
| topic | Formale Methode (DE-588)4333722-3 gnd Programmanalyse (DE-588)4175841-9 gnd Programmverifikation (DE-588)4135576-3 gnd Model Checking (DE-588)4434799-6 gnd Softwaretest (DE-588)4132652-0 gnd Software Engineering (DE-588)4116521-4 gnd Anwendungssystem (DE-588)4139375-2 gnd Requirements engineering (DE-588)4213997-1 gnd |
| topic_facet | Formale Methode Programmanalyse Programmverifikation Model Checking Softwaretest Software Engineering Anwendungssystem Requirements engineering Konferenzschrift 2013 Madrid |
| url | https://doi.org/10.1007/978-3-642-40561-7 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026887530&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026887530&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT hieronsrobertm softwareengineeringandformalmethods11thinternationalconferencesefm2013madridspainseptember25272013proceedings AT sefmmadrid softwareengineeringandformalmethods11thinternationalconferencesefm2013madridspainseptember25272013proceedings |