Eintrag weiter verarbeiten
Online-Ressource

Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

Gespeichert in:

Personen und Körperschaften: Liu, Shaoying (VerfasserIn)
Titel: Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers/ edited by Shaoying Liu
Format: E-Book Konferenzbericht
Sprache: Englisch
veröffentlicht:
Berlin, Heidelberg Springer 2013
Gesamtaufnahme: SpringerLink
Lecture notes in computer science ; 7787
Schlagwörter:
Computer Communication Networks
Logic design
Computer Science
Computer science
Software engineering
Compilers (Computer programs).
Machine theory.
Computer programming.
Computer networks .
Konferenzschrift > 2012 > Kioto
Konferenzschrift
Druckausg.: Structured object-oriented formal language and method, Berlin : Springer, 2013, X, 147 S.
Quelle: Verbunddaten SWB
Zugangsinformationen: Elektronischer Volltext - Campuslizenz
LEADER 06130cam a22013332 4500
001 0-1652993517
003 DE-627
005 20240122104916.0
007 cr uuu---uuuuu
008 130911s2013 gw |||||o 00| ||eng c
020 |a 9783642392771  |9 978-3-642-39277-1 
024 7 |a 10.1007/978-3-642-39277-1  |2 doi 
035 |a (DE-627)1652993517 
035 |a (DE-576)393379817 
035 |a (DE-599)BSZ393379817 
035 |a (OCoLC)859539285 
035 |a (DE-He213)978-3-642-39277-1 
035 |a (EBP)040549550 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
041 |a eng 
044 |c XA-DE  |c XA-DE-BE 
050 0 |a QA76.9.L63  |a QA76.5913  |a QA76.63 
050 0 |a QA76.9.L63 
050 0 |a QA76.5913 
050 0 |a QA76.63 
072 7 |a UM  |2 bicssc 
072 7 |a UYF  |2 bicssc 
072 7 |a COM036000  |2 bisacsh 
072 7 |a COM051000  |2 bisacsh 
072 7 |a UYA  |2 bicssc 
084 |a SS 4800  |q SEPA  |2 rvk  |0 (DE-625)rvk/143528: 
084 |a 54.51  |2 bkl 
100 1 |a Liu, Shaoying  |4 aut 
245 1 0 |a Structured Object-Oriented Formal Language and Method  |b Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers  |c edited by Shaoying Liu 
264 1 |a Berlin, Heidelberg  |b Springer  |c 2013 
300 |a Online-Ressource (X, 149 p. 83 illus, online resource) 
336 |a Text  |b txt  |2 rdacontent 
337 |a Computermedien  |b c  |2 rdamedia 
338 |a Online-Ressource  |b cr  |2 rdacarrier 
490 1 |a Lecture Notes in Computer Science  |v 7787 
490 0 |a SpringerLink  |a Bücher 
500 |a Literaturangaben 
505 8 0 |a Testing and toolsTools for specification -- Model checking -- Application and prototyping. 
520 |a This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012. The 10 full papers presented were carefully reviewed and selected for inclusion in this book and address the following topics of interest: testing and tools; tools for specification; model checking; and application and prototyping 
650 0 |a Computer Communication Networks 
650 0 |a Logic design 
650 0 |a Computer Science 
650 0 |a Computer science 
650 0 |a Computer Communication Networks 
650 0 |a Software engineering 
650 0 |a Logic design 
650 0 |a Computer science 
650 0 |a Software engineering 
650 0 |a Compilers (Computer programs). 
650 0 |a Machine theory. 
650 0 |a Computer programming. 
650 0 |a Computer networks . 
655 7 |a Konferenzschrift  |y 2012  |z Kioto  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
655 7 |a Konferenzschrift  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
689 0 0 |D s  |0 (DE-588)4779318-1  |0 (DE-627)387608303  |0 (DE-576)216312809  |a SOFL  |2 gnd 
689 0 1 |D s  |0 (DE-588)4116522-6  |0 (DE-627)104616369  |0 (DE-576)209502258  |a Softwareentwicklung  |2 gnd 
689 0 2 |D s  |0 (DE-588)4132652-0  |0 (DE-627)105686085  |0 (DE-576)209637390  |a Softwaretest  |2 gnd 
689 0 3 |D s  |0 (DE-588)4299725-2  |0 (DE-627)104118490  |0 (DE-576)211020982  |a Formale Spezifikationstechnik  |2 gnd 
689 0 4 |D s  |0 (DE-588)4434799-6  |0 (DE-627)222527455  |0 (DE-576)212412167  |a Model Checking  |2 gnd 
689 0 |5 DE-101 
776 1 |z 9783642392764 
776 0 8 |i Druckausg.  |t Structured object-oriented formal language and method  |d Berlin : Springer, 2013  |h X, 147 S.  |w (DE-627)1607590514  |w (DE-576)401498794  |z 9783642392764  |z 3642392768 
830 0 |a Lecture notes in computer science  |v 7787  |9 7787  |w (DE-627)316228877  |w (DE-576)093890923  |w (DE-600)2018930-8  |x 1611-3349  |7 ns 
856 4 0 |u https://doi.org/10.1007/978-3-642-39277-1  |m X:SPRINGER  |x Verlag  |z lizenzpflichtig  |3 Volltext 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-39277-1  |x Resolving-System  |z lizenzpflichtig  |3 Volltext 
856 4 2 |u https://swbplus.bsz-bw.de/bsz393379817cov.jpg  |m V:DE-576  |m X:springer  |q image/jpeg  |v 20150316113426  |3 Cover 
889 |w (DE-627)766670163 
912 |a ZDB-2-LNC  |b 2013 
912 |a ZDB-2-SCS  |b 2013 
912 |a ZDB-2-SEB 
912 |a ZDB-2-SXCS  |b 2013 
912 |a ZDB-2-SEB  |b 2013 
935 |h GBV  |i ExPruef 
936 r v |a SS 4800  |b Lecture notes in computer science  |k Informatik  |k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen  |k Schriftenreihen (indiv. Sign.)  |k Lecture notes in computer science  |0 (DE-627)1271461242  |0 (DE-625)rvk/143528:  |0 (DE-576)201461242 
936 b k |a 54.51  |j Programmiermethodik  |q SEPA  |0 (DE-627)106418122 
951 |a BO 
950 |a Spezifikationstechnik 
950 |a Formale Methode 
950 |a Formale Beschreibungstechnik 
950 |a Algebraische Spezifikation 
950 |a Software 
950 |a Entwicklung 
950 |a Softwareentwurf 
950 |a Programmentwicklung 
950 |a Programmentwurf 
950 |a Software Engineering 
950 |a Programmierung 
950 |a Softwareentwickler 
950 |a Webentwicklung 
950 |a Разработка программного обеспечения 
950 |a Programmtest 
950 |a Testen 
950 |a Programm 
950 |a Modellprüfung 
950 |a Verifikation 
950 |a Structured object-oriented formal language 
950 |a Formale Sprache 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-39277-1  |9 DE-14 
852 |a DE-14  |x epn:3361947200  |z 2013-09-11T10:22:48Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-39277-1  |9 DE-15 
852 |a DE-15  |x epn:3361947235  |z 2013-09-11T10:22:48Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-39277-1  |9 DE-Ch1 
852 |a DE-Ch1  |x epn:3361947278  |z 2013-09-11T10:22:48Z 
976 |h Elektronischer Volltext - Campuslizenz 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-39277-1  |z Zum Online-Dokument  |9 DE-Zi4 
852 |a DE-Zi4  |x epn:3361947308  |z 2013-09-11T10:22:48Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-39277-1  |9 DE-520 
852 |a DE-520  |x epn:3361947332  |z 2013-09-11T10:22:48Z 
980 |a 1652993517  |b 0  |k 1652993517  |o 393379817 
openURL url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=Structured+Object-Oriented+Formal+Language+and+Method%3A+Second+International+Workshop%2C+SOFL+2012%2C+Kyoto%2C+Japan%2C+November+13%2C+2012.+Revised+Selected+Papers&rft.date=2013&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Structured+Object-Oriented+Formal+Language+and+Method%3A+Second+International+Workshop%2C+SOFL+2012%2C+Kyoto%2C+Japan%2C+November+13%2C+2012.+Revised+Selected+Papers&rft.series=Lecture+notes+in+computer+science%2C+7787&rft.au=Liu%2C+Shaoying&rft.pub=Springer&rft.edition=&rft.isbn=3642392776
SOLR
_version_ 1792258620715433984
access_facet Electronic Resources
author Liu, Shaoying
author_facet Liu, Shaoying
author_role aut
author_sort Liu, Shaoying
author_variant s l sl
callnumber-first Q - Science
callnumber-label QA76
callnumber-raw QA76.9.L63 QA76.5913 QA76.63, QA76.9.L63, QA76.5913, QA76.63
callnumber-search QA76.9.L63 QA76.5913 QA76.63, QA76.9.L63, QA76.5913, QA76.63
callnumber-sort QA 276.9 L63 Q A76 45913 Q A76 263
callnumber-subject QA - Mathematics
collection ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
contents Testing and toolsTools for specification -- Model checking -- Application and prototyping., This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012. The 10 full papers presented were carefully reviewed and selected for inclusion in this book and address the following topics of interest: testing and tools; tools for specification; model checking; and application and prototyping
ctrlnum (DE-627)1652993517, (DE-576)393379817, (DE-599)BSZ393379817, (OCoLC)859539285, (DE-He213)978-3-642-39277-1, (EBP)040549550
de15_date 2013-09-11T10:22:48Z
dech1_date 2013-09-11T10:22:48Z
doi_str_mv 10.1007/978-3-642-39277-1
era_facet 2012
facet_912a ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
facet_avail Online
facet_local_del330 SOFL, Softwareentwicklung, Softwaretest, Formale Spezifikationstechnik, Model Checking
finc_class_facet Informatik, Mathematik
fincclass_txtF_mv science-computerscience
footnote Literaturangaben
format eBook, ConferenceProceedings
format_access_txtF_mv Book, E-Book
format_de105 Ebook
format_de14 Book, E-Book
format_de15 Book, E-Book
format_del152 Buch
format_detail_txtF_mv text-online-monograph-independent
format_dezi4 e-Book
format_finc Book, E-Book
format_legacy ElectronicBook
format_legacy_nrw Book, E-Book
format_nrw Book, E-Book
format_strict_txtF_mv E-Book
genre Konferenzschrift 2012 Kioto (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content
genre_facet Konferenzschrift
geogr_code not assigned
geogr_code_person not assigned
geographic_facet Kioto
hierarchy_parent_id 0-316228877
hierarchy_parent_title Lecture notes in computer science
hierarchy_sequence 7787
hierarchy_top_id 0-316228877
hierarchy_top_title Lecture notes in computer science
id 0-1652993517
illustrated Not Illustrated
imprint Berlin, Heidelberg, Springer, 2013
imprint_str_mv Berlin, Heidelberg: Springer, 2013
institution DE-14, DE-Zi4, DE-Ch1, DE-520, DE-15
is_hierarchy_id 0-1652993517
is_hierarchy_title Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
isbn 9783642392771
isbn_isn_mv 9783642392764, 3642392768
issn_isn_mv 1611-3349
kxp_id_str 1652993517
language English
last_indexed 2024-02-29T18:23:32.062Z
local_heading_facet_dezwi2 Computer Communication Networks, Logic design, Computer Science, Computer science, Software engineering, Compilers (Computer programs)., Machine theory., Computer programming., Computer networks ., SOFL, Softwareentwicklung, Softwaretest, Formale Spezifikationstechnik, Model Checking
marc024a_ct_mv 10.1007/978-3-642-39277-1
match_str liu2013structuredobjectorientedformallanguageandmethodsecondinternationalworkshopsofl2012kyotojapannovember132012revisedselectedpapers
mega_collection Verbunddaten SWB
multipart_link 093890923
multipart_part (093890923)7787
oclc_num 859539285
physical Online-Ressource (X, 149 p. 83 illus, online resource)
publishDate 2013
publishDateSort 2013
publishPlace Berlin, Heidelberg
publisher Springer
record_format marcfinc
record_id 393379817
recordtype marcfinc
rsn_id_str_mv (DE-15)3249628
rvk_facet SS 4800
rvk_label Informatik, Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen, Schriftenreihen (indiv. Sign.), Lecture notes in computer science
rvk_path SS, SQ - SU, SS 4000 - SS 5999, SS 4800
rvk_path_str_mv SS, SQ - SU, SS 4000 - SS 5999, SS 4800
series Lecture notes in computer science, 7787
series2 Lecture Notes in Computer Science ; 7787, SpringerLink ; Bücher
source_id 0
spelling Liu, Shaoying aut, Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers edited by Shaoying Liu, Berlin, Heidelberg Springer 2013, Online-Ressource (X, 149 p. 83 illus, online resource), Text txt rdacontent, Computermedien c rdamedia, Online-Ressource cr rdacarrier, Lecture Notes in Computer Science 7787, SpringerLink Bücher, Literaturangaben, Testing and toolsTools for specification -- Model checking -- Application and prototyping., This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012. The 10 full papers presented were carefully reviewed and selected for inclusion in this book and address the following topics of interest: testing and tools; tools for specification; model checking; and application and prototyping, Computer Communication Networks, Logic design, Computer Science, Computer science, Software engineering, Compilers (Computer programs)., Machine theory., Computer programming., Computer networks ., Konferenzschrift 2012 Kioto (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, s (DE-588)4779318-1 (DE-627)387608303 (DE-576)216312809 SOFL gnd, s (DE-588)4116522-6 (DE-627)104616369 (DE-576)209502258 Softwareentwicklung gnd, s (DE-588)4132652-0 (DE-627)105686085 (DE-576)209637390 Softwaretest gnd, s (DE-588)4299725-2 (DE-627)104118490 (DE-576)211020982 Formale Spezifikationstechnik gnd, s (DE-588)4434799-6 (DE-627)222527455 (DE-576)212412167 Model Checking gnd, DE-101, 9783642392764, Druckausg. Structured object-oriented formal language and method Berlin : Springer, 2013 X, 147 S. (DE-627)1607590514 (DE-576)401498794 9783642392764 3642392768, Lecture notes in computer science 7787 7787 (DE-627)316228877 (DE-576)093890923 (DE-600)2018930-8 1611-3349 ns, https://doi.org/10.1007/978-3-642-39277-1 X:SPRINGER Verlag lizenzpflichtig Volltext, http://dx.doi.org/10.1007/978-3-642-39277-1 Resolving-System lizenzpflichtig Volltext, https://swbplus.bsz-bw.de/bsz393379817cov.jpg V:DE-576 X:springer image/jpeg 20150316113426 Cover, (DE-627)766670163, http://dx.doi.org/10.1007/978-3-642-39277-1 DE-14, DE-14 epn:3361947200 2013-09-11T10:22:48Z, http://dx.doi.org/10.1007/978-3-642-39277-1 DE-15, DE-15 epn:3361947235 2013-09-11T10:22:48Z, http://dx.doi.org/10.1007/978-3-642-39277-1 DE-Ch1, DE-Ch1 epn:3361947278 2013-09-11T10:22:48Z, http://dx.doi.org/10.1007/978-3-642-39277-1 Zum Online-Dokument DE-Zi4, DE-Zi4 epn:3361947308 2013-09-11T10:22:48Z, http://dx.doi.org/10.1007/978-3-642-39277-1 DE-520, DE-520 epn:3361947332 2013-09-11T10:22:48Z
spellingShingle Liu, Shaoying, Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers, Lecture notes in computer science, 7787, Testing and toolsTools for specification -- Model checking -- Application and prototyping., This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012. The 10 full papers presented were carefully reviewed and selected for inclusion in this book and address the following topics of interest: testing and tools; tools for specification; model checking; and application and prototyping, Computer Communication Networks, Logic design, Computer Science, Computer science, Software engineering, Compilers (Computer programs)., Machine theory., Computer programming., Computer networks ., Konferenzschrift 2012 Kioto, Konferenzschrift, SOFL, Softwareentwicklung, Softwaretest, Formale Spezifikationstechnik, Model Checking
swb_id_str 393379817
title Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
title_auth Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
title_full Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers edited by Shaoying Liu
title_fullStr Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers edited by Shaoying Liu
title_full_unstemmed Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers edited by Shaoying Liu
title_in_hierarchy 7787. Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers (2013)
title_short Structured Object-Oriented Formal Language and Method
title_sort structured object oriented formal language and method second international workshop sofl 2012 kyoto japan november 13 2012 revised selected papers
title_sub Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
title_unstemmed Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
topic Computer Communication Networks, Logic design, Computer Science, Computer science, Software engineering, Compilers (Computer programs)., Machine theory., Computer programming., Computer networks ., Konferenzschrift 2012 Kioto, Konferenzschrift, SOFL, Softwareentwicklung, Softwaretest, Formale Spezifikationstechnik, Model Checking
topic_facet Computer Communication Networks, Logic design, Computer Science, Computer science, Software engineering, Compilers (Computer programs)., Machine theory., Computer programming., Computer networks ., Konferenzschrift, SOFL, Softwareentwicklung, Softwaretest, Formale Spezifikationstechnik, Model Checking
url https://doi.org/10.1007/978-3-642-39277-1, http://dx.doi.org/10.1007/978-3-642-39277-1, https://swbplus.bsz-bw.de/bsz393379817cov.jpg