Verfügbarkeit: Formal methods for open object based distributed systems

Formal methods for open object based distributed systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15 - 17, 2005 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Steffen, Martin 1965- (HerausgeberIn)
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2005
Schriftenreihe:	Lecture Notes in Computer Science 3535
Schlagworte:	Formale Methode Offenes Kommunikationssystem Verteiltes System Objektorientierung Konferenzschrift > 2005 > Athen
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	X, 321 S. Ill., graph. Darst.
ISBN:	9783540261810 3540261818

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV019862880
003	DE-604
005	20101007
007	t\|
008	050629s2005 gw \|\|\|\| 10\|\|\| eng d
015			\|a 05,N22,0011 \|2 dnb
016	7		\|a 974836923 \|2 DE-101
020			\|a 9783540261810 \|9 978-3-540-26181-0
020			\|a 3540261818 \|c : EUR 51.36 (freier Pr.), sfr 85.00 (freier Pr.) \|9 3-540-26181-8
024	3		\|a 9783540261810
028	5	2	\|a 11494881
035			\|a (OCoLC)634715297
035			\|a (DE-599)BVBBV019862880
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-739 \|a DE-91G \|a DE-706 \|a DE-83 \|a DE-11
084			\|a DAT 315f \|2 stub
084			\|a DAT 510f \|2 stub
084			\|a DAT 250f \|2 stub
084			\|a 004 \|2 sdnb
245	1	0	\|a Formal methods for open object based distributed systems \|b 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15 - 17, 2005 ; proceedings \|c Martin Steffen ... (eds.)
246	1	3	\|a Formal methods for open object-based distributed systems
264		1	\|a Berlin [u.a.] \|b Springer \|c 2005
300			\|a X, 321 S. \|c 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 3535
650	0	7	\|a Formale Methode \|0 (DE-588)4333722-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Offenes Kommunikationssystem \|0 (DE-588)4135691-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Verteiltes System \|0 (DE-588)4238872-7 \|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 2005 \|z Athen \|2 gnd-content
689	0	0	\|a Verteiltes System \|0 (DE-588)4238872-7 \|D s
689	0	1	\|a Offenes Kommunikationssystem \|0 (DE-588)4135691-3 \|D s
689	0	2	\|a Objektorientierung \|0 (DE-588)4346172-4 \|D s
689	0	3	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	0		\|5 DE-604
700	1		\|a Steffen, Martin \|d 1965- \|0 (DE-588)121604543 \|4 edt
711	2		\|a FMOODS \|n 7 \|d 2005 \|c Athen \|j Sonstige \|0 (DE-588)10106115-8 \|4 oth
830		0	\|a Lecture Notes in Computer Science \|v 3535 \|w (DE-604)BV000000607 \|9 3535
856	4	2	\|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=2628118&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=013187358&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-013187358

Datensatz im Suchindex

_version_	1820874958681669632
adam_text	TABLE OF CONTENTS INVITED TALK PATTERN MATCHING OVER A DYNAMIC NETWORK OF TUPLE SPACES . 1 ROCCO DE NICOLA, DANIELE GORLA, AND ROSARIO PUGLIESE MODELS AND CALCULI A DYNAMIC CLASS CONSTRUCT FOR ASYNCHRONOUS CONCURRENT OBJECTS . 15 EINAR BROCH JOHNSEN, OLAF OWE, AND ISABELLE SIMPLOT-RYL AN ABSTRACT MACHINE FOR THE KELL CALCULUS . 31 PHILIPPE BIDINGER, ALAN SCHMITT, AND JEAN-BERNARD STEFANI XPI: A TYPED PROCESS CALCULUS FOR XML MESSAGING . 47 LUCIA ACCIAI AND MICHELE BOREALE UML CHECKING THE VALIDITY OF SCENARIOS IN UML MODELS . 67 HOLGER RASCH AND HEIKE WEHRHEIM AN EXTENDED TYPE SYSTEM FOR OCL SUPPORTING TEMPLATES AND TRANSFORMATIONS . 83 MARCEL KYAS A SEMANTICS FOR UML-RT ACTIVE CLASSES VIA MAPPING INTO CIRCUS . 99 RODRIGO RAMOS, AUGUSTO SAMPAIO, AND ALEXANDRE MOTA SECURITY TOWARDS AN INTEGRATED FORMAL ANALYSIS FOR SECURITY AND TRUST . 115 FABIO MARTINEL LI A FORMAL SECURITY ANALYSIS OF AN OSA/PARLAY AUTHENTICATION INTERFACE . 131 RICARDO CORIN, GAETANO DI CAPRIO, SANDRO ETALLE, STEFANIA GNESI, GABRIELE LENZINI, AND CORRADO MOISO COMPOSITION AND VERIFICATION TRACING INTEGRATION ANALYSIS IN COMPONENT-BASED FORMAL SPECIFICATIONS . 147 MART´N L´OPEZ-NORES, JOS´E J. PAZOS-ARIAS, JORGE GARC´A-DUQUE, BEL´EN BARRAG´ANS-MART´NEZ, REBECA P. D´AZ-REDONDO, ANA FERN´ANDEZ-VILAS, ALBERTO GIL-SOLLA, AND MANUEL RAMOS-CABRER X TABLE OF CONTENTS COMPAR: ENSURING SAFE AROUND ADVICE COMPOSITION . 163 RENAUD PAWLAK, LAURENCE DUCHIEN, AND LIONEL SEINTURIER GUARANTEEING RESOURCE BOUNDS FOR COMPONENT SOFTWARE . 179 HOANG TRUONG ANALYSIS OF JAVA PROGRAMS SPECIFICATION AND VERIFICATION OF ENCAPSULATION IN JAVA PROGRAMS . 195 ANDREAS ROTH DETECTING ERRORS IN MULTITHREADED PROGRAMS BY GENERALIZED PREDICTIVE ANALYSIS OF EXECUTIONS . 211 KOUSHIK SEN, GRIGORE ROSU, AND GUL AGHA WEB SERVICES TRANSFORMING INFORMATION IN RDF TO REWRITING LOGIC . 227 ALBERTO VERDEJO, NARCISO MART´-OLIET, TOM´AS ROBLES, JOAQU´N SALVACH´UA, LUIS LLANA, AND MARGARITA BRADLEY MODELING- AND ANALYSIS TECHNIQUES FOR WEB SERVICES AND BUSINESS PROCESSES . 243 WOLFGANG REISIG A DISTRIBUTED IMPLEMENTATION OF MOBILE NETS AS MOBILE AGENTS . 259 NADIA BUSI AND LUCA PADOVANI SPECIFICATION AND VERIFICATION ON CORRECTNESS OF DYNAMIC PROTOCOL UPDATE . 275 PAWE*L T. WOJCIECHOWSKI AND OLIVIER R¨UTTI PROPERTY-DRIVEN DEVELOPMENT OF A COORDINATION MODEL FOR DISTRIBUTED SIMULATIONS . 290 ROLF HENNICKER AND MATTHIAS LUDWIG A TIMING ANALYSIS OF AODV . 306 SIBUSISIWE CHIYANGWA AND MARTA KWIATKOWSKA AUTHOR INDEX . 323
any_adam_object	1
author2	Steffen, Martin 1965-
author2_role	edt
author2_variant	m s ms
author_GND	(DE-588)121604543
author_facet	Steffen, Martin 1965-
building	Verbundindex
bvnumber	BV019862880
classification_rvk	SS 4800
classification_tum	DAT 315f DAT 510f DAT 250f
ctrlnum	(OCoLC)634715297 (DE-599)BVBBV019862880
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">BV019862880</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20101007</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">050629s2005 gw \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">05,N22,0011</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">974836923</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540261810</subfield><subfield code="9">978-3-540-26181-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540261818</subfield><subfield code="c">: EUR 51.36 (freier Pr.), sfr 85.00 (freier Pr.)</subfield><subfield code="9">3-540-26181-8</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540261810</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">11494881</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)634715297</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019862880</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-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 315f</subfield><subfield code="2">stub</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 250f</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="245" ind1="1" ind2="0"><subfield code="a">Formal methods for open object based distributed systems</subfield><subfield code="b">7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15 - 17, 2005 ; proceedings</subfield><subfield code="c">Martin Steffen ... (eds.)</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Formal methods for open object-based distributed systems</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 321 S.</subfield><subfield code="c">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">3535</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">Offenes Kommunikationssystem</subfield><subfield code="0">(DE-588)4135691-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</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">2005</subfield><subfield code="z">Athen</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Offenes Kommunikationssystem</subfield><subfield code="0">(DE-588)4135691-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><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="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">Steffen, Martin</subfield><subfield code="d">1965-</subfield><subfield code="0">(DE-588)121604543</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FMOODS</subfield><subfield code="n">7</subfield><subfield code="d">2005</subfield><subfield code="c">Athen</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10106115-8</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">3535</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">3535</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=2628118&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=013187358&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-013187358</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2005 Athen gnd-content
genre_facet	Konferenzschrift 2005 Athen
id	DE-604.BV019862880
illustrated	Not Illustrated
indexdate	2025-01-10T15:08:01Z
institution	BVB
institution_GND	(DE-588)10106115-8
isbn	9783540261810 3540261818
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-013187358
oclc_num	634715297
open_access_boolean
owner	DE-739 DE-91G DE-BY-TUM DE-706 DE-83 DE-11
owner_facet	DE-739 DE-91G DE-BY-TUM DE-706 DE-83 DE-11
physical	X, 321 S. Ill., graph. Darst.
publishDate	2005
publishDateSearch	2005
publishDateSort	2005
publisher	Springer
record_format	marc
series	Lecture Notes in Computer Science
series2	Lecture Notes in Computer Science
spelling	Formal methods for open object based distributed systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15 - 17, 2005 ; proceedings Martin Steffen ... (eds.) Formal methods for open object-based distributed systems Berlin [u.a.] Springer 2005 X, 321 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 3535 Formale Methode (DE-588)4333722-3 gnd rswk-swf Offenes Kommunikationssystem (DE-588)4135691-3 gnd rswk-swf Verteiltes System (DE-588)4238872-7 gnd rswk-swf Objektorientierung (DE-588)4346172-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2005 Athen gnd-content Verteiltes System (DE-588)4238872-7 s Offenes Kommunikationssystem (DE-588)4135691-3 s Objektorientierung (DE-588)4346172-4 s Formale Methode (DE-588)4333722-3 s DE-604 Steffen, Martin 1965- (DE-588)121604543 edt FMOODS 7 2005 Athen Sonstige (DE-588)10106115-8 oth Lecture Notes in Computer Science 3535 (DE-604)BV000000607 3535 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=2628118&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=013187358&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Formal methods for open object based distributed systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15 - 17, 2005 ; proceedings Lecture Notes in Computer Science Formale Methode (DE-588)4333722-3 gnd Offenes Kommunikationssystem (DE-588)4135691-3 gnd Verteiltes System (DE-588)4238872-7 gnd Objektorientierung (DE-588)4346172-4 gnd
subject_GND	(DE-588)4333722-3 (DE-588)4135691-3 (DE-588)4238872-7 (DE-588)4346172-4 (DE-588)1071861417
title	Formal methods for open object based distributed systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15 - 17, 2005 ; proceedings
title_alt	Formal methods for open object-based distributed systems
title_auth	Formal methods for open object based distributed systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15 - 17, 2005 ; proceedings
title_exact_search	Formal methods for open object based distributed systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15 - 17, 2005 ; proceedings
title_full	Formal methods for open object based distributed systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15 - 17, 2005 ; proceedings Martin Steffen ... (eds.)
title_fullStr	Formal methods for open object based distributed systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15 - 17, 2005 ; proceedings Martin Steffen ... (eds.)
title_full_unstemmed	Formal methods for open object based distributed systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15 - 17, 2005 ; proceedings Martin Steffen ... (eds.)
title_short	Formal methods for open object based distributed systems
title_sort	formal methods for open object based distributed systems 7th ifip wg 6 1 international conference fmoods 2005 athens greece june 15 17 2005 proceedings
title_sub	7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15 - 17, 2005 ; proceedings
topic	Formale Methode (DE-588)4333722-3 gnd Offenes Kommunikationssystem (DE-588)4135691-3 gnd Verteiltes System (DE-588)4238872-7 gnd Objektorientierung (DE-588)4346172-4 gnd
topic_facet	Formale Methode Offenes Kommunikationssystem Verteiltes System Objektorientierung Konferenzschrift 2005 Athen
url	http://deposit.dnb.de/cgi-bin/dokserv?id=2628118&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=013187358&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT steffenmartin formalmethodsforopenobjectbaseddistributedsystems7thifipwg61internationalconferencefmoods2005athensgreecejune15172005proceedings AT fmoodsathen formalmethodsforopenobjectbaseddistributedsystems7thifipwg61internationalconferencefmoods2005athensgreecejune15172005proceedings AT steffenmartin formalmethodsforopenobjectbaseddistributedsystems AT fmoodsathen formalmethodsforopenobjectbaseddistributedsystems

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