On the formalization of model-driven software engineering
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin
Logos-Verl.
2009
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV035943596 | ||
| 003 | DE-604 | ||
| 005 | 20100305 | ||
| 007 | t| | ||
| 008 | 100108s2009 gw d||| m||| 00||| eng d | ||
| 015 | |a 09,A52,0074 |2 dnb | ||
| 016 | 7 | |a 998495778 |2 DE-101 | |
| 020 | |a 9783832523121 |c kart. |9 978-3-8325-2312-1 | ||
| 035 | |a (OCoLC)492296837 | ||
| 035 | |a (DE-599)DNB998495778 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE | ||
| 049 | |a DE-473 | ||
| 082 | 0 | |a 005.10285 |2 22/ger | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 100 | 1 | |a Garcia Gutierrez, Miguel Alfredo |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a On the formalization of model-driven software engineering |c von Miguel Alfredo Garcia Gutierrez |
| 264 | 1 | |a Berlin |b Logos-Verl. |c 2009 | |
| 300 | |a XV, 290 S. |b graph. Darst. |c 21 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 502 | |a Zugl.: Hamburg, Techn. Univ., Diss., 2009 | ||
| 650 | 0 | 7 | |a OCL |g Programmiersprache |0 (DE-588)4680186-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Metamodell |0 (DE-588)4825945-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modelltransformation |0 (DE-588)7616754-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Domänenspezifische Programmiersprache |0 (DE-588)7585264-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modellgetriebene Entwicklung |0 (DE-588)4832365-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Modellgetriebene Entwicklung |0 (DE-588)4832365-2 |D s |
| 689 | 0 | 1 | |a Metamodell |0 (DE-588)4825945-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Modellgetriebene Entwicklung |0 (DE-588)4832365-2 |D s |
| 689 | 1 | 1 | |a Modelltransformation |0 (DE-588)7616754-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Modellgetriebene Entwicklung |0 (DE-588)4832365-2 |D s |
| 689 | 2 | 1 | |a OCL |g Programmiersprache |0 (DE-588)4680186-8 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Modellgetriebene Entwicklung |0 (DE-588)4832365-2 |D s |
| 689 | 3 | 1 | |a Domänenspezifische Programmiersprache |0 (DE-588)7585264-0 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a Modellgetriebene Entwicklung |0 (DE-588)4832365-2 |D s |
| 689 | 4 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 4 | |5 DE-604 | |
| 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=018800795&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-018800795 | |
Datensatz im Suchindex
| _version_ | 1819700827599667200 |
|---|---|
| adam_text | CONTENTS 1 INTRODUCTION 1 1.1 MOTIVATION FOR THIS RESEARCH 1 1.2 THESIS
STATEMENT 2 1.3 BACKGROUND 3 1.3.1 DESIGN PATTERNS VS. LANGUAGE
EXTENSIONS VS. DSLS 3 1.3.2 LOGICAL CONSISTENCY OF DATA MODELS 5 1.3.3
LOGICAL CONSISTENCY OF BEHAVIORAL SPECIFICATIONS 5 1.3.4 VERIFICATION OF
00 PROGRAMS 7 1.4 CONTRIBUTIONS 9 1.5 LIST OF PUBLICATIONS 10 1.6
DISSEMINATION IN INDUSTRY AND STANDARDIZATION BODIES 12 1.7 OUTLINE OF
THE DISSERTATION 13 1.8 ACKNOWLEDGEMENTS 14 2 THE PURPOSE OF LANGUAGE
METAMODELING 15 2.1 SAMPLE SHORTCOMINGS OF THE JPQL SPEC 18 2.2
CONSISTENCY AND COMPLETENESS ENFORCED BY LANGUAGE METAMODELING 20 2.3
SELECTED EXAMPLES OF ADDITIONAL CORNER CASES 23 2.3.1 VISIBILITY OF
DECLARATIONS 23 2.3.2 REDUCTION OF DATASETS INTO GROUPS 25 2.3.3 PATH
EXPRESSIONS 26 2.4 STATIC SEMANTICS AND DATABASE SCHEMA 28 2.5 RELATED
WORK 30 2.5.1 METAMODELING-BASED APPROACHES 30 2.5.2 GRAMMAR-BASED
APPROACHES 31 BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/998495778
DIGITALISIERT DURCH 5.3 COMPILATION PHASES 83 2.6 SUMMARY 31 3
METAMODEL-BASED SPECIFICATION OF TYPE SAFETY 37 3.1 TYPE SYSTEMS 39 3.2
WELL-FORMED TYPES IN EMF GENERICS 41 3.2.1 DECLARATION OF A GENERIC TYPE
42 3.2.2 TYPE INVOCATION 42 3.2.3 SUBTYPING BETWEEN TWO PARAMETERIZED
TYPES 43 3.3 RELATED WORK 45 3.3.1 TYPING OF OBJECT-ORIENTED PROGRAMS 45
3.3.2 IMPROVEMENTS TO THE JAVA TYPE SYSTEM 46 3.4 EVALUATION 48 4
LOGICAL CONSISTENCY OF METAMODELS 51 4.1 APPLICATION OF ALLOY MODEL
GENERATION TO DESCRIPTION LOGICS 53 4.2 TRANSLATION FROM DESCRIPTION
LOGICS 55 4.2.1 TRANSLATION RULES FOR ACC 56 4.2.2 TRANSLATION OF SKLQ.
AND SRO1Q 58 4.3 CASE STUDIES 59 4.3.1 MODEL INSPECTION BY
COUNTEREXAMPLE EXTRACTION 59 4.3.2 COUNTEREXAMPLES FOR A SUBSUMPTION
ASSUMPTION 60 4.3.3 COUNTEREXAMPLES FOR A CONCEPT EQUIVALENCE ASSUMPTION
... 62 4.4 EVALUATION OF PRACTICAL USEFULNESS 62 4.5 OUTLOOK 65 5
TRANSLATION OF OCL SPECIFICATIONS 67 5.1 TARGET SOFTWARE ARCHITECTURE 70
5.2 PROCESSING OF OCL ABSTRACT SYNTAX TREES 71 5.2.1 BASIC API FOR
VISITORS 73 5.2.2 USAGE OF GENERICS WHEN PROCESSING OCL ASTS 75 5.2.3
COMMON STEPS IN WRITING OCL VISITORS 76 5.2.4 FURTHER TECHNIQUES TO
PROCESS OCL ASTS 79 7.5.1 OCL TEXT EDITOR 129 5.3.1 INFORMATION
INITIALLY AVAILABLE TO THE COMPILER 83 5.3.2 TYPES CONVERSION 84 5.3.3
EXPRESSIONS TRANSLATION 86 5.4 TRANSLATION PATTERNS 90 5.4.1 EXTENDING
THE COMPILER 91 5.5 REFACTORING OF OCL EXPRESSIONS 92 5.6 PERFORMANCE 94
5.7 INTEGRATION IN AN MDSE TOOLCHAIN 95 5.8 RELATED WORK AND EVALUATION
96 6 AUTOMATING THE EMBEDDING OF DOMAIN SPECIFIC LANGUAGES 101 6.1
EMBEDDED DSLS AND STATIC SEMANTICS 102 6.2 CODE IDIOMS IN APIS FOR
EMBEDDED DSLS 105 6.3 CHECKING STATIC SEMANTICS DURING EDITING 107 6.4
PROCESSING DSL STATEMENTS BEYOND CHECKING OF STATIC SEMANTICS . . 109
6.4.1 EXISTING IDE INFRASTRUCTURE FOR DSL PROCESSING 109 6.4.2 IN-PLACE
TRANSLATION 110 C.4.3 STATEMENT-LEVEL ANNOTATIONS 112 6.4.4 DSL-SPECIFIC
VIEWS 113 6.5 RELATED WORK 113 6.5.1 DSL EMBEDDING IN SCALA 113 6.5.2
STATIC ANALYSIS OF XML ARTIFACTS 114 6.6 SUMMARY 115 7 GENERATION OF
AUTHORING ENVIRONMENTS FROM LANGUAGE SPECIFICATIONS 117 7.1 STATE OF THE
ART IN IDE GENERATION 119 7.2 GENERATION OF PARSING INFRASTRUCTURE 120
7.3 FUNCTIONAL CATEGORIES TO SUPPORT BY DSL TEXT EDITORS 123 7.4 CASE
STUDY: TEXTUAL NOTATION FOR A STATECHART LANGUAGE 124 7.4.1 ARGUMENTS IN
FAVOR OF A TEXTUAL NOTATION 125 7.4.2 AN EXAMPLE: STATECHART OF
TELEPHONE OBJECT 126 7.5 IDE SUPPORT FOR OCL 129 7.5.2 A USABILITY
FEATURE IN FOCUS: MARK OCCURRENCES 131 7.5.3 CANDIDATE EXTENSIONS 134
7.6 RELATED WORK 135 7.6.1 DUAL SYNTAXES 136 7.6.2 VERBALIZATION INTO
CONTROLLED NATURAL LANGUAGE 136 7.7 OUTLOOK 137 8 BIDIRECTIONAL
SYNCHRONIZATION IN MULTIVIEV» IDES 141 8.1 BENEFITS OF THE PROPOSED
APPROACH 143 8.2 CANDIDATE APPROACHES DISTILLED 145 8.2.1 PROGRAM
INVERSION, DATA SYNCHRONIZATION, AND VIRTUAL VIEW UPDATE 146 8.2.2
GRAPH-GRAMMARS AND QVT-RELATIONS 148 8.3 INTEGRATION IN AN EMOF-BASED
MODELING INFRASTRUCTURE 150 8.3.1 OPERATORS FOR TWO-WAY TRANSFORMATIONS:
TWECORE 151 8.3.2 ENCODING OF EMOF MODELS USING INDUCTIVE DATA TYPES ...
152 8.3.3 DIAGRAMMATIC VIEWS AND GEOMETRIC CONSTRAINT SOLVERS . . . .
153 8.4 RELATED WORK 154 8.5 EVALUATION 156 9 DESIGN-TIME CERTIFICATION
OF TRANSFORMATION ALGORITHMS 159 9.1 FORMALIZATION OF ESSENTIAL MOF +
OCL FOR MODEL CHECKING 162 9.1.1 TRANSLATING EMOF INTO +CAL 163 9.1.2
TRANSLATING OCL INTO +CAL 164 9.2 CERTIFICATION PROCESS 166 9.2.1
DIRECTLY SPECIFYING TRANSFORMATIONS IN TERMS OF EMOF . . . . 166 9.3
CERTIFYING A NON-TRIVIAL IN-PLACE TRANSFORMATION: SCHORR-WAITE . . . .
167 9.3.1 A GRAPH-MARKING ALGORITHM FOR GARBAGE COLLECTION 167 9.3.2
ALLOY FORMALIZATION OF OPERATIONS 171 9.3. 12.2.1 THE DITTO
INSTRUMENTATION ALGORITHM 235 10 MODEL TRANSFORMATION BASED ON PATTERN
MATCHING 179 10.1 TERM REWRITING 180 10.2 FORMALIZATION APPROACH 182
10.3 STATIC SEMANTICS, OCL FORMULATION 184 10.3.1 WFRS FOR TEMPLATES 186
10.3.2 WFRS AROUND RELATIONCALLEXPS 190 10.3.3 INTERPLAY BETWEEN
RELATION OVERRIDING AND THE TARGET MODEL . 191 10.3.4 TYPES OF MEMBERS
OF A COLLECTIONTEMPLATEEXP 193 10.3.5 A SIDENOTE ON TERMINOLOGY 195 10.4
DYNAMIC SEMANTICS, ALLOY FORMULATION 195 10.4.1 METHODOLOGY 197 10.4.2
CASE STUDY 199 10.5 RELATED WORK 201 10.6 EVALUATION 203 11 EFFICIENT
RUN-TIME INTEGRITY CHECKING: SOFTWARE REPOSITORIES 205 11.1 INTEGRITY
CHECKING IN SOFTWARE REPOSITORIES 207 11.2 EXPRESSIVENESS AND RUNTIME
COST OF INTEGRITY CHECKING 208 11.3 INCREMENTAL INTEGRITY CHECKING FOR
OCL 210 11.4 COMPUTATIONALLY COMPLETE CONSTRAINT LANGUAGE 212 11.5
TRANSLATION OF OCL INTO MONOID CALCULUS 214 11.5.1 THE MONOID CALCULUS
215 11.5.2 TRANSLATION RULES 217 11.6 OPTIMIZATIONS WITH MONOID CALCULUS
219 11.7 RELATED WORK 224 11.8 EVALUATION 226 12 EFFICIENT RUN-TIME
INTEGRITY CHECKING: MAIN-MEMORY 229 12.1 PRECONDITIONS FOR
INCREMENTALIZATION 231 12.1.1 OVERLAPPING SUBPROBLEMS 231 12.1.2
REFERENTIAL TRANSPARENCY 232 12.2 INCREMENTALIZATION 233 13.2 CLOSING
REMARKS 260 12.2.2 DESIGN CONSIDERATIONS 238 12.2.3 A FIRST EXAMPLE OF
OCL INCREMENTALIZATION 240 12.2.4 TERMINATION BEHAVIOR OF OCL
EXPRESSIONS 243 12.3 INCREMENTALIZATION: COMPILE-TIME TASKS 243 12.3.1
DDG LOOKUP 244 12.3.2 IMPLICIT ARGUMENTS AND THEIR SETTERS 244 12.3.3
OPERATIONS ON COLLECTIONS AND THEIR MUTATORS 246 12.3.4 SUBCOMPUTATIONS
247 12.4 INCREMENTALIZATION: RUNTIME TASKS 247 12.4.1 UPDATE PHASE OF A
TRANSACTION 247 12.4.2 COMMIT PHASE ACTIVITIES 248 12.5 CONSEQUENCES OF
THE DESIGN CHOICES MADE 250 12.6 FUTURE WORK: SHARED-MEMORY TRANSACTIONS
251 12.6.1 MOTIVATION 251 12.6.2 RUNTIME DETECTION OF DATA RACES 253
12.6.3 INITIAL ASSESSMENT 254 12.7 RELATED WORK 255 12.8 EVALUATION 257
13 CONCLUSIONS 259 13.1 EVALUATION OF THE RESEARCH HYPOTHESIS 259
|
| any_adam_object | 1 |
| author | Garcia Gutierrez, Miguel Alfredo |
| author_facet | Garcia Gutierrez, Miguel Alfredo |
| author_role | aut |
| author_sort | Garcia Gutierrez, Miguel Alfredo |
| author_variant | g m a g gma gmag |
| building | Verbundindex |
| bvnumber | BV035943596 |
| classification_rvk | ST 230 |
| ctrlnum | (OCoLC)492296837 (DE-599)DNB998495778 |
| dewey-full | 005.10285 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.10285 |
| dewey-search | 005.10285 |
| dewey-sort | 15.10285 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02539nam a2200613 c 4500</leader><controlfield tag="001">BV035943596</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100305 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100108s2009 gw d||| m||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,A52,0074</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">998495778</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783832523121</subfield><subfield code="c">kart.</subfield><subfield code="9">978-3-8325-2312-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)492296837</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB998495778</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</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.10285</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Garcia Gutierrez, Miguel Alfredo</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">On the formalization of model-driven software engineering</subfield><subfield code="c">von Miguel Alfredo Garcia Gutierrez</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Logos-Verl.</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 290 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">21 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="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Hamburg, Techn. Univ., Diss., 2009</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">OCL</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4680186-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Metamodell</subfield><subfield code="0">(DE-588)4825945-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modelltransformation</subfield><subfield code="0">(DE-588)7616754-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Domänenspezifische Programmiersprache</subfield><subfield code="0">(DE-588)7585264-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modellgetriebene Entwicklung</subfield><subfield code="0">(DE-588)4832365-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Modellgetriebene Entwicklung</subfield><subfield code="0">(DE-588)4832365-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Metamodell</subfield><subfield code="0">(DE-588)4825945-7</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">Modellgetriebene Entwicklung</subfield><subfield code="0">(DE-588)4832365-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Modelltransformation</subfield><subfield code="0">(DE-588)7616754-9</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">Modellgetriebene Entwicklung</subfield><subfield code="0">(DE-588)4832365-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">OCL</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4680186-8</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">Modellgetriebene Entwicklung</subfield><subfield code="0">(DE-588)4832365-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Domänenspezifische Programmiersprache</subfield><subfield code="0">(DE-588)7585264-0</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">Modellgetriebene Entwicklung</subfield><subfield code="0">(DE-588)4832365-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" 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="4" ind2=" "><subfield code="5">DE-604</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=018800795&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-018800795</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV035943596 |
| illustrated | Illustrated |
| indexdate | 2024-12-23T22:52:21Z |
| institution | BVB |
| isbn | 9783832523121 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018800795 |
| oclc_num | 492296837 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG |
| owner_facet | DE-473 DE-BY-UBG |
| physical | XV, 290 S. graph. Darst. 21 cm |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Logos-Verl. |
| record_format | marc |
| spellingShingle | Garcia Gutierrez, Miguel Alfredo On the formalization of model-driven software engineering OCL Programmiersprache (DE-588)4680186-8 gnd Metamodell (DE-588)4825945-7 gnd Modelltransformation (DE-588)7616754-9 gnd Domänenspezifische Programmiersprache (DE-588)7585264-0 gnd Modellgetriebene Entwicklung (DE-588)4832365-2 gnd Formale Methode (DE-588)4333722-3 gnd |
| subject_GND | (DE-588)4680186-8 (DE-588)4825945-7 (DE-588)7616754-9 (DE-588)7585264-0 (DE-588)4832365-2 (DE-588)4333722-3 (DE-588)4113937-9 |
| title | On the formalization of model-driven software engineering |
| title_auth | On the formalization of model-driven software engineering |
| title_exact_search | On the formalization of model-driven software engineering |
| title_full | On the formalization of model-driven software engineering von Miguel Alfredo Garcia Gutierrez |
| title_fullStr | On the formalization of model-driven software engineering von Miguel Alfredo Garcia Gutierrez |
| title_full_unstemmed | On the formalization of model-driven software engineering von Miguel Alfredo Garcia Gutierrez |
| title_short | On the formalization of model-driven software engineering |
| title_sort | on the formalization of model driven software engineering |
| topic | OCL Programmiersprache (DE-588)4680186-8 gnd Metamodell (DE-588)4825945-7 gnd Modelltransformation (DE-588)7616754-9 gnd Domänenspezifische Programmiersprache (DE-588)7585264-0 gnd Modellgetriebene Entwicklung (DE-588)4832365-2 gnd Formale Methode (DE-588)4333722-3 gnd |
| topic_facet | OCL Programmiersprache Metamodell Modelltransformation Domänenspezifische Programmiersprache Modellgetriebene Entwicklung Formale Methode Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018800795&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT garciagutierrezmiguelalfredo ontheformalizationofmodeldrivensoftwareengineering |