Formal aspects of component software: 7th international workshop, FACS 2010, Guimarães, Portugal, October 14 - 16, 2010 ; revised selected papers
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2012
|
| Schriftenreihe: | Lecture notes in computer science
6921 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | X, 303 S. graph. Darst. 24 cm |
| ISBN: | 9783642272684 3642272681 9783642272691 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV039965893 | ||
| 003 | DE-604 | ||
| 005 | 20130402 | ||
| 007 | t| | ||
| 008 | 120319s2012 xx d||| |||| 10||| eng d | ||
| 015 | |a 11,N48 |2 dnb | ||
| 016 | 7 | |a 1017314659 |2 DE-101 | |
| 020 | |a 9783642272684 |c kart. : EUR 57.78 (DE) (freier Pr.), EUR 59.40 (AT) (freier Pr.), sfr 72.00 (freier Pr.) |9 978-3-642-27268-4 | ||
| 020 | |a 3642272681 |9 3-642-27268-1 | ||
| 020 | |a 9783642272691 |c eISBN |9 978-3-642-27269-1 | ||
| 024 | 3 | |a 9783642272684 | |
| 028 | 5 | 2 | |a Best.-Nr.: 86028235 |
| 035 | |a (OCoLC)785853605 | ||
| 035 | |a (DE-599)DNB1017314659 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-83 |a DE-91G |a DE-11 | ||
| 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 aspects of component software |b 7th international workshop, FACS 2010, Guimarães, Portugal, October 14 - 16, 2010 ; revised selected papers |c Luís Soares Barbosa ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2012 | |
| 300 | |a X, 303 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 6921 | |
| 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 Formale Sprache |0 (DE-588)4017848-1 |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 Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Komponentenmodell |g Software |0 (DE-588)7628523-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2010 |z Guimarães |2 gnd-content | |
| 689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | 1 | |a Komponente |g Software |0 (DE-588)4439521-8 |D s |
| 689 | 0 | 2 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 1 | 1 | |a Komponentenmodell |g Software |0 (DE-588)7628523-6 |D s |
| 689 | 1 | 2 | |a Formale Sprache |0 (DE-588)4017848-1 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Barbosa, Luís Soares |e Sonstige |4 oth | |
| 711 | 2 | |a FACS |n 7. |d 2010 |c Guimarães |j Sonstige |0 (DE-588)16343377-X |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |t Formal Aspects of Component Software |
| 830 | 0 | |a Lecture notes in computer science |v 6921 |w (DE-604)BV000000607 |9 6921 | |
| 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=024823535&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-024823535 | |
Datensatz im Suchindex
| _version_ | 1820875377898160128 |
|---|---|
| adam_text |
IMAGE 1
TABLE O F C O N T E N T S
QUANTITATIVE ANALYSIS OF SOFTWARE: CHALLENGES AND RECENT ADVANCES
(INVITED LECTURE) 1
SANJIT A. SESHIA
ANALYSIS OF SERVICE ORIENTED SOFTWARE SYSTEMS WITH THE CONVERSATION
CALCULUS (INVITED LECTURE) 6
LUIS CAIRES AND HUGO TORRES VIEIRA
QOS CONTRACT-AWARE RECONFIGURATION OF COMPONENT ARCHITECTURES USING
E-GRAPHS 34
GABRIEL TAMURA, RUBBY CASALLAS, ANTHONY CLEVE. AND LAURENCE DUCHIEN
MONITORING METHOD CALL SEQUENCES USING ANNOTATIONS -53
B. NOBAKHT, M.M. BONSANGUE, F.S. DE BOER, AND S. DE GOUW
AN INTRODUCTION T O PERVASIVE INTERFACE AUTOMATA 71
M. CALDER, P. GRAY, A. MILLER, AND C. UNSWOHH
A SEPARATION LOGIC FOR 0 0 PROGRAMS 88
LIU YIJING AND QIU ZONGYAN
MODEL CHECKING ADAPTIVE MULTILEVEL SERVICE COMPOSITIONS 106
SABINA ROSSI
DISTRIBUTED ADAPTION OF DINING PHILOSOPHERS 125
S. ANDOVA, L.P.J. GROENEWEGEN, AND E.P. DE VINK
COMPONENT SERVICE PROMOTION: CONTRACTS, MECHANISMS AND SAFETY 145 PASCAL
ANDRE, GILLES ARDOUREL. AND MOHAMED MESSABIHI
SYSTEMS-THEORETIC VIEW OF COMPONENT-BASED SOFTWARE DEVELOPMENT . . . 163
DANIEL COTE, MICHEL EMBE JIAGUE, AND RICHARD ST-DENIS
ASPECT WEAVING IN UML ACTIVITY DIAGRAMS: A SEMANTIC AND ALGORITHMIC
FRAMEWORK 182
DJEDJIGA MOUHEB, DIMA ALHADIDI, MARIARN NOUH, MOURAD DEBBABI, LINGYU
WANG, AND MAKAN POURZANDI
USING TEMPORAL LOGIC FOR DYNAMIC RECONFIGURATIONS OF C O M P O N E N T S
. . . . 200 JULIEN DORMOY, OLGA KOUCHNARENKO, AND ARNAUD LANOIX
HTTP://D-NB.INFO/1017314659
IMAGE 2
X TABLE OF CONTENTS
MODULAR TERMINATION ANALYSIS OF JAVA BYTECODE AND ITS APPLICATION T O
PHONEME CORE LIBRARIES 218
D. RAMIREZ-DEANTES, J. CORREAS, AND G. PUEBLA
DECOMPOSITION OF CONSTRAINT AUTOMATA 237
BAHMAN POURVATAN, MARJAN SIRJANI, FARHAD ARBAB, AND MARCELLO M.
BONSANGUE
GRAPH REPRESENTATION OF SESSIONS AND PIPELINES FOR STRUCTURED SERVICE
PROGRAMMING 259
ROBERTO BRUNI, ZHIMING LIU, AND LIANG ZHAO
WILL THE REAL SERVICE ORIENTED COMPUTING PLEASE STAND UP? (PANEL
DISCUSSION) 277
FARHAD ARBAB
PERFORMANCE VERIFICATION IN COMPLEX ENTERPRISE-LEVEL COMPONENT SYSTEMS
286
LUDUIIG A D A M
RUNTIME PROGRAMMING THROUGH MODEL-PRESERVING, SCALABLE RUNTIME PATCHES
290
CHRISTOPH M. KIRSEH, LUIS LOPES, EDUARDO R.B. MARQUES, AND A N A
SOKOLOVA
STEPS ON THE ROAD T O COMPONENT EVOLVABILITY 295
MARIO BRAVETTI, CINZIA DI GIUSTO, JORGE A. PEREZ, AND GIANLUIGI
ZAVATTARO
TOWARDS LINEAR ALGEBRAS OF COMPONENTS 300
HUGO DANIEL MACEDO AND JOSE NUNO OLIVEIRA
A U T H O R I N D E X 305 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV039965893 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 510f DAT 310f |
| ctrlnum | (OCoLC)785853605 (DE-599)DNB1017314659 |
| 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">BV039965893</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130402</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">120319s2012 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N48</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1017314659</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642272684</subfield><subfield code="c">kart. : EUR 57.78 (DE) (freier Pr.), EUR 59.40 (AT) (freier Pr.), sfr 72.00 (freier Pr.)</subfield><subfield code="9">978-3-642-27268-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642272681</subfield><subfield code="9">3-642-27268-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642272691</subfield><subfield code="c">eISBN</subfield><subfield code="9">978-3-642-27269-1</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642272684</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86028235</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)785853605</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1017314659</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-83</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</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 aspects of component software</subfield><subfield code="b">7th international workshop, FACS 2010, Guimarães, Portugal, October 14 - 16, 2010 ; revised selected papers</subfield><subfield code="c">Luís Soares Barbosa ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 303 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">6921</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">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</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">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Komponentenmodell</subfield><subfield code="g">Software</subfield><subfield code="0">(DE-588)7628523-6</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">2010</subfield><subfield code="z">Guimarães</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">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="2"><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">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Komponentenmodell</subfield><subfield code="g">Software</subfield><subfield code="0">(DE-588)7628523-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Barbosa, Luís Soares</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FACS</subfield><subfield code="n">7.</subfield><subfield code="d">2010</subfield><subfield code="c">Guimarães</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16343377-X</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="t">Formal Aspects of Component Software</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6921</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6921</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=024823535&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-024823535</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2010 Guimarães gnd-content |
| genre_facet | Konferenzschrift 2010 Guimarães |
| id | DE-604.BV039965893 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:14:40Z |
| institution | BVB |
| institution_GND | (DE-588)16343377-X |
| isbn | 9783642272684 3642272681 9783642272691 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024823535 |
| oclc_num | 785853605 |
| open_access_boolean | |
| owner | DE-706 DE-83 DE-91G DE-BY-TUM DE-11 |
| owner_facet | DE-706 DE-83 DE-91G DE-BY-TUM DE-11 |
| physical | X, 303 S. graph. Darst. 24 cm |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Formal aspects of component software 7th international workshop, FACS 2010, Guimarães, Portugal, October 14 - 16, 2010 ; revised selected papers Luís Soares Barbosa ... (eds.) Berlin [u.a.] Springer 2012 X, 303 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6921 Literaturangaben Formale Methode (DE-588)4333722-3 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Formale Sprache (DE-588)4017848-1 gnd rswk-swf Komponente Software (DE-588)4439521-8 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf Komponentenmodell Software (DE-588)7628523-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 Guimarães gnd-content Softwareentwicklung (DE-588)4116522-6 s Komponente Software (DE-588)4439521-8 s Formale Methode (DE-588)4333722-3 s DE-604 Software Engineering (DE-588)4116521-4 s Komponentenmodell Software (DE-588)7628523-6 s Formale Sprache (DE-588)4017848-1 s 1\p DE-604 Barbosa, Luís Soares Sonstige oth FACS 7. 2010 Guimarães Sonstige (DE-588)16343377-X oth Erscheint auch als Online-Ausgabe Formal Aspects of Component Software Lecture notes in computer science 6921 (DE-604)BV000000607 6921 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024823535&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Formal aspects of component software 7th international workshop, FACS 2010, Guimarães, Portugal, October 14 - 16, 2010 ; revised selected papers Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Formale Sprache (DE-588)4017848-1 gnd Komponente Software (DE-588)4439521-8 gnd Software Engineering (DE-588)4116521-4 gnd Komponentenmodell Software (DE-588)7628523-6 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4116522-6 (DE-588)4017848-1 (DE-588)4439521-8 (DE-588)4116521-4 (DE-588)7628523-6 (DE-588)1071861417 |
| title | Formal aspects of component software 7th international workshop, FACS 2010, Guimarães, Portugal, October 14 - 16, 2010 ; revised selected papers |
| title_auth | Formal aspects of component software 7th international workshop, FACS 2010, Guimarães, Portugal, October 14 - 16, 2010 ; revised selected papers |
| title_exact_search | Formal aspects of component software 7th international workshop, FACS 2010, Guimarães, Portugal, October 14 - 16, 2010 ; revised selected papers |
| title_full | Formal aspects of component software 7th international workshop, FACS 2010, Guimarães, Portugal, October 14 - 16, 2010 ; revised selected papers Luís Soares Barbosa ... (eds.) |
| title_fullStr | Formal aspects of component software 7th international workshop, FACS 2010, Guimarães, Portugal, October 14 - 16, 2010 ; revised selected papers Luís Soares Barbosa ... (eds.) |
| title_full_unstemmed | Formal aspects of component software 7th international workshop, FACS 2010, Guimarães, Portugal, October 14 - 16, 2010 ; revised selected papers Luís Soares Barbosa ... (eds.) |
| title_short | Formal aspects of component software |
| title_sort | formal aspects of component software 7th international workshop facs 2010 guimaraes portugal october 14 16 2010 revised selected papers |
| title_sub | 7th international workshop, FACS 2010, Guimarães, Portugal, October 14 - 16, 2010 ; revised selected papers |
| topic | Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Formale Sprache (DE-588)4017848-1 gnd Komponente Software (DE-588)4439521-8 gnd Software Engineering (DE-588)4116521-4 gnd Komponentenmodell Software (DE-588)7628523-6 gnd |
| topic_facet | Formale Methode Softwareentwicklung Formale Sprache Komponente Software Software Engineering Komponentenmodell Software Konferenzschrift 2010 Guimarães |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024823535&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT barbosaluissoares formalaspectsofcomponentsoftware7thinternationalworkshopfacs2010guimaraesportugaloctober14162010revisedselectedpapers AT facsguimaraes formalaspectsofcomponentsoftware7thinternationalworkshopfacs2010guimaraesportugaloctober14162010revisedselectedpapers |