Verfügbarkeit: Formal methods for components and objects

Formal methods for components and objects: 10th international symposium, FMCO 2011, Turin, Italy, October 3 - 5, 2011 ; revised selected papers

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2013
Schriftenreihe:	Lecture notes in computer science 7542
Schlagworte:	Formale Methode Softwareentwicklung Komponente > Software Objektorientierung Konferenzschrift > 2011 > Turin
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	X, 356 S. Ill., graph. Darst.
ISBN:	3642358861 9783642358869

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV040792522
003	DE-604
005	20130326
007	t\|
008	130301s2013 gw ad\|\| \|\|\|\| 00\|\|\| eng d
016	7		\|a 102841885X \|2 DE-101
020			\|a 3642358861 \|9 3-642-35886-1
020			\|a 9783642358869 \|9 978-3-642-35886-9
035			\|a (OCoLC)835312766
035			\|a (DE-599)DNB102841885X
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-11 \|a DE-83 \|a DE-91G
082	0		\|a 005.11 \|2 22/ger
084			\|a DAT 510f \|2 stub
084			\|a DAT 310f \|2 stub
245	1	0	\|a Formal methods for components and objects \|b 10th international symposium, FMCO 2011, Turin, Italy, October 3 - 5, 2011 ; revised selected papers \|c Bernhard Beckert ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2013
300			\|a X, 356 S. \|b Ill., graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 7542 : State-of-the-art-survey
650	0	7	\|a Formale Methode \|0 (DE-588)4333722-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Komponente \|g Software \|0 (DE-588)4439521-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Objektorientierung \|0 (DE-588)4346172-4 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2011 \|z Turin \|2 gnd-content
689	0	0	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|D s
689	0	1	\|a Objektorientierung \|0 (DE-588)4346172-4 \|D s
689	0	2	\|a Komponente \|g Software \|0 (DE-588)4439521-8 \|D s
689	0	3	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	0		\|5 DE-604
700	1		\|a Beckert, Bernhard \|e Sonstige \|4 oth
711	2		\|a FMCO \|n 10 \|d 2011 \|c Turin \|j Sonstige \|0 (DE-588)1031894039 \|4 oth
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-3-642-35887-6
830		0	\|a Lecture notes in computer science \|v 7542 \|w (DE-604)BV000000607 \|9 7542
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=4198071&prov=M&dok_var=1&dok_ext=htm \|3 Inhaltstext
856	4	2	\|m DNB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025770634&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-025770634

Datensatz im Suchindex

_version_	1820875445932916736
adam_text	IMAGE 1 TABLE OF CONTENTS THE ASCENS PROJECT ASCENS: ENGINEERING AUTONOMIC SERVICE-COMPONENT ENSEMBLES 1 MARTIN WIRSING, MATTHIAS HOLZL, MIRCO TRIBASTONE, AND FRANCO ZAMBONELLI A LANGUAGE-BASED APPROACH TO AUTONOMIC COMPUTING 25 ROCCO DE NICOLA, GIANLUIGI FERRARI, MICHELE LORETI, AND ROSARIO PUGLIESE A SURVEY ON BASIC CONNECTORS AND BUFFERS 49 ROBERTO BRUNI, HERNDN MELGRATTI, AND UGO MONTANARI THE ETERNALS COORDINATION ACTION SYNTHESIS-BASED VARIABILITY CONTROL: CORRECTNESS BY CONSTRUCTION 69 ANNA-LENA LAMPRECHT, TIZIANA MARGARIA, INA SCHAEFER, AND BERNHARD STEFFEN MODELING APPLICATION-LEVEL MANAGEMENT OF VIRTUALIZED RESOURCES IN ABS 89 EINAR BROCH JOHNSEN, RUDOLF SCHLATTE, AND SILVIA LIZETH TAPIA TARIFA HATS ABSTRACT BEHAVIORAL SPECIFICATION: THE ARCHITECTURAL VIEW 109 REINER HAHNLE, MICHIEL HELVENSTEIJN, EINAR BROCH JOHNSEN, MICHAEL LIENHARDT, DAVIDE SANGIORGI, INA SCHAEFER, AND PETER Y.H. WONG AUTOMATIC SERVICE CATEGORISATION THROUGH MACHINE LEARNING IN EMERGENT MIDDLEWARE 133 AMEL BENNACEUR, VALERIE ISSARNY, RICHARD JOHANSSON, ALESSANDRO MOSCHITTI, ROMINA SPALAZZESE, AND DANIEL SYKES TOWARDS A MODEL- AND LEARNING-BASED FRAMEWORK FOR SECURITY ANOMALY DETECTION 150 MATTHIAS GANDER, BASEL KATT, MICHAEL FELDERER, AND RUTH BREU ENHANCING MODEL DRIVEN SECURITY THROUGH PATTERN REFINEMENT TECHNIQUES 169 BASEL KATT, MATTHIAS GANDER, RUTH BREU, AND MICHAEL FELDERER PROJECT ZEPPELIN: A MODERN WEB APPLICATION DEVELOPMENT FRAMEWORK 184 LEIGH GRIFFIN, PETER ELGER, AND EAMONN DE LEASTAR HTTP://D-NB.INFO/102841885X IMAGE 2 X TABLE OF CONTENTS THE PARAPHRASE PROJECT MANAGING ADAPTIVITY IN PARALLEL SYSTEMS 199 MARCO ALDINUCCI, MARCO DANELUTTO, PETER KILPATRICK, CARLO MONTANGERO, AND LAURA SEMINI THE PARAPHRASE PROJECT: PARALLEL PATTERNS FOR ADAPTIVE HETEROGENEOUS MULTICORE SYSTEMS 218 KEVIN HAMMOND, MARCO ALDINUCCI, CHRISTOPHER BROWN, FRANCESCO CESARINI, MARCO DANELUTTO, HORACIO GONZALEZ-VELEZ, PETER KILPATRICK, RAINER KELLER, MICHAEL ROSSBORY, AND GILAD SHAINER PARAPHRASING: GENERATING PARALLEL PROGRAMS USING REFACTORING 237 CHRISTOPHER BROWN, KEVIN HAMMOND, MARCO DANELUTTO, PETER KILPATRICK, HOLGER SCHONER, AND TINO BREDDIN AN ABSTRACT ANNOTATION MODEL FOR SKELETONS 257 MARCO ALDINUCCI, SONIA CAMPA, PETER KILPATRICK, FABIO TORDINI, AND MASSIMO TORQUATI THE PR03D PROJECT PR03D, PROGRAMMING FOR FUTURE 3D MANYCORE ARCHITECTURES: PROJECT'S INTERIM STATUS 277 CHRISTIAN FABRE, IULIANA BACIVAROV, ANANDA BASU, MARTINO RUGGIERO, DAVID ATIENZA, ERIC FLAMAND, JEAN-PIERRE KRIMM, JULIEN MOTTIN, LARS SCHOR, PRATYUSH KUMAR, HOESEOK YANG, DEVESH B. CHOKSHI, LOTHAR THIELE, SADDEK BENSALEM, MARIUS BOZGA, LUCA BENINI, MOHAMED M. SABRY, YUSUF LEBLEBICI, GIOVANNI DE MICHELI, AND DIEGO MELPIGNANO THERMAL-AWARE TASK ASSIGNMENT FOR REAL-TIME APPLICATIONS ON MULTI-CORE SYSTEMS 294 LARS SCHOR, HOESEOK YANG, IULIANA BACIVAROV, AND LOTHAR THIELE COMPONENT ASSEMBLIES IN THE CONTEXT OF MANYCORE 314 ANANDA BASU, SADDEK BENSALEM, MARIUS BOZGA, PARASKEVAS BOURGOS, MAYUR MAHESHWARI, AND JOSEPH SIFAKIS LOW-COST DYNAMIC VOLTAGE AND FREQUENCY MANAGEMENT BASED UPON ROBUST CONTROL TECHNIQUES UNDER THERMAL CONSTRAINTS 334 SYLVAIN DURAND, SUZANNE LESECQ, EDITH BEIGNE, CHRISTIAN FABRE, LIONEL VINCENT, AND DIEGO PUSCHINI AUTHOR INDEX 355
any_adam_object	1
building	Verbundindex
bvnumber	BV040792522
classification_rvk	SS 4800
classification_tum	DAT 510f DAT 310f
ctrlnum	(OCoLC)835312766 (DE-599)DNB102841885X
dewey-full	005.11
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.11
dewey-search	005.11
dewey-sort	15.11
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
format	Conference Proceeding Book
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">BV040792522</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130326</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">130301s2013 gw ad\|\| \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">102841885X</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642358861</subfield><subfield code="9">3-642-35886-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642358869</subfield><subfield code="9">978-3-642-35886-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)835312766</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB102841885X</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-11</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.11</subfield><subfield code="2">22/ger</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="245" ind1="1" ind2="0"><subfield code="a">Formal methods for components and objects</subfield><subfield code="b">10th international symposium, FMCO 2011, Turin, Italy, October 3 - 5, 2011 ; revised selected papers</subfield><subfield code="c">Bernhard Beckert ... (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">X, 356 S.</subfield><subfield code="b">Ill., 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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</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">7542 : State-of-the-art-survey</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">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Komponente</subfield><subfield code="g">Software</subfield><subfield code="0">(DE-588)4439521-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Objektorientierung</subfield><subfield code="0">(DE-588)4346172-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="y">2011</subfield><subfield code="z">Turin</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Objektorientierung</subfield><subfield code="0">(DE-588)4346172-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Komponente</subfield><subfield code="g">Software</subfield><subfield code="0">(DE-588)4439521-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Beckert, Bernhard</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FMCO</subfield><subfield code="n">10</subfield><subfield code="d">2011</subfield><subfield code="c">Turin</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1031894039</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-642-35887-6</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7542</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7542</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=4198071&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=025770634&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025770634</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2011 Turin gnd-content
genre_facet	Konferenzschrift 2011 Turin
id	DE-604.BV040792522
illustrated	Illustrated
indexdate	2025-01-10T15:15:43Z
institution	BVB
institution_GND	(DE-588)1031894039
isbn	3642358861 9783642358869
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-025770634
oclc_num	835312766
open_access_boolean
owner	DE-11 DE-83 DE-91G DE-BY-TUM
owner_facet	DE-11 DE-83 DE-91G DE-BY-TUM
physical	X, 356 S. Ill., graph. Darst.
publishDate	2013
publishDateSearch	2013
publishDateSort	2013
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Formal methods for components and objects 10th international symposium, FMCO 2011, Turin, Italy, October 3 - 5, 2011 ; revised selected papers Bernhard Beckert ... (eds.) Berlin [u.a.] Springer 2013 X, 356 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 7542 : State-of-the-art-survey Formale Methode (DE-588)4333722-3 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Komponente Software (DE-588)4439521-8 gnd rswk-swf Objektorientierung (DE-588)4346172-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2011 Turin gnd-content Softwareentwicklung (DE-588)4116522-6 s Objektorientierung (DE-588)4346172-4 s Komponente Software (DE-588)4439521-8 s Formale Methode (DE-588)4333722-3 s DE-604 Beckert, Bernhard Sonstige oth FMCO 10 2011 Turin Sonstige (DE-588)1031894039 oth Erscheint auch als Online-Ausgabe 978-3-642-35887-6 Lecture notes in computer science 7542 (DE-604)BV000000607 7542 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4198071&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025770634&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Formal methods for components and objects 10th international symposium, FMCO 2011, Turin, Italy, October 3 - 5, 2011 ; revised selected papers Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Komponente Software (DE-588)4439521-8 gnd Objektorientierung (DE-588)4346172-4 gnd
subject_GND	(DE-588)4333722-3 (DE-588)4116522-6 (DE-588)4439521-8 (DE-588)4346172-4 (DE-588)1071861417
title	Formal methods for components and objects 10th international symposium, FMCO 2011, Turin, Italy, October 3 - 5, 2011 ; revised selected papers
title_auth	Formal methods for components and objects 10th international symposium, FMCO 2011, Turin, Italy, October 3 - 5, 2011 ; revised selected papers
title_exact_search	Formal methods for components and objects 10th international symposium, FMCO 2011, Turin, Italy, October 3 - 5, 2011 ; revised selected papers
title_full	Formal methods for components and objects 10th international symposium, FMCO 2011, Turin, Italy, October 3 - 5, 2011 ; revised selected papers Bernhard Beckert ... (eds.)
title_fullStr	Formal methods for components and objects 10th international symposium, FMCO 2011, Turin, Italy, October 3 - 5, 2011 ; revised selected papers Bernhard Beckert ... (eds.)
title_full_unstemmed	Formal methods for components and objects 10th international symposium, FMCO 2011, Turin, Italy, October 3 - 5, 2011 ; revised selected papers Bernhard Beckert ... (eds.)
title_short	Formal methods for components and objects
title_sort	formal methods for components and objects 10th international symposium fmco 2011 turin italy october 3 5 2011 revised selected papers
title_sub	10th international symposium, FMCO 2011, Turin, Italy, October 3 - 5, 2011 ; revised selected papers
topic	Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Komponente Software (DE-588)4439521-8 gnd Objektorientierung (DE-588)4346172-4 gnd
topic_facet	Formale Methode Softwareentwicklung Komponente Software Objektorientierung Konferenzschrift 2011 Turin
url	http://deposit.dnb.de/cgi-bin/dokserv?id=4198071&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025770634&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT beckertbernhard formalmethodsforcomponentsandobjects10thinternationalsymposiumfmco2011turinitalyoctober352011revisedselectedpapers AT fmcoturin formalmethodsforcomponentsandobjects10thinternationalsymposiumfmco2011turinitalyoctober352011revisedselectedpapers

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Beschreibung

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge