Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Cham
Springer International Publishing
2015
|
| Series: | Lecture Notes in Computer Science
8938 |
| Subjects: | |
| Online Access: | Volltext Abstract Inhaltsverzeichnis |
| Physical Description: | 1 Online-Ressource (XXVII, 405 p.) Ill. |
| ISBN: | 9783319152011 9783319152004 |
| DOI: | 10.1007/978-3-319-15201-1 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042326114 | ||
| 003 | DE-604 | ||
| 005 | 20150716 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150204s2015 xx a||| o|||| 10||| eng d | ||
| 020 | |a 9783319152011 |c Online |9 978-3-319-15201-1 | ||
| 020 | |a 9783319152004 |c Print |9 978-3-319-15200-4 | ||
| 024 | 7 | |a 10.1007/978-3-319-15201-1 |2 doi | |
| 035 | |a (OCoLC)903126009 | ||
| 035 | |a (DE-599)BVBBV042326114 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-384 |a DE-Aug4 |a DE-573 |a DE-859 |a DE-703 |a DE-473 |a DE-706 |a DE-20 |a DE-739 |a DE-92 |a DE-M347 |a DE-29 |a DE-634 |a DE-860 |a DE-861 |a DE-355 | ||
| 082 | 0 | |a 005.1015113 |2 23 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a ST 240 |0 (DE-625)143625: |2 rvk | ||
| 084 | |a DAT 510f |2 stub | ||
| 084 | |a DAT 310f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a DAT 325f |2 stub | ||
| 100 | 1 | |a Canal, Carlos |e Verfasser |0 (DE-588)133123537 |4 aut | |
| 245 | 1 | 0 | |a Software Engineering and Formal Methods |b SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers |c edited by Carlos Canal, Akram Idani |
| 264 | 1 | |a Cham |b Springer International Publishing |c 2015 | |
| 300 | |a 1 Online-Ressource (XXVII, 405 p.) |b Ill. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 8938 | |
| 650 | 0 | 7 | |a Logischer Entwurf |0 (DE-588)4168051-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 Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | 1 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | 2 | |a Logischer Entwurf |0 (DE-588)4168051-0 |D s |
| 689 | 0 | 3 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 711 | 2 | |a SEFM |n 12. |d 2014 |c Grenoble |j Sonstige |0 (DE-588)105796963X |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 8938 |w (DE-604)BV014880109 |9 8938 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-15201-1 |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=027762951&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 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=027762951&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2015 | |
| 940 | 1 | |q ZDB-2-LNC_2015 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027762951 | |
Record in the Search Index
| _version_ | 1820875648369950720 |
|---|---|
| adam_text |
SOFTWARE ENGINEERING AND FORMAL METHODS
/ CANAL, CARLOS
: 2015
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES REVISED SELECTED PAPERS FROM THE WORKSHOPS
COLLOCATED WITH THE SEFM 2014 CONFERENCE ON SOFTWARE ENGINEERING AND
FORMAL METHODS, HELD IN GRENOBLE, FRANCE, IN SEPTEMBER 2014. THE 26
PAPERS INCLUDED IN THIS VOLUME WERE CAREFULLY REVIEWED AND SELECTED FROM
49 SUBMISSIONS. THEY ARE FROM THE FOLLOWING WORKSHOPS: THE 1ST WORKSHOP
ON HUMAN-ORIENTED FORMAL METHODS - FROM READABILITY TO AUTOMATION, HOFM
2014, THE 3RD INTERNATIONAL SYMPOSIUM ON MODELLING AND KNOWLEDGE
MANAGEMENT APPLICATIONS - SYSTEMS AND DOMAINS, MOKMASD 2014, THE 8TH
INTERNATIONAL WORKSHOP ON FOUNDATIONS AND TECHNIQUES FOR OPEN SOURCE
SOFTWARE CERTIFICATION, OPEN CERT 2014, THE 1ST WORKSHOP ON SAFETY AND
FORMAL METHODS, SAFOME 2014, AND THE 4TH WORKSHOP ON FORMAL METHODS IN
THE DEVELOPMENT OF SOFTWARE, WS-FMDS 2014
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
SOFTWARE ENGINEERING AND FORMAL METHODS
/
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
HOFM 2014
A USABILITY EVALUATION OF INTERACTIVE THEOREM PROVERS USING FOCUS GROUPS
AN APPROACH FOR CREATING DOMAIN SPECIFIC VISUALISATIONS OF CSP MODELS
USING Z IN THE DEVELOPMENT AND MAINTENANCE OF COMPUTATIONAL MODELS OF
REAL-WORLD SYSTEMS
WHEN A FORMAL MODEL RHYMES WITH A GRAPHICAL NOTATION
SAFOME 2014
ON A PROCESS ALGEBRAIC REPRESENTATION OF SEQUENCE DIAGRAMS
MODELLING AND VERIFICATION OF SURVIVABILITY REQUIREMENTS FOR CRITICAL
SYSTEMS
MODEL-BASED VERIFICATION OF SAFETY CONTRACTS
A TESTING-BASED APPROACH TO ENSURE THE SAFETY OF SHARED RESOURCE
CONCURRENT SYSTEMS
A CONTRACTS-BASED FRAMEWORK FOR SYSTEMS MODELING AND EMBEDDED
DIAGNOSTICS
OPENCERT 2014
MODELLING AND VERIFYING SMELL-FREE ARCHITECTURES WITH THE ARCHERY
LANGUAGE
ONTOLIFLOSS: ONTOLOGY FOR LEARNING PROCESSES IN FLOSS COMMUNITIES
PROCESS MINING EVENT LOGS FROM FLOSS DATA: STATE OF THE ART AND
PERSPECTIVES
MOKMASD 2014
A LATENT REPRESENTATION MODEL FOR SENTIMENT ANALYSIS IN HETEROGENEOUS
SOCIAL NETWORKS
USE OF MOBILE PHONE DATA TO ESTIMATE VISITORS MOBILITY FLOWS
AN ABSTRACT STATE MACHINE (ASM) REPRESENTATION OF LEARNING PROCESS IN
FLOSS COMMUNITIES
A MATHEMATICAL MODEL FOR ASSESSING KRAS MUTATION EFFECT ON MONOCLONAL
ANTIBODY TREATMENT OF COLORECTAL CANCER
SEA-SCALE AGENT-BASED SIMULATOR OF SOLEA SOLEA IN THE ADRIATIC SEA
RESEARCH CHALLENGES IN MODELLING ECOSYSTEMS
RETRIEVING POINTS OF INTEREST FROM HUMAN SYSTEMATIC MOVEMENTS
WS-FMDS 2014
PATH-SENSITIVE RACE DETECTION WITH PARTIAL ORDER REDUCED SYMBOLIC
EXECUTION
PHASE-TYPE APPROXIMATIONS FOR NON-MARKOVIAN SYSTEMS: A CASE STUDY
QUANTITATIVE ANONYMITY EVALUATION OF VOTING PROTOCOLS
SCALABLE VERIFICATION OF MARKOV DECISION PROCESSES
TOWARDS SYNTHESIS OF ATTACK TREES FOR SUPPORTING COMPUTER-AIDED RISK
ANALYSIS
ON GENERATION OF CONTEXT-ABSTRACT PLANS
A COLOURED PETRI NET APPROACH TO MODEL AND ANALYSE STATEFUL WORKFLOWS
BASED ON WS-BPEL AND WSRF.
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| any_adam_object | 1 |
| author | Canal, Carlos |
| author_GND | (DE-588)133123537 |
| author_facet | Canal, Carlos |
| author_role | aut |
| author_sort | Canal, Carlos |
| author_variant | c c cc |
| building | Verbundindex |
| bvnumber | BV042326114 |
| classification_rvk | ST 230 ST 240 |
| classification_tum | DAT 510f DAT 310f DAT 000 DAT 325f |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)903126009 (DE-599)BVBBV042326114 |
| dewey-full | 005.1015113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1015113 |
| dewey-search | 005.1015113 |
| dewey-sort | 15.1015113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-319-15201-1 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV042326114</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150716</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150204s2015 xx a||| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319152011</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-15201-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319152004</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-15200-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-15201-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)903126009</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042326114</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1015113</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 240</subfield><subfield code="0">(DE-625)143625:</subfield><subfield code="2">rvk</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="100" ind1="1" ind2=" "><subfield code="a">Canal, Carlos</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)133123537</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Software Engineering and Formal Methods</subfield><subfield code="b">SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers</subfield><subfield code="c">edited by Carlos Canal, Akram Idani</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XXVII, 405 p.)</subfield><subfield code="b">Ill.</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">8938</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logischer Entwurf</subfield><subfield code="0">(DE-588)4168051-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">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-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="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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="2"><subfield code="a">Logischer Entwurf</subfield><subfield code="0">(DE-588)4168051-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">SEFM</subfield><subfield code="n">12.</subfield><subfield code="d">2014</subfield><subfield code="c">Grenoble</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)105796963X</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">8938</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8938</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-15201-1</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=027762951&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</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=027762951&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</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="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2015</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027762951</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV042326114 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:18:58Z |
| institution | BVB |
| institution_GND | (DE-588)105796963X |
| isbn | 9783319152011 9783319152004 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027762951 |
| oclc_num | 903126009 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-706 DE-20 DE-739 DE-92 DE-M347 DE-29 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-706 DE-20 DE-739 DE-92 DE-M347 DE-29 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XXVII, 405 p.) Ill. |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer International Publishing |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Canal, Carlos Verfasser (DE-588)133123537 aut Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers edited by Carlos Canal, Akram Idani Cham Springer International Publishing 2015 1 Online-Ressource (XXVII, 405 p.) Ill. txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 8938 Logischer Entwurf (DE-588)4168051-0 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Informatik (DE-588)4026894-9 s Software Engineering (DE-588)4116521-4 s Logischer Entwurf (DE-588)4168051-0 s Programmiersprache (DE-588)4047409-4 s DE-604 SEFM 12. 2014 Grenoble Sonstige (DE-588)105796963X oth Lecture Notes in Computer Science 8938 (DE-604)BV014880109 8938 https://doi.org/10.1007/978-3-319-15201-1 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027762951&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Abstract Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027762951&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Canal, Carlos Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers Lecture Notes in Computer Science Logischer Entwurf (DE-588)4168051-0 gnd Software Engineering (DE-588)4116521-4 gnd Informatik (DE-588)4026894-9 gnd Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4168051-0 (DE-588)4116521-4 (DE-588)4026894-9 (DE-588)4047409-4 (DE-588)1071861417 |
| title | Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers |
| title_auth | Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers |
| title_exact_search | Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers |
| title_full | Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers edited by Carlos Canal, Akram Idani |
| title_fullStr | Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers edited by Carlos Canal, Akram Idani |
| title_full_unstemmed | Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers edited by Carlos Canal, Akram Idani |
| title_short | Software Engineering and Formal Methods |
| title_sort | software engineering and formal methods sefm 2014 collocated workshops hofm safome opencert mokmasd ws fmds grenoble france september 1 2 2014 revised selected papers |
| title_sub | SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers |
| topic | Logischer Entwurf (DE-588)4168051-0 gnd Software Engineering (DE-588)4116521-4 gnd Informatik (DE-588)4026894-9 gnd Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Logischer Entwurf Software Engineering Informatik Programmiersprache Konferenzschrift |
| url | https://doi.org/10.1007/978-3-319-15201-1 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027762951&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=027762951&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT canalcarlos softwareengineeringandformalmethodssefm2014collocatedworkshopshofmsafomeopencertmokmasdwsfmdsgrenoblefranceseptember122014revisedselectedpapers AT sefmgrenoble softwareengineeringandformalmethodssefm2014collocatedworkshopshofmsafomeopencertmokmasdwsfmdsgrenoblefranceseptember122014revisedselectedpapers |