Verfügbarkeit: Formal methods for components and objects

Formal methods for components and objects: 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4 - 6, 2009 ; revised selected papers

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2010
Schriftenreihe:	Lecture notes in computer science 6286
Schlagworte:	Formale Methode Softwareentwicklung Komponente > Software Objektorientierung Konferenzschrift > 2009 > Eindhoven
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	Literaturangaben
Beschreibung:	X, 337 S. graph. Darst. 24 cm
ISBN:	9783642170706

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV036963858
003	DE-604
005	20110121
007	t\|
008	110118s2010 xx d\|\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 10,N41 \|2 dnb
016	7		\|a 1007492961 \|2 DE-101
020			\|a 9783642170706 \|c kart. : EUR 57.78 (DE) (freier Pr.), sfr 77.50 (freier Pr.) \|9 978-3-642-17070-6
024	3		\|a 9783642170706
028	5	2	\|a Best.-Nr.: 80026997
035			\|a (OCoLC)700051194
035			\|a (DE-599)DNB1007492961
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-706 \|a DE-91G \|a DE-11 \|a DE-83
082	0		\|a 005.11 \|2 22/ger
084			\|a DAT 510f \|2 stub
084			\|a 004 \|2 sdnb
084			\|a DAT 310f \|2 stub
245	1	0	\|a Formal methods for components and objects \|b 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4 - 6, 2009 ; revised selected papers \|c Frank S. de Boer ... (ed.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2010
300			\|a X, 337 S. \|b graph. Darst. \|c 24 cm
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 6286
490	0		\|a State of the art survey
500			\|a Literaturangaben
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 2009 \|z Eindhoven \|2 gnd-content
689	0	0	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|D s
689	0	1	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	0		\|5 DE-604
689	1	0	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|D s
689	1	1	\|a Objektorientierung \|0 (DE-588)4346172-4 \|D s
689	1	2	\|a Komponente \|g Software \|0 (DE-588)4439521-8 \|D s
689	1	3	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	1		\|5 DE-604
700	1		\|a Boer, Frank S. de \|e Sonstige \|4 oth
711	2		\|a FMCO \|n 8 \|d 2009 \|c Eindhoven \|j Sonstige \|0 (DE-588)16093572-6 \|4 oth
830		0	\|a Lecture notes in computer science \|v 6286 \|w (DE-604)BV000000607 \|9 6286
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=3547170&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=020878704&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-020878704

Datensatz im Suchindex

_version_	1820875288133763072
adam_text	IMAGE 1 TABLE OF CONTENTS THE BIONETS PROJECT A FRAMEWORK FOR REASONING ON COMPONENT COMPOSITION 1 LUDOVIC HENRIO, FLORIAN KAMMUELLER, AND MUHAMMAD UZAIR KHAN THE COMPAS PROJECT VERIFICATION OF CONTEXT-DEPENDENT CHANNEL-BASED SERVICE MODELS 21 NATALLIA KOKASH, CHRISTIAN KRAUSE, AND ERIK P. DE VINK THE CREDO PROJECT THE CREDO METHODOLOGY (EXTENDED VERSION) 41 IMMO GRABE, MOHAMMAD MAHDI JAGHOORI, JOACHIM KLEIN, SASCHA KLUEPPELHOLZ, ANDRIES STAM, CHRISTEL BAIER, TOBIAS BLECHMANN, BERNHARD K. AICHERNIG, FRANK DE BOER, ANDREAS GRIESMAYER, EINAR BROCH JOHNSEN, MARCEL KYAS, WOLFGANG LEISTER, RUDOLF SCHLATTE, MARTIN STEFFEN, SIMON TSCHIRNER, LIANG XUEDONG, AND WANG YI THE DEPLOY PROJECT G U I D ED F O R M AL D E V E L O P M E N T: P A T T E R NS FOR M O D E L L I NG A ND REFINEMENT . . 70 ALEXEI ILIASOV, ELENA TROUBITSYNA, LINAS LAIBINIS, AND ALEXANDER ROMANOVSKY APPLYING EVENT-B ATOMICITY DECOMPOSITION TO A MULTI MEDIA PROTOCOL 89 ASIEH SALEHI FATHABADI AND MICHAEL BUTLER THE FM-SOA WORKING GROUP A B S T R A CT C E R T I F I C A T I ON OF G L O B AL N O N - I N T E R F E R E N CE IN R E W R I T I NG L O G I C . . . 105 MAURICIO ALBA-CASTRO, MARIA ALPUENTE, AND SANTIAGO ESCOBAR THE HATS PROJECT INTERLEAVING SYMBOLIC EXECUTION AND PARTIAL EVALUATION 125 RICHARD BUBEL, REINER HAEHNLE, AND RAN JI BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1007492961 DIGITALISIERT DURCH IMAGE 2 X TABLE OF CONTENTS THE INESS PROJECT THE USE OF MODEL TRANSFORMATION IN THE INESS PROJECT 147 OSMAR M. DOS SANTOS, JIM WOODCOCK, RICHARD F. PAIGE, AND STEVE KING SUITABILITY OF MCRL2 FOR CONCURRENT-SYSTEM DESIGN: A 2 X 2 SWITCH CASE STUDY 166 FRANK P.M. STAPPERS, MICHEL A. RENIERS, AND JAN FRISO GROOTE THE MOGENTES PROJECT MAPPING UML TO LABELED TRANSITION SYSTEMS FOR TEST-CASE GENERATION: A TRANSLATION VIA OBJECT-ORIENTED ACTION SYSTEMS 186 WILLIBALD KRENN, RUPERT SCHLICK, AND BERNHARD K. AICHERNIG MUTATION-BASED TEST CASE GENERATION FOR SIMULINK MODELS 208 ANGELO BRILLOUT, NANNAN HE, MICHELE MAZZUCCHI, DANIEL KROENING, MITRA PURANDARE, PHILIPP RUMMER, AND GEORG WEISSENBACHER MODEL-BASED MUTATION TESTING OF HYBRID SYSTEMS 228 BERNHARD K. AICHERNIG, HARALD BRANDI, ELISABETH JOBSTI, AND WILLIBALD KRENN THE PROTEST PROJECT PROPERTY-BASED TESTING - THE PROTEST PROJECT 250 JOHN DERRICK, NEIL WALKINSHAW, THOMAS ARTS, CLARA BENAC EARLE, FRANCESCO CESARINI, LARS-AKE FREDLUND, VICTOR GUITAS, JOHN HUGHES, AND SIMON THOMPSON INCREMENTALLY DISCOVERING TESTABLE SPECIFICATIONS FROM PROGRAM EXECUTIONS 272 NEIL WALKINSHAW AND JOHN DERRICK THE QUASIMODO PROJECT METHODOLOGIES FOR SPECIFICATION OF REAL-TIME SYSTEMS USING TIMED I/O AUTOMATA 290 ALEXANDRE DAVID, KIM G. LARSEN, AXEL LEGAY, ULRIK NYMAN, AND ANDRZEJ WQSOWSKI THE HOW AND WHY OF INTERACTIVE MARKOV CHAINS 311 HOLGER HERMANNS AND JOOST-PIETER KATOEN AUTHOR INDEX 339
any_adam_object	1
building	Verbundindex
bvnumber	BV036963858
classification_rvk	SS 4800
classification_tum	DAT 510f DAT 310f
ctrlnum	(OCoLC)700051194 (DE-599)DNB1007492961
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">BV036963858</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110121</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">110118s2010 xx d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N41</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1007492961</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642170706</subfield><subfield code="c">kart. : EUR 57.78 (DE) (freier Pr.), sfr 77.50 (freier Pr.)</subfield><subfield code="9">978-3-642-17070-6</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642170706</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80026997</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)700051194</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1007492961</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="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-83</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">004</subfield><subfield code="2">sdnb</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">8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4 - 6, 2009 ; revised selected papers</subfield><subfield code="c">Frank S. de Boer ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 337 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</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">6286</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">State of the art survey</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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">2009</subfield><subfield code="z">Eindhoven</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">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="689" ind1="1" 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="1" 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="1" 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="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Boer, Frank S. de</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">8</subfield><subfield code="d">2009</subfield><subfield code="c">Eindhoven</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16093572-6</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">6286</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6286</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=3547170&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=020878704&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-020878704</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2009 Eindhoven gnd-content
genre_facet	Konferenzschrift 2009 Eindhoven
id	DE-604.BV036963858
illustrated	Illustrated
indexdate	2025-01-10T15:13:14Z
institution	BVB
institution_GND	(DE-588)16093572-6
isbn	9783642170706
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-020878704
oclc_num	700051194
open_access_boolean
owner	DE-706 DE-91G DE-BY-TUM DE-11 DE-83
owner_facet	DE-706 DE-91G DE-BY-TUM DE-11 DE-83
physical	X, 337 S. graph. Darst. 24 cm
publishDate	2010
publishDateSearch	2010
publishDateSort	2010
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science State of the art survey
spelling	Formal methods for components and objects 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4 - 6, 2009 ; revised selected papers Frank S. de Boer ... (ed.) Berlin [u.a.] Springer 2010 X, 337 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6286 State of the art survey Literaturangaben 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 2009 Eindhoven gnd-content Softwareentwicklung (DE-588)4116522-6 s Formale Methode (DE-588)4333722-3 s DE-604 Objektorientierung (DE-588)4346172-4 s Komponente Software (DE-588)4439521-8 s Boer, Frank S. de Sonstige oth FMCO 8 2009 Eindhoven Sonstige (DE-588)16093572-6 oth Lecture notes in computer science 6286 (DE-604)BV000000607 6286 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3547170&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=020878704&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Formal methods for components and objects 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4 - 6, 2009 ; 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 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4 - 6, 2009 ; revised selected papers
title_auth	Formal methods for components and objects 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4 - 6, 2009 ; revised selected papers
title_exact_search	Formal methods for components and objects 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4 - 6, 2009 ; revised selected papers
title_full	Formal methods for components and objects 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4 - 6, 2009 ; revised selected papers Frank S. de Boer ... (ed.)
title_fullStr	Formal methods for components and objects 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4 - 6, 2009 ; revised selected papers Frank S. de Boer ... (ed.)
title_full_unstemmed	Formal methods for components and objects 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4 - 6, 2009 ; revised selected papers Frank S. de Boer ... (ed.)
title_short	Formal methods for components and objects
title_sort	formal methods for components and objects 8th international symposium fmco 2009 eindhoven the netherlands november 4 6 2009 revised selected papers
title_sub	8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4 - 6, 2009 ; 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 2009 Eindhoven
url	http://deposit.dnb.de/cgi-bin/dokserv?id=3547170&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=020878704&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT boerfranksde formalmethodsforcomponentsandobjects8thinternationalsymposiumfmco2009eindhoventhenetherlandsnovember462009revisedselectedpapers AT fmcoeindhoven formalmethodsforcomponentsandobjects8thinternationalsymposiumfmco2009eindhoventhenetherlandsnovember462009revisedselectedpapers

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