Objects, components, models and patterns: 47th international conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29 - July 3, 2009 ; proceedings
Saved in:
| Other Authors: | |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; Heidelberg ; New York, NY
Springer
2009
|
| Series: | Lecture notes in business information processing
33 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturangaben |
| Physical Description: | XIII, 367 S. graph. Darst. 24 cm |
| ISBN: | 9783642025709 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035825990 | ||
| 003 | DE-604 | ||
| 005 | 20120911 | ||
| 007 | t| | ||
| 008 | 091113s2009 gw d||| |||| 10||| eng d | ||
| 015 | |a 09,N24,0043 |2 dnb | ||
| 015 | |a 09,A29,0038 |2 dnb | ||
| 016 | 7 | |a 994479530 |2 DE-101 | |
| 020 | |a 9783642025709 |c kart. : EUR 56.66 (freier Pr.), sfr 82.50 (freier Pr.) |9 978-3-642-02570-9 | ||
| 024 | 3 | |a 9783642025709 | |
| 028 | 5 | 2 | |a 12705689 |
| 035 | |a (OCoLC)423911310 | ||
| 035 | |a (DE-599)DNB994479530 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-384 | ||
| 082 | 0 | |a 005.1 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 245 | 1 | 0 | |a Objects, components, models and patterns |b 47th international conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29 - July 3, 2009 ; proceedings |c Manuel Oriol ... (eds.) |
| 264 | 1 | |a Berlin ; Heidelberg ; New York, NY |b Springer |c 2009 | |
| 300 | |a XIII, 367 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 business information processing |v 33 | |
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Model Checking - Kongress - Zürich <2009> | |
| 650 | 4 | |a Software Engineering - Kongress - Zürich <2009> | |
| 650 | 4 | |a Softwareentwicklung - Entwurfsmuster - Kongress - Zürich <2009> | |
| 650 | 4 | |a Softwareentwicklung - Komponente <Software> - Kongress - Zürich <2009> | |
| 650 | 4 | |a Softwareentwicklung - Objektorientierung - Kongress - Zürich <2009> | |
| 650 | 4 | |a Software engineering | |
| 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 Model Checking |0 (DE-588)4434799-6 |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 Entwurfsmuster |0 (DE-588)4546895-3 |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 Zürich |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 | |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 | |5 DE-604 | |
| 689 | 2 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 2 | 1 | |a Entwurfsmuster |0 (DE-588)4546895-3 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 4 | |5 DE-604 | |
| 700 | 1 | |a Oriol, Manuel |4 edt | |
| 711 | 2 | |a TOOLS |n 47. |d 2009 |c Zürich |j Sonstige |0 (DE-588)16016507-6 |4 oth | |
| 830 | 0 | |a Lecture notes in business information processing |v 33 |w (DE-604)BV023204387 |9 33 | |
| 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=018684637&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-018684637 | |
Record in the Search Index
| _version_ | 1820882449684496384 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
INVITED PRESENTATIONS
ON REALIZING A FRAMEWORK FOR SELF-TUNING MAPPINGS 1
MANUEL WIMMER, MARTINA SEIDL, PETRA BROSCH, HORST KARGL, AND GERTI
KOPPEL
PROGRAMMING MODELS FOR CONCURRENCY AND REAL-TIME (ABSTRACT) 17 JAN VITEK
REFLECTION AND ASPECTS
CIF: A FRAMEWORK FOR MANAGING INTEGRITY IN ASPECT-ORIENTED COMPOSITION
18
ANDREW CAMILLERI, GEOFFREY COULSON, AND LYNNE BLAIR
A D I A G R A M M A T IC F O R M A L I S A T I ON OF M O F - B A S ED M
O D E L L I NG L A N G U A G E S . . . 37
ADRIAN RUTLE, ALESSANDRO ROSSINI, YNGVE LAMO, AND UWE WOLTER
DESIGNING DESIGN CONSTRAINTS IN THE UML USING JOIN POINT DESIGNATION
DIAGRAMS 57
VANESSA STRIEKER, STEFAN HANENBERG, AND DOMINIK STEIN
S T R E A M - B A S ED D Y N A M IC C O M P I L A T I ON FOR O B J E C T
- O R I E N T ED L A N G U A G ES . . . 77
MICHAEL BEBENITA, MASON CHANG, ANDREAS GAL, AND MICHAEL FRANZ
MODELS
A L G E B R A IC S E M A N T I CS OF O C L - C O N S T R A I N ED M E T
A M O D EL SPECIFICATIONS . . . 96 ARTUR BORONAT AND JOSE MESEGUER
SPECIFYING AND COMPOSING CONCERNS EXPRESSED IN DOMAIN-SPECIFIC MODELING
LANGUAGES 116
ARAM HOVSEPYAN, STEFAN VAN BAELEN, YOLANDE BERBERS, AND WOUTER JOOSEN
EARLY CROSSCUTTING METRICS AS PREDICTORS OF SOFTWARE INSTABILITY 136
JOSE M. CONEJERO, EDUARDO FIGUEIREDO, ALESSANDRO GARCIA, JUAN HERNANDEZ,
AND ELENA JURADO
EXTENSIBILITY IN MODEL-BASED BUSINESS PROCESS ENGINES 157 MARIO SANCHEZ,
CAMUO JIMENEZ, JORGE VULABBOS, AND DIRK DERIDDER
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/994479530
DIGITALISIERT DURCH
IMAGE 2
XII TABLE OF CONTENTS
THEORY
GUARANTEEING SYNTACTIC CORRECTNESS FOR ALL PRODUCT LINE VARIANTS: A
LANGUAGE-INDEPENDENT APPROACH 175
CHRISTIAN KAESTNER, SVEN APEL, SALVADOR TRUJILLO, MARTIN KUHLEMANN, AND
DON BATORY A SOUND AND COMPLETE PROGRAM LOGIC FOR EIFFEL 195
MARTIN NORDIO, CRISTIANO CALCAGNO, PETER MUELLER, AND BERTRAND MEYER
COMPONENTS
A CODING FRAMEWORK FOR FUNCTIONAL ADAPTATION OF COARSE-GRAINED
COMPONENTS IN EXTENSIBLE EJB SERVERS 215
OLIVIER CARON, BERNARD CARRE, ALEXIS MUELLER, AND GILLES VANWORMHOUDT A
LEASING MODEL TO DEAL WITH PARTIAL FAILURES IN MOBILE AD HOC NETWORKS
231
ELISA GONZALEZ BOIX, TOM VAN CUTSEM, JORGE VALLEJOS, WOLFGANG DE MEUTER,
AND THEO D'HONDT
MONITORING
REUSING AND COMPOSING TESTS WITH TRAITS 252
STEPHANE DUCASSE, DAMIEN POLLET, ALEXANDRE BERGET, AND DAMIEN CASSOU
FLOW-CENTRIC, BACK-IN-TIME DEBUGGING 272
ADRIAN LIENHARD, JULIEN FIERZ, AND OSCAR NIERSTRASZ A CLASSIFICATION
FRAMEWORK FOR POINTCUT LANGUAGES IN RUNTIME MONITORING 289
KARL KLOSE AND KLAUS OSTERMANN
SYSTEMS GENERATION
FAST SIMULATION TECHNIQUES FOR DESIGN SPACE EXPLORATION 308 DANIEL
KNORRECK, LUDOVIC APVRILLE, AND RENAUD PACALET PYGIRL: GENERATING
WHOLE-SYSTEM VMS FROM HIGH-LEVEL PROTOTYPES USING PYPY 328
CAMILLO BRUNI AND TOON VERWAEST
SHORT PAPERS
USING GRAMMARWARE LANGUAGES TO DEFINE OPERATIONAL SEMANTICS OF MODELLED
LANGUAGES *
DANIEL A. SADTLEK AND GUIDO WACHSMUTH
IMAGE 3
TABLE OF CONTENTS XIII
AUTOMATIC GENERATION OF INTEGRATED FORMAL MODELS CORRESPONDING TO UML
SYSTEM MODELS 357
HELEN TREHARNE, EDWARD TURNER, RICHARD F. PAIGE, AND DIMITRIOS S.
KOLOVOS
AUTHOR INDEX 369 |
| any_adam_object | 1 |
| author2 | Oriol, Manuel |
| author2_role | edt |
| author2_variant | m o mo |
| author_facet | Oriol, Manuel |
| building | Verbundindex |
| bvnumber | BV035825990 |
| classification_rvk | SS 4801 |
| ctrlnum | (OCoLC)423911310 (DE-599)DNB994479530 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| 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">BV035825990</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120911</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">091113s2009 gw d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N24,0043</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,A29,0038</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">994479530</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642025709</subfield><subfield code="c">kart. : EUR 56.66 (freier Pr.), sfr 82.50 (freier Pr.)</subfield><subfield code="9">978-3-642-02570-9</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642025709</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12705689</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)423911310</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB994479530</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-384</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">22/ger</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">Objects, components, models and patterns</subfield><subfield code="b">47th international conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29 - July 3, 2009 ; proceedings</subfield><subfield code="c">Manuel Oriol ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York, NY</subfield><subfield code="b">Springer</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 367 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 business information processing</subfield><subfield code="v">33</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Model Checking - Kongress - Zürich <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering - Kongress - Zürich <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Softwareentwicklung - Entwurfsmuster - Kongress - Zürich <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Softwareentwicklung - Komponente <Software> - Kongress - Zürich <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Softwareentwicklung - Objektorientierung - Kongress - Zürich <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</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">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</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">Entwurfsmuster</subfield><subfield code="0">(DE-588)4546895-3</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">Zürich</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=" "><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2="1"><subfield code="a">Entwurfsmuster</subfield><subfield code="0">(DE-588)4546895-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" 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="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Oriol, Manuel</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">TOOLS</subfield><subfield code="n">47.</subfield><subfield code="d">2009</subfield><subfield code="c">Zürich</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16016507-6</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in business information processing</subfield><subfield code="v">33</subfield><subfield code="w">(DE-604)BV023204387</subfield><subfield code="9">33</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=018684637&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-018684637</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 Zürich gnd-content |
| genre_facet | Konferenzschrift 2009 Zürich |
| id | DE-604.BV035825990 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T17:07:04Z |
| institution | BVB |
| institution_GND | (DE-588)16016507-6 |
| isbn | 9783642025709 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018684637 |
| oclc_num | 423911310 |
| open_access_boolean | |
| owner | DE-384 |
| owner_facet | DE-384 |
| physical | XIII, 367 S. graph. Darst. 24 cm |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in business information processing |
| series2 | Lecture notes in business information processing |
| spelling | Objects, components, models and patterns 47th international conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29 - July 3, 2009 ; proceedings Manuel Oriol ... (eds.) Berlin ; Heidelberg ; New York, NY Springer 2009 XIII, 367 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in business information processing 33 Literaturangaben Model Checking - Kongress - Zürich <2009> Software Engineering - Kongress - Zürich <2009> Softwareentwicklung - Entwurfsmuster - Kongress - Zürich <2009> Softwareentwicklung - Komponente <Software> - Kongress - Zürich <2009> Softwareentwicklung - Objektorientierung - Kongress - Zürich <2009> Software engineering Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Komponente Software (DE-588)4439521-8 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf Entwurfsmuster (DE-588)4546895-3 gnd rswk-swf Objektorientierung (DE-588)4346172-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2009 Zürich gnd-content Softwareentwicklung (DE-588)4116522-6 s Komponente Software (DE-588)4439521-8 s DE-604 Objektorientierung (DE-588)4346172-4 s Entwurfsmuster (DE-588)4546895-3 s Model Checking (DE-588)4434799-6 s Software Engineering (DE-588)4116521-4 s Oriol, Manuel edt TOOLS 47. 2009 Zürich Sonstige (DE-588)16016507-6 oth Lecture notes in business information processing 33 (DE-604)BV023204387 33 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018684637&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Objects, components, models and patterns 47th international conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29 - July 3, 2009 ; proceedings Lecture notes in business information processing Model Checking - Kongress - Zürich <2009> Software Engineering - Kongress - Zürich <2009> Softwareentwicklung - Entwurfsmuster - Kongress - Zürich <2009> Softwareentwicklung - Komponente <Software> - Kongress - Zürich <2009> Softwareentwicklung - Objektorientierung - Kongress - Zürich <2009> Software engineering Softwareentwicklung (DE-588)4116522-6 gnd Komponente Software (DE-588)4439521-8 gnd Model Checking (DE-588)4434799-6 gnd Software Engineering (DE-588)4116521-4 gnd Entwurfsmuster (DE-588)4546895-3 gnd Objektorientierung (DE-588)4346172-4 gnd |
| subject_GND | (DE-588)4116522-6 (DE-588)4439521-8 (DE-588)4434799-6 (DE-588)4116521-4 (DE-588)4546895-3 (DE-588)4346172-4 (DE-588)1071861417 |
| title | Objects, components, models and patterns 47th international conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29 - July 3, 2009 ; proceedings |
| title_auth | Objects, components, models and patterns 47th international conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29 - July 3, 2009 ; proceedings |
| title_exact_search | Objects, components, models and patterns 47th international conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29 - July 3, 2009 ; proceedings |
| title_full | Objects, components, models and patterns 47th international conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29 - July 3, 2009 ; proceedings Manuel Oriol ... (eds.) |
| title_fullStr | Objects, components, models and patterns 47th international conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29 - July 3, 2009 ; proceedings Manuel Oriol ... (eds.) |
| title_full_unstemmed | Objects, components, models and patterns 47th international conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29 - July 3, 2009 ; proceedings Manuel Oriol ... (eds.) |
| title_short | Objects, components, models and patterns |
| title_sort | objects components models and patterns 47th international conference tools europe 2009 zurich switzerland june 29 july 3 2009 proceedings |
| title_sub | 47th international conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29 - July 3, 2009 ; proceedings |
| topic | Model Checking - Kongress - Zürich <2009> Software Engineering - Kongress - Zürich <2009> Softwareentwicklung - Entwurfsmuster - Kongress - Zürich <2009> Softwareentwicklung - Komponente <Software> - Kongress - Zürich <2009> Softwareentwicklung - Objektorientierung - Kongress - Zürich <2009> Software engineering Softwareentwicklung (DE-588)4116522-6 gnd Komponente Software (DE-588)4439521-8 gnd Model Checking (DE-588)4434799-6 gnd Software Engineering (DE-588)4116521-4 gnd Entwurfsmuster (DE-588)4546895-3 gnd Objektorientierung (DE-588)4346172-4 gnd |
| topic_facet | Model Checking - Kongress - Zürich <2009> Software Engineering - Kongress - Zürich <2009> Softwareentwicklung - Entwurfsmuster - Kongress - Zürich <2009> Softwareentwicklung - Komponente <Software> - Kongress - Zürich <2009> Softwareentwicklung - Objektorientierung - Kongress - Zürich <2009> Software engineering Softwareentwicklung Komponente Software Model Checking Software Engineering Entwurfsmuster Objektorientierung Konferenzschrift 2009 Zürich |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018684637&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV023204387 |
| work_keys_str_mv | AT oriolmanuel objectscomponentsmodelsandpatterns47thinternationalconferencetoolseurope2009zurichswitzerlandjune29july32009proceedings AT toolszurich objectscomponentsmodelsandpatterns47thinternationalconferencetoolseurope2009zurichswitzerlandjune29july32009proceedings |