Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer International Publishing
2015
|
| Schriftenreihe: | Lecture Notes in Computer Science
8979 |
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (VIII, 189 p. 74 illus) |
| ISBN: | 9783319174044 9783319174037 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-17404-4 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042544548 | ||
| 003 | DE-604 | ||
| 005 | 20150513 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150506s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319174044 |c Online |9 978-3-319-17404-4 | ||
| 020 | |a 9783319174037 |c Print |9 978-3-319-17403-7 | ||
| 024 | 7 | |a 10.1007/978-3-319-17404-4 |2 doi | |
| 035 | |a (OCoLC)908701396 | ||
| 035 | |a (DE-599)BVBBV042544548 | ||
| 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-M347 |a DE-573 |a DE-859 |a DE-703 |a DE-473 |a DE-29 |a DE-706 |a DE-20 |a DE-739 |a DE-92 |a DE-634 |a DE-860 |a DE-861 |a DE-355 | ||
| 082 | 0 | |a 005.1015113 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Structured Object-Oriented Formal Language and Method |b 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers |c edited by Shaoying Liu, Zhenhua Duan |
| 264 | 1 | |a Cham |b Springer International Publishing |c 2015 | |
| 300 | |a 1 Online-Ressource (VIII, 189 p. 74 illus) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 8979 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Logic design | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Informatik | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Liu, Shaoying |d 1960- |e Sonstige |0 (DE-588)128995440 |4 oth | |
| 711 | 2 | |a SOFL+MSVL |n 4. |d 2014 |c Luxemburg |j Sonstige |0 (DE-588)1070943738 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 8979 |w (DE-604)BV014880109 |9 8979 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-17404-4 |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=027978554&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=027978554&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2015 | |
| 940 | 1 | |q ZDB-2-LNC_2015 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027978554 | ||
Datensatz im Suchindex
| _version_ | 1804153310242930688 |
|---|---|
| adam_text | STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD
/ LIU, SHAOYING
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
TESTING AND INSPECTION
AN IMPLEMENTATION FRAMEWORK FOR OPTIMIZING TEST CASE GENERATION USING
MODEL CHECKING
APPLYING GA WITH TABU LIST FOR AUTOMATICALLY GENERATING TEST CASES BASED
ON FORMAL SPECIFICATION
DEVELOPMENT OF A SOFTWARE TOOL TO SUPPORT TRACEABILITY-BASED INSPECTION
OF SOFL SPECIFICATIONS
MODEL CHECKING AND ANIMATION
UNIFIED BOUNDED MODEL CHECKING FOR MSVL
AN OVER-APPROXIMATION FORWARD ANALYSIS FOR NESTED TIMED AUTOMATA
ADOPTING VARIABLE DEPENDENCY IN ANIMATION FOR PRESENTING THE BEHAVIOUR
OF PROCESS
EDUCATION AND VERIFICATION
USING ALLOY IN INTRODUCTORY COURSES OF FORMAL METHODS
AUTOMATIC VERIFICATION FOR LATER-CORRESPONDENCE OF SECURITY PROTOCOLS
COMBINING SEPARATION LOGIC AND PROJECTION TEMPORAL LOGIC TO REASON ABOUT
NON-BLOCKING CONCURRENCY
SEMANTICS AND ANALYSIS FORMAL SEMANTICS OF ORC BASED ON TLATH
INCREMENTAL POINTS-TO ANALYSIS FOR JAVA VIA EDIT PROPAGATION
A MEMORY MANAGEMENT MECHANISM FOR MSVL.
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD
/ LIU, SHAOYING
: 2015
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE THOROUGHLY REFEREED POST-WORKSHOP PROCEEDINGS
OF THE 4TH INTERNATIONAL WORKSHOP ON STRUCTURED OBJECT-ORIENTED FORMAL
LANGUAGE AND METHOD, SOFL+MSVL 2014, HELD IN LUXEMBOURG, LUXEMBOURG, IN
NOVEMBER 2014. THE 12 PAPERS PRESENTED IN THIS VOLUME WERE CAREFULLY
REVIEWED AND SELECTED FROM 20 SUBMISSIONS. THEY ARE ORGANIZED IN TOPICAL
SECTIONS ON TESTING AND INSPECTION; MODEL CHECKING AND ANIMATION;
EDUCATION AND VERIFICATION; AND SEMANTICS AND ANALYSIS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author_GND | (DE-588)128995440 |
| building | Verbundindex |
| bvnumber | BV042544548 |
| classification_tum | DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)908701396 (DE-599)BVBBV042544548 |
| 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-17404-4 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02606nmm a2200541zcb4500</leader><controlfield tag="001">BV042544548</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150513 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150506s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319174044</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-17404-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319174037</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-17403-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-17404-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)908701396</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042544548</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-M347</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-29</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-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">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Structured Object-Oriented Formal Language and Method</subfield><subfield code="b">4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers</subfield><subfield code="c">edited by Shaoying Liu, Zhenhua Duan</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 (VIII, 189 p. 74 illus)</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">8979</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</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="700" ind1="1" ind2=" "><subfield code="a">Liu, Shaoying</subfield><subfield code="d">1960-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)128995440</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">SOFL+MSVL</subfield><subfield code="n">4.</subfield><subfield code="d">2014</subfield><subfield code="c">Luxemburg</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1070943738</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">8979</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8979</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-17404-4</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=027978554&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=027978554&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><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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027978554</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV042544548 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:24:34Z |
| institution | BVB |
| institution_GND | (DE-588)1070943738 |
| isbn | 9783319174044 9783319174037 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027978554 |
| oclc_num | 908701396 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 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-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (VIII, 189 p. 74 illus) |
| 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 | Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers edited by Shaoying Liu, Zhenhua Duan Cham Springer International Publishing 2015 1 Online-Ressource (VIII, 189 p. 74 illus) txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 8979 0302-9743 Computer science Software engineering Logic design Computer Science Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Informatik (DE-588)1071861417 Konferenzschrift gnd-content Liu, Shaoying 1960- Sonstige (DE-588)128995440 oth SOFL+MSVL 4. 2014 Luxemburg Sonstige (DE-588)1070943738 oth Lecture Notes in Computer Science 8979 (DE-604)BV014880109 8979 https://doi.org/10.1007/978-3-319-17404-4 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027978554&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=027978554&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers Lecture Notes in Computer Science Computer science Software engineering Logic design Computer Science Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Informatik |
| subject_GND | (DE-588)1071861417 |
| title | Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers |
| title_auth | Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers |
| title_exact_search | Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers |
| title_full | Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers edited by Shaoying Liu, Zhenhua Duan |
| title_fullStr | Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers edited by Shaoying Liu, Zhenhua Duan |
| title_full_unstemmed | Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers edited by Shaoying Liu, Zhenhua Duan |
| title_short | Structured Object-Oriented Formal Language and Method |
| title_sort | structured object oriented formal language and method 4th international workshop sofl msvl 2014 luxembourg luxembourg november 6 2014 revised selected papers |
| title_sub | 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers |
| topic | Computer science Software engineering Logic design Computer Science Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Informatik |
| topic_facet | Computer science Software engineering Logic design Computer Science Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Informatik Konferenzschrift |
| url | https://doi.org/10.1007/978-3-319-17404-4 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027978554&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=027978554&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT liushaoying structuredobjectorientedformallanguageandmethod4thinternationalworkshopsoflmsvl2014luxembourgluxembourgnovember62014revisedselectedpapers AT soflmsvlluxemburg structuredobjectorientedformallanguageandmethod4thinternationalworkshopsoflmsvl2014luxembourgluxembourgnovember62014revisedselectedpapers |