Formal methods for components and objects: 7th international symposium, FMCO 2008, Sophia Antipolis, France, October 21 - 23, 2008 ; revised lectures
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2009
|
| Schriftenreihe: | Lecture notes in computer science
5751 : State of the art survey |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | X, 297 S. Ill., graph. Darst. |
| ISBN: | 9783642041662 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035723269 | ||
| 003 | DE-604 | ||
| 005 | 20110121 | ||
| 007 | t| | ||
| 008 | 090914s2009 xx ad|| |||| 00||| eng d | ||
| 015 | |a 09,N38,0022 |2 dnb | ||
| 016 | 7 | |a 996515143 |2 DE-101 | |
| 020 | |a 9783642041662 |c PB. : EUR 57.78 (freier Pr.), sfr 84.00 (freier Pr.) |9 978-3-642-04166-2 | ||
| 024 | 3 | |a 9783642041662 | |
| 028 | 5 | 2 | |a 12742981 |
| 035 | |a (OCoLC)436030805 | ||
| 035 | |a (DE-599)DNB996515143 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA76.9.F67 | |
| 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 7th international symposium, FMCO 2008, Sophia Antipolis, France, October 21 - 23, 2008 ; revised lectures |c Frank S. de Boer ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2009 | |
| 300 | |a X, 297 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 5751 : State of the art survey | |
| 650 | 4 | |a Softwareentwicklung - Formale Methode - Kongress - Sophia-Antipolis <2008> | |
| 650 | 4 | |a Softwareentwicklung - Objektorientierung - Komponente <Software> - Formale Methode - Kongress - Sophia-Antipolis <2008> | |
| 650 | 4 | |a Component software |v Congresses | |
| 650 | 4 | |a Formal methods (Computer science) |v Congresses | |
| 650 | 4 | |a Object-oriented programming (Computer science) |v Congresses | |
| 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 2008 |z Sophia-Antipolis |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 7 |d 2008 |c Sophia Antipolis |j Sonstige |0 (DE-588)6102574-4 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 5751 : State of the art survey |w (DE-604)BV000000607 |9 5751 | |
| 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=018000001&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-018000001 | |
Datensatz im Suchindex
| _version_ | 1820875166696079360 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
THE COMPAS PROJECT REUSABLE ARCHITECTURAL DECISION MODEL FOR MODEL AND
METADATA REPOSITORIES CHRISTINE MAYR, UWE ZDUN, AND SCHAHRAM DUSTDAR
FORMAL BEHAVIORAL MODELING AND COMPLIANCE ANALYSIS FOR SERVICE-ORIENTED
SYSTEMS 21
NATALLIA KOKASH AND FARHAD ARBAB
THE CREDO PROJECT
A REAL-TIME EXTENSION OF CREOL FOR MODELLING BIOMEDICAI SENSORS 42
MARCEL KYAS AND EINAR BROCH JOHNSEN
CONFORMANCE TESTING OF DISTRIBUTED CONCURRENT SYSTEMS WITH EXECUTABLE
DESIGNS 61
BERNHARD K. AICHERNIG, ANDREAS GRIESMAYER, EINAR BROCH JOHNSEN, RUDOLF
SCHIATTE, AND ANDRIES STAM
FORMAL VERIFICATION FOR COMPONENTS AND CONNECTORS 82
CHRISTEL BAIER, TOBIAS BLECHMANN, JOACHIM KLEIN, AND SASCHA KLUEPPELHOLZ
THE DEPLOY PROJECT
FORMAL MODULAR MODELLING OF CONTEXT-AWARENESS 102
MATS NEOVIUS AND KAISA SERE
TOWARDS DEMONSTRABLY CORRECT COMPILATION OF JAVA BYTE CODE 119 MICHAEL
LEUSCHEL
INCREMENTAL SYSTEM MODELLING IN EVENT-B 139
STEFAN HALLERSTEDE
THE GRIDCOMP PROJECT
AN A S Y N C H R O N O US D I S T R I B U T ED C O M P O N E NT M O D EL
A ND I TS S E M A N T I CS . . . 159
LUDOVIC HENRIO, FLORIAN KAMMUELLER, AND MARCELA RIVERA
SPECIFICATION AND VERIFICATION FOR GRID COMPONENT-BASED APPLICATIONS:
FROM MODELS TO TOOLS 180
ANTONIO CANSADO AND ERIC MADELAINE
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/996515143
DIGITALISIERT DURCH
IMAGE 2
X TABLE OF CONTENTS
SEMI-FORMAL MODELS TO SUPPORT PROGRAM DEVELOPMENT: AUTONOMIE MANAGEMENT
WITHIN COMPONENT BASED PARALLEL AND DISTRIBUTED PROGRAMMING 204
M. ALDINUCD, M. DANELUTTO, AND P. KILPATRICK
THE MOBIUS PROJECT
SESSION-BASED COMPILATION FRAMEWORK FOR MULTICORE PROGRAMMING 226 NOBUKO
YOSHIDA, VASCO VASCONCELOS, HERVE PAULINO, AND KOHEI HONDA
ABSTRACT INTERPRETATION OF SYMBOLIC EXECUTION WITH EXPLICIT STATE
UPDATES 247
RICHARD BUBEL, REINER HAEHNLE, AND BENJAMIN WEISS
BML AND RELATED TOOLS 278
JACEK CHRZASZCZ, MARIEKE HUISMAN, AND ALEKSY SCHUBERT
AUTHOR INDEX 299 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV035723269 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.F67 |
| callnumber-search | QA76.9.F67 |
| callnumber-sort | QA 276.9 F67 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 510f DAT 310f |
| ctrlnum | (OCoLC)436030805 (DE-599)DNB996515143 |
| 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">BV035723269</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110121</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">090914s2009 xx ad|| |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N38,0022</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">996515143</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642041662</subfield><subfield code="c">PB. : EUR 57.78 (freier Pr.), sfr 84.00 (freier Pr.)</subfield><subfield code="9">978-3-642-04166-2</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642041662</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12742981</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)436030805</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB996515143</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-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.F67</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">7th international symposium, FMCO 2008, Sophia Antipolis, France, October 21 - 23, 2008 ; revised lectures</subfield><subfield code="c">Frank S. de Boer ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 297 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">5751 : State of the art survey</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Softwareentwicklung - Formale Methode - Kongress - Sophia-Antipolis <2008></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Softwareentwicklung - Objektorientierung - Komponente <Software> - Formale Methode - Kongress - Sophia-Antipolis <2008></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Component software</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal methods (Computer science)</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Object-oriented programming (Computer science)</subfield><subfield code="v">Congresses</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">2008</subfield><subfield code="z">Sophia-Antipolis</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">7</subfield><subfield code="d">2008</subfield><subfield code="c">Sophia Antipolis</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6102574-4</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">5751 : State of the art survey</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5751</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=018000001&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-018000001</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2008 Sophia-Antipolis gnd-content |
| genre_facet | Konferenzschrift 2008 Sophia-Antipolis |
| id | DE-604.BV035723269 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:11:18Z |
| institution | BVB |
| institution_GND | (DE-588)6102574-4 |
| isbn | 9783642041662 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018000001 |
| oclc_num | 436030805 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| physical | X, 297 S. Ill., graph. Darst. |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Formal methods for components and objects 7th international symposium, FMCO 2008, Sophia Antipolis, France, October 21 - 23, 2008 ; revised lectures Frank S. de Boer ... (eds.) Berlin [u.a.] Springer 2009 X, 297 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 5751 : State of the art survey Softwareentwicklung - Formale Methode - Kongress - Sophia-Antipolis <2008> Softwareentwicklung - Objektorientierung - Komponente <Software> - Formale Methode - Kongress - Sophia-Antipolis <2008> Component software Congresses Formal methods (Computer science) Congresses Object-oriented programming (Computer science) Congresses 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 2008 Sophia-Antipolis 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 7 2008 Sophia Antipolis Sonstige (DE-588)6102574-4 oth Lecture notes in computer science 5751 : State of the art survey (DE-604)BV000000607 5751 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018000001&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Formal methods for components and objects 7th international symposium, FMCO 2008, Sophia Antipolis, France, October 21 - 23, 2008 ; revised lectures Lecture notes in computer science Softwareentwicklung - Formale Methode - Kongress - Sophia-Antipolis <2008> Softwareentwicklung - Objektorientierung - Komponente <Software> - Formale Methode - Kongress - Sophia-Antipolis <2008> Component software Congresses Formal methods (Computer science) Congresses Object-oriented programming (Computer science) Congresses 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 7th international symposium, FMCO 2008, Sophia Antipolis, France, October 21 - 23, 2008 ; revised lectures |
| title_auth | Formal methods for components and objects 7th international symposium, FMCO 2008, Sophia Antipolis, France, October 21 - 23, 2008 ; revised lectures |
| title_exact_search | Formal methods for components and objects 7th international symposium, FMCO 2008, Sophia Antipolis, France, October 21 - 23, 2008 ; revised lectures |
| title_full | Formal methods for components and objects 7th international symposium, FMCO 2008, Sophia Antipolis, France, October 21 - 23, 2008 ; revised lectures Frank S. de Boer ... (eds.) |
| title_fullStr | Formal methods for components and objects 7th international symposium, FMCO 2008, Sophia Antipolis, France, October 21 - 23, 2008 ; revised lectures Frank S. de Boer ... (eds.) |
| title_full_unstemmed | Formal methods for components and objects 7th international symposium, FMCO 2008, Sophia Antipolis, France, October 21 - 23, 2008 ; revised lectures Frank S. de Boer ... (eds.) |
| title_short | Formal methods for components and objects |
| title_sort | formal methods for components and objects 7th international symposium fmco 2008 sophia antipolis france october 21 23 2008 revised lectures |
| title_sub | 7th international symposium, FMCO 2008, Sophia Antipolis, France, October 21 - 23, 2008 ; revised lectures |
| topic | Softwareentwicklung - Formale Methode - Kongress - Sophia-Antipolis <2008> Softwareentwicklung - Objektorientierung - Komponente <Software> - Formale Methode - Kongress - Sophia-Antipolis <2008> Component software Congresses Formal methods (Computer science) Congresses Object-oriented programming (Computer science) Congresses 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 | Softwareentwicklung - Formale Methode - Kongress - Sophia-Antipolis <2008> Softwareentwicklung - Objektorientierung - Komponente <Software> - Formale Methode - Kongress - Sophia-Antipolis <2008> Component software Congresses Formal methods (Computer science) Congresses Object-oriented programming (Computer science) Congresses Formale Methode Softwareentwicklung Komponente Software Objektorientierung Konferenzschrift 2008 Sophia-Antipolis |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018000001&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT boerfranksde formalmethodsforcomponentsandobjects7thinternationalsymposiumfmco2008sophiaantipolisfranceoctober21232008revisedlectures AT fmcosophiaantipolis formalmethodsforcomponentsandobjects7thinternationalsymposiumfmco2008sophiaantipolisfranceoctober21232008revisedlectures |