Eintrag weiter verarbeiten
Online-Ressource

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Gespeichert in:

Personen und Körperschaften: Giachino, Elena (VerfasserIn), Hähnle, Reiner (HerausgeberIn), Boer, Frank S. (HerausgeberIn), Bonsangue, Marcello M. (HerausgeberIn)
Titel: Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures/ edited by Elena Giachino, Reiner Hähnle, Frank S. Boer, Marcello M. Bonsangue
Format: E-Book Konferenzbericht
Sprache: Englisch
veröffentlicht:
Berlin, Heidelberg Springer 2013
Gesamtaufnahme: SpringerLink
Lecture notes in computer science ; 7866
Schlagwörter:
Logic design
Computer Science
Computer science
Software engineering
Machine theory.
Konferenzschrift > 2012 > Bertinoro
Konferenzschrift
Druckausg.: Formal methods for components and objects, Berlin : Springer, 2013, 239 S.
Quelle: Verbunddaten SWB
Zugangsinformationen: Elektronischer Volltext - Campuslizenz
LEADER 06288cam a22012252 4500
001 0-1652995889
003 DE-627
005 20240122104854.0
007 cr uuu---uuuuu
008 130911s2013 gw |||||o 00| ||eng c
020 |a 9783642406157  |9 978-3-642-40615-7 
024 7 |a 10.1007/978-3-642-40615-7  |2 doi 
035 |a (DE-627)1652995889 
035 |a (DE-576)393382583 
035 |a (DE-599)BSZ393382583 
035 |a (OCoLC)857390938 
035 |a (DE-He213)978-3-642-40615-7 
035 |a (EBP)040550877 
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.758 
072 7 |a UMZ  |2 bicssc 
072 7 |a COM051230  |2 bisacsh 
084 |a SS 4800  |q SEPA  |2 rvk  |0 (DE-625)rvk/143528: 
084 |a 54.52  |2 bkl 
100 1 |a Giachino, Elena  |4 aut 
245 1 0 |a Formal Methods for Components and Objects  |b 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures  |c edited by Elena Giachino, Reiner Hähnle, Frank S. Boer, Marcello M. Bonsangue 
264 1 |a Berlin, Heidelberg  |b Springer  |c 2013 
300 |a Online-Ressource (X, 241 p. 125 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 7866 
490 0 |a SpringerLink  |a Bücher 
500 |a Literaturangaben 
505 8 0 |a The Abstract Behavioral Specification Language: A Tutorial IntroductionSubobject-Oriented Programming -- Verification of Open Concurrent Object Systems -- Automatic Inference of Bounds on Resource Consumption -- Separating Cost and Capacity for Load Balancing in ABS Deployment Models -- Composing Distributed Systems: Overcoming the Interoperability Challenge -- Controlling Application Interactions on the Novel Smart Cards with Security-by-Contract -- Formal Aspects of Free and Open Source Software Components. 
520 |a This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems 
650 0 |a Logic design 
650 0 |a Computer Science 
650 0 |a Computer science 
650 0 |a Software engineering 
650 0 |a Logic design 
650 0 |a Computer science 
650 0 |a Software engineering 
650 0 |a Machine theory. 
655 7 |a Konferenzschrift  |y 2012  |z Bertinoro  |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)4116522-6  |0 (DE-627)104616369  |0 (DE-576)209502258  |a Softwareentwicklung  |2 gnd 
689 0 1 |D s  |0 (DE-588)4346172-4  |0 (DE-627)155495984  |0 (DE-576)211474916  |a Objektorientierung  |2 gnd 
689 0 2 |D s  |0 (DE-588)4439521-8  |0 (DE-627)223541931  |0 (DE-576)212455788  |a Komponente  |g Software  |2 gnd 
689 0 3 |D s  |0 (DE-588)4333722-3  |0 (DE-627)148061516  |0 (DE-576)21134253X  |a Formale Methode  |2 gnd 
689 0 |5 DE-101 
700 1 |a Hähnle, Reiner  |e Hrsg.  |4 edt 
700 1 |a Boer, Frank S.  |e Hrsg.  |4 edt 
700 1 |a Bonsangue, Marcello M.  |e Hrsg.  |0 (DE-627)1241175314  |0 (DE-576)17117531X  |4 edt 
776 1 |z 9783642406140 
776 0 8 |i Druckausg.  |t Formal methods for components and objects  |d Berlin : Springer, 2013  |h 239 S.  |w (DE-627)757142990  |w (DE-576)401298558  |z 3642406149  |z 9783642406140 
830 0 |a Lecture notes in computer science  |v 7866  |9 7866  |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-40615-7  |m X:SPRINGER  |x Verlag  |z lizenzpflichtig  |3 Volltext 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-40615-7  |x Resolving-System  |z lizenzpflichtig  |3 Volltext 
856 4 2 |u https://swbplus.bsz-bw.de/bsz393382583cov.jpg  |m V:DE-576  |m X:springer  |q image/jpeg  |v 20150316113341  |3 Cover 
889 |w (DE-627)766672700 
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.52  |j Software engineering  |q SEPA  |0 (DE-627)106418882 
951 |a BO 
900 |a Bonsangue, M. 
900 |a Bonsangue, Marcello 
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 Formales Verfahren 
950 |a Methode 
950 |a Objektorientierter Ansatz 
950 |a Objektorientiert 
950 |a Objektmodell 
950 |a Ориентирование на объект 
950 |a Softwarekomponente 
950 |a Modul 
950 |a Komponentenmodell 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-40615-7  |9 DE-14 
852 |a DE-14  |x epn:336199053X  |z 2013-09-11T10:23:49Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-40615-7  |9 DE-15 
852 |a DE-15  |x epn:3361990564  |z 2013-09-11T10:23:49Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-40615-7  |9 DE-Ch1 
852 |a DE-Ch1  |x epn:3361990602  |z 2013-09-11T10:23:49Z 
976 |h Elektronischer Volltext - Campuslizenz 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-40615-7  |z Zum Online-Dokument  |9 DE-Zi4 
852 |a DE-Zi4  |x epn:3361990637  |z 2013-09-11T10:23:49Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-40615-7  |9 DE-520 
852 |a DE-520  |x epn:3361990661  |z 2013-09-11T10:23:49Z 
980 |a 1652995889  |b 0  |k 1652995889  |o 393382583 
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=Formal+Methods+for+Components+and+Objects%3A+11th+International+Symposium%2C+FMCO+2012%2C+Bertinoro%2C+Italy%2C+September+24-28%2C+2012%2C+Revised+Lectures&rft.date=2013&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Formal+Methods+for+Components+and+Objects%3A+11th+International+Symposium%2C+FMCO+2012%2C+Bertinoro%2C+Italy%2C+September+24-28%2C+2012%2C+Revised+Lectures&rft.series=Lecture+notes+in+computer+science%2C+7866&rft.au=Giachino%2C+Elena&rft.pub=Springer&rft.edition=&rft.isbn=3642406157
SOLR
_version_ 1792258621575266304
access_facet Electronic Resources
author Giachino, Elena
author2 Hähnle, Reiner, Boer, Frank S., Bonsangue, Marcello M.
author2_role edt, edt, edt
author2_variant r h rh, f s b fs fsb, m m b mm mmb
author_facet Giachino, Elena, Hähnle, Reiner, Boer, Frank S., Bonsangue, Marcello M.
author_role aut
author_sort Giachino, Elena
author_variant e g eg
callnumber-first Q - Science
callnumber-label QA76
callnumber-raw QA76.758
callnumber-search QA76.758
callnumber-sort QA 276.758
callnumber-subject QA - Mathematics
collection ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
contents The Abstract Behavioral Specification Language: A Tutorial IntroductionSubobject-Oriented Programming -- Verification of Open Concurrent Object Systems -- Automatic Inference of Bounds on Resource Consumption -- Separating Cost and Capacity for Load Balancing in ABS Deployment Models -- Composing Distributed Systems: Overcoming the Interoperability Challenge -- Controlling Application Interactions on the Novel Smart Cards with Security-by-Contract -- Formal Aspects of Free and Open Source Software Components., This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems
ctrlnum (DE-627)1652995889, (DE-576)393382583, (DE-599)BSZ393382583, (OCoLC)857390938, (DE-He213)978-3-642-40615-7, (EBP)040550877
de15_date 2013-09-11T10:23:49Z
dech1_date 2013-09-11T10:23:49Z
doi_str_mv 10.1007/978-3-642-40615-7
era_facet 2012
facet_912a ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
facet_avail Online
facet_local_del330 Softwareentwicklung, Objektorientierung, Komponente, Formale Methode
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 Bertinoro (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 Bertinoro
hierarchy_parent_id 0-316228877
hierarchy_parent_title Lecture notes in computer science
hierarchy_sequence 7866
hierarchy_top_id 0-316228877
hierarchy_top_title Lecture notes in computer science
id 0-1652995889
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-1652995889
is_hierarchy_title Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
isbn 9783642406157
isbn_isn_mv 9783642406140, 3642406149
issn_isn_mv 1611-3349
kxp_id_str 1652995889
language English
last_indexed 2024-02-29T18:23:32.062Z
local_heading_facet_dezwi2 Logic design, Computer Science, Computer science, Software engineering, Machine theory., Softwareentwicklung, Objektorientierung, Komponente, Formale Methode
marc024a_ct_mv 10.1007/978-3-642-40615-7
match_str giachino2013formalmethodsforcomponentsandobjects11thinternationalsymposiumfmco2012bertinoroitalyseptember24282012revisedlectures
mega_collection Verbunddaten SWB
multipart_link 093890923
multipart_part (093890923)7866
names_id_str_mv (DE-627)1241175314, (DE-576)17117531X
oclc_num 857390938
physical Online-Ressource (X, 241 p. 125 illus, online resource)
publishDate 2013
publishDateSort 2013
publishPlace Berlin, Heidelberg
publisher Springer
record_format marcfinc
record_id 393382583
recordtype marcfinc
rsn_id_str_mv (DE-15)3249711
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, 7866
series2 Lecture Notes in Computer Science ; 7866, SpringerLink ; Bücher
source_id 0
spelling Giachino, Elena aut, Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures edited by Elena Giachino, Reiner Hähnle, Frank S. Boer, Marcello M. Bonsangue, Berlin, Heidelberg Springer 2013, Online-Ressource (X, 241 p. 125 illus, online resource), Text txt rdacontent, Computermedien c rdamedia, Online-Ressource cr rdacarrier, Lecture Notes in Computer Science 7866, SpringerLink Bücher, Literaturangaben, The Abstract Behavioral Specification Language: A Tutorial IntroductionSubobject-Oriented Programming -- Verification of Open Concurrent Object Systems -- Automatic Inference of Bounds on Resource Consumption -- Separating Cost and Capacity for Load Balancing in ABS Deployment Models -- Composing Distributed Systems: Overcoming the Interoperability Challenge -- Controlling Application Interactions on the Novel Smart Cards with Security-by-Contract -- Formal Aspects of Free and Open Source Software Components., This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems, Logic design, Computer Science, Computer science, Software engineering, Machine theory., Konferenzschrift 2012 Bertinoro (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)4116522-6 (DE-627)104616369 (DE-576)209502258 Softwareentwicklung gnd, s (DE-588)4346172-4 (DE-627)155495984 (DE-576)211474916 Objektorientierung gnd, s (DE-588)4439521-8 (DE-627)223541931 (DE-576)212455788 Komponente Software gnd, s (DE-588)4333722-3 (DE-627)148061516 (DE-576)21134253X Formale Methode gnd, DE-101, Hähnle, Reiner Hrsg. edt, Boer, Frank S. Hrsg. edt, Bonsangue, Marcello M. Hrsg. (DE-627)1241175314 (DE-576)17117531X edt, 9783642406140, Druckausg. Formal methods for components and objects Berlin : Springer, 2013 239 S. (DE-627)757142990 (DE-576)401298558 3642406149 9783642406140, Lecture notes in computer science 7866 7866 (DE-627)316228877 (DE-576)093890923 (DE-600)2018930-8 1611-3349 ns, https://doi.org/10.1007/978-3-642-40615-7 X:SPRINGER Verlag lizenzpflichtig Volltext, http://dx.doi.org/10.1007/978-3-642-40615-7 Resolving-System lizenzpflichtig Volltext, https://swbplus.bsz-bw.de/bsz393382583cov.jpg V:DE-576 X:springer image/jpeg 20150316113341 Cover, (DE-627)766672700, http://dx.doi.org/10.1007/978-3-642-40615-7 DE-14, DE-14 epn:336199053X 2013-09-11T10:23:49Z, http://dx.doi.org/10.1007/978-3-642-40615-7 DE-15, DE-15 epn:3361990564 2013-09-11T10:23:49Z, http://dx.doi.org/10.1007/978-3-642-40615-7 DE-Ch1, DE-Ch1 epn:3361990602 2013-09-11T10:23:49Z, http://dx.doi.org/10.1007/978-3-642-40615-7 Zum Online-Dokument DE-Zi4, DE-Zi4 epn:3361990637 2013-09-11T10:23:49Z, http://dx.doi.org/10.1007/978-3-642-40615-7 DE-520, DE-520 epn:3361990661 2013-09-11T10:23:49Z
spellingShingle Giachino, Elena, Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures, Lecture notes in computer science, 7866, The Abstract Behavioral Specification Language: A Tutorial IntroductionSubobject-Oriented Programming -- Verification of Open Concurrent Object Systems -- Automatic Inference of Bounds on Resource Consumption -- Separating Cost and Capacity for Load Balancing in ABS Deployment Models -- Composing Distributed Systems: Overcoming the Interoperability Challenge -- Controlling Application Interactions on the Novel Smart Cards with Security-by-Contract -- Formal Aspects of Free and Open Source Software Components., This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems, Logic design, Computer Science, Computer science, Software engineering, Machine theory., Konferenzschrift 2012 Bertinoro, Konferenzschrift, Softwareentwicklung, Objektorientierung, Komponente Software, Formale Methode
swb_id_str 393382583
title Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
title_auth Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
title_full Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures edited by Elena Giachino, Reiner Hähnle, Frank S. Boer, Marcello M. Bonsangue
title_fullStr Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures edited by Elena Giachino, Reiner Hähnle, Frank S. Boer, Marcello M. Bonsangue
title_full_unstemmed Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures edited by Elena Giachino, Reiner Hähnle, Frank S. Boer, Marcello M. Bonsangue
title_in_hierarchy 7866. Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (2013)
title_short Formal Methods for Components and Objects
title_sort formal methods for components and objects 11th international symposium fmco 2012 bertinoro italy september 24 28 2012 revised lectures
title_sub 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
title_unstemmed Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
topic Logic design, Computer Science, Computer science, Software engineering, Machine theory., Konferenzschrift 2012 Bertinoro, Konferenzschrift, Softwareentwicklung, Objektorientierung, Komponente Software, Formale Methode
topic_facet Logic design, Computer Science, Computer science, Software engineering, Machine theory., Konferenzschrift, Softwareentwicklung, Objektorientierung, Komponente, Formale Methode
url https://doi.org/10.1007/978-3-642-40615-7, http://dx.doi.org/10.1007/978-3-642-40615-7, https://swbplus.bsz-bw.de/bsz393382583cov.jpg