skip to content
Model Driven Engineering Languages and Systems : 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings Preview this item
ClosePreview this item
Checking...

Model Driven Engineering Languages and Systems : 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings

Author: David HutchisonJean-Michel BruelKrzysztof CzarneckiTakeo KanadeJosef KittlerAll authors
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Series: Lecture Notes in Computer Science, 5301.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Publication:Model driven engineering languages and systems.
Summary:

This book constitutes the refereed proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2008, held in Toulouse, France, during September  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Kongress
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: David Hutchison; Jean-Michel Bruel; Krzysztof Czarnecki; Takeo Kanade; Josef Kittler; Jon M Kleinberg; Friedemann Mattern; John C Mitchell; Moni Naor; Oscar Nierstrasz; Ileana Ober; C Pandu Rangan; Bernhard Steffen; Madhu Sudan; Demetri Terzopoulos; Doug Tygar; Axel Uhl; Moshe Y Vardi; Markus Völter; Gerhard Weikum
ISBN: 9783540878759 3540878750
OCLC Number: 315967796
Notes: In: Springer-Online.
Description: 1 online resource (Online-Ressource.) : v.: digital.
Contents: Keynote I.- The Objects and Arrows of Computational Design.- Algebraic Models for Bidirectional Model Synchronization.- An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations.- Precise Semantics of EMF Model Transformations by Graph Transformation.- A Formal Metamodel for Problem Frames.- Visualization of Use Cases through Automatically Generated Activity Diagrams.- Requirements Modeling and Validation Using Bi-layer Use Case Descriptions.- WebWorkFlow: An Object-Oriented Workflow Modeling Language for Web Applications.- The Future of Train Signaling.- NAOMI - An Experimental Platform for Multi-modeling.- Keynote II.- Abstraction and Modelling - A Complementary Partnership.- Model Transformation as an Optimization Problem.- Example-Based Program Transformation.- Detecting Patterns of Poor Design Solutions Using Constraint Propagation.- A General Approach for Scenario Integration.- Behavioral Modelling and Composition of Object Slices Using Event Observation.- Scenario-Based Static Analysis of UML Class Models.- Constructing Models with the Human-Usable Textual Notation.- X3D-UML: 3D UML State Machine Diagrams.- Assessing the Influence of Stereotypes on the Comprehension of UML Sequence Diagrams: A Controlled Experiment.- Keynote III.- 3D Parametric Models for Aeroplanes - From Idea to Design.- MOOGLE: A Model Search Engine.- Managing Model Conflicts in Distributed Development.- Metamodel Matching for Automatic Model Transformation Generation.- Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams.- Implementation of the Conformance Relation for Incremental Development of Behavioural Models.- A Model-Based Framework for Statically and Dynamically Checking Component Interactions.- Formal Definition of MOF 2.0 Metamodel Components and Composition.- Interfaces and Metainterfaces for Models and Metamodels.- Model&Metamodel, Metadata and Document Repository for Software and Data Integration.- Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax.- A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency.- Contrary-to-Duties Constraints: From UML to Relational Model.- A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms.- Integrating Performance Analysis in the Model Driven Development of Software Product Lines.- A Model-Driven Measurement Approach.- Specifying Service Composition Using UML 2.x and Composition Policies.- A Model-Based Framework for Security Policy Specification, Deployment and Testing.- A Pattern Language Verifier for Web-Based Enterprise Applications.- Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty.- Autonomic Management Policy Specification: From UML to DSML.- Empirical Analysis of the Relation between Level of Detail in UML Models and Defect Density.- An Empirical Investigation on Dynamic Modeling in Requirements Engineering.- Heterogeneous Coupled Evolution of Software Languages.- Automatability of Coupled Evolution of Metamodels and Models in Practice.- Enriching Reverse Engineering with Annotations.- Towards a Formal Account of a Foundational Subset for Executable UML Models.- A Lightweight Approach for Defining the Formal Semantics of a Modeling Language.- Semantically Configurable Code Generation.- Safety Hazard Identification by Misuse Cases: Experimental Comparison of Text and Diagrams.- Adding Dependability Analysis Capabilities to the MARTE Profile.- Visual ScatterUnit: A Visual Model-Driven Testing Framework of Wireless Sensor Networks Applications.- Aspect-Oriented Model Weaving Beyond Model Composition and Model Transformation.- An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability.- Managing Variability Complexity in Aspect-Oriented Modeling.- Mapping the UML2 Semantics of Associations to a Java Code Generation Model.- Meaningful Composite Structures.- A Systematic Approach to Connectors in a Multi-level Modeling Environment.- Model-Based Quality Assurance of Automotive Software.- Ontology Guided Evolution of Complex Embedded Systems Projects in the Direction of MDA.- General Mode Controller for Software on Artificial Satellite with Model-Based Validation Tool.- Workshops at MODELS 2008.- Educators Symposium at MODELS 2008.- Doctoral Symposium at MODELS 2008.- Tutorials at MODELS 2008.- Panels at MODELS 2008.
Series Title: Lecture Notes in Computer Science, 5301.
Responsibility: edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Krzysztof Czarnecki, Ileana Ober, Jean-Michel Bruel, Axel Uhl, Markus Völter.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/315967796> # Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
   library:oclcnum "315967796" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/899962036#Place/berlin_heidelberg> ; # Berlin, Heidelberg
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://id.worldcat.org/fast/872518> ; # Computer simulation
   schema:about <http://experiment.worldcat.org/entity/work/data/899962036#Topic/management_of_computing_and_information_systems> ; # Management of Computing and Information Systems
   schema:about <http://id.loc.gov/authorities/subjects/sh89003285> ; # Computer science
   schema:about <http://experiment.worldcat.org/entity/work/data/899962036#Topic/systementwicklung> ; # Systementwicklung
   schema:about <http://experiment.worldcat.org/entity/work/data/899962036#Place/toulouse_2008> ; # Toulouse (2008)
   schema:about <http://experiment.worldcat.org/entity/work/data/899962036#Topic/simulation_and_modeling> ; # Simulation and Modeling
   schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
   schema:about <http://experiment.worldcat.org/entity/work/data/899962036#Topic/modelltransformation> ; # Modelltransformation
   schema:about <http://experiment.worldcat.org/entity/work/data/899962036#Topic/software_engineering> ; # Software Engineering
   schema:about <http://experiment.worldcat.org/entity/work/data/899962036#Topic/programming_languages_compilers_interpreters> ; # Programming Languages, Compilers, Interpreters
   schema:about <http://experiment.worldcat.org/entity/work/data/899962036#Topic/visualisierung> ; # Visualisierung
   schema:about <http://experiment.worldcat.org/entity/work/data/899962036#Topic/modellgetriebene_entwicklung> ; # Modellgetriebene Entwicklung
   schema:about <http://experiment.worldcat.org/entity/work/data/899962036#Topic/information_systems> ; # Information Systems
   schema:about <http://experiment.worldcat.org/entity/work/data/899962036#Topic/uml> ; # UML
   schema:about <http://experiment.worldcat.org/entity/work/data/899962036#Topic/formale_methode> ; # Formale Methode
   schema:about <http://id.loc.gov/authorities/subjects/sh85029533> ; # Computer simulation
   schema:about <http://dewey.info/class/005.117/> ;
   schema:about <http://id.loc.gov/authorities/subjects/sh87007398> ; # Software engineering
   schema:about <http://experiment.worldcat.org/entity/work/data/899962036#Topic/3d_grafik_software> ; # 3D-Grafik-Software
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/61636213> ; # Takeo Kanade
   schema:contributor <http://viaf.org/viaf/34708198> ; # Markus Völter
   schema:contributor <http://viaf.org/viaf/38149066394665601007> ; # Doug Tygar
   schema:contributor <http://viaf.org/viaf/32154680> ; # Madhu Sudan
   schema:contributor <http://viaf.org/viaf/199838123> ; # Ileana Ober
   schema:contributor <http://viaf.org/viaf/10004382> ; # Demetri Terzopoulos
   schema:contributor <http://viaf.org/viaf/114470255> ; # Friedemann Mattern
   schema:contributor <http://viaf.org/viaf/32249261> ; # Oscar Nierstrasz
   schema:contributor <http://viaf.org/viaf/17453181> ; # Jean-Michel Bruel
   schema:contributor <http://viaf.org/viaf/15628656> ; # Axel Uhl
   schema:contributor <http://viaf.org/viaf/41918393> ; # Josef Kittler
   schema:contributor <http://viaf.org/viaf/67527661> ; # Moni Naor
   schema:contributor <http://viaf.org/viaf/57063007> ; # Bernhard Steffen
   schema:contributor <http://viaf.org/viaf/106534635> ; # Krzysztof Czarnecki
   schema:contributor <http://viaf.org/viaf/162691482> ; # Jon M. Kleinberg
   schema:contributor <http://viaf.org/viaf/58291480> ; # John C. Mitchell
   schema:contributor <http://viaf.org/viaf/406145857038922921265> ; # Gerhard Weikum
   schema:contributor <http://viaf.org/viaf/85212989> ; # C. Pandu Rangan
   schema:contributor <http://experiment.worldcat.org/entity/work/data/899962036#Person/hutchison_david> ; # David Hutchison
   schema:contributor <http://viaf.org/viaf/42887943> ; # Moshe Y. Vardi
   schema:datePublished "2008" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/899962036> ;
   schema:genre "Kongress" ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/899962036#Series/lecture_notes_in_computer_science> ; # Lecture Notes in Computer Science ;
   schema:name "Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings" ;
   schema:productID "315967796" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/315967796#PublicationEvent/berlin_heidelberg_springer_verlag_berlin_heidelberg_2008> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/899962036#Agent/springer_verlag_berlin_heidelberg> ; # Springer-Verlag Berlin Heidelberg
   schema:url <http://swbplus.bsz-bw.de/bsz28789116xcov.htm> ;
   schema:url <http://site.ebrary.com/lib/alltitles/docDetail.action?docID=10252251> ;
   schema:url <http://dx.doi.org/10.1007/978-3-540-87875-9> ;
   schema:workExample <http://dx.doi.org/10.1007/978-3-540-87875-9> ;
   schema:workExample <http://worldcat.org/isbn/9783540878759> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/315967796> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/899962036#Agent/springer_verlag_berlin_heidelberg> # Springer-Verlag Berlin Heidelberg
    a bgn:Agent ;
   schema:name "Springer-Verlag Berlin Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/899962036#Person/hutchison_david> # David Hutchison
    a schema:Person ;
   schema:familyName "Hutchison" ;
   schema:givenName "David" ;
   schema:name "David Hutchison" ;
    .

<http://experiment.worldcat.org/entity/work/data/899962036#Place/berlin_heidelberg> # Berlin, Heidelberg
    a schema:Place ;
   schema:name "Berlin, Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/899962036#Place/toulouse_2008> # Toulouse (2008)
    a schema:Place ;
   schema:name "Toulouse (2008)" ;
    .

<http://experiment.worldcat.org/entity/work/data/899962036#Series/lecture_notes_in_computer_science> # Lecture Notes in Computer Science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/315967796> ; # Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings
   schema:name "Lecture Notes in Computer Science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/899962036#Topic/information_systems> # Information Systems
    a schema:Intangible ;
   schema:name "Information Systems" ;
    .

<http://experiment.worldcat.org/entity/work/data/899962036#Topic/management_of_computing_and_information_systems> # Management of Computing and Information Systems
    a schema:Intangible ;
   schema:name "Management of Computing and Information Systems" ;
    .

<http://experiment.worldcat.org/entity/work/data/899962036#Topic/modellgetriebene_entwicklung> # Modellgetriebene Entwicklung
    a schema:Intangible ;
   schema:name "Modellgetriebene Entwicklung" ;
    .

<http://experiment.worldcat.org/entity/work/data/899962036#Topic/modelltransformation> # Modelltransformation
    a schema:Intangible ;
   schema:name "Modelltransformation" ;
    .

<http://experiment.worldcat.org/entity/work/data/899962036#Topic/programming_languages_compilers_interpreters> # Programming Languages, Compilers, Interpreters
    a schema:Intangible ;
   schema:name "Programming Languages, Compilers, Interpreters" ;
    .

<http://experiment.worldcat.org/entity/work/data/899962036#Topic/simulation_and_modeling> # Simulation and Modeling
    a schema:Intangible ;
   schema:name "Simulation and Modeling" ;
    .

<http://experiment.worldcat.org/entity/work/data/899962036#Topic/software_engineering> # Software Engineering
    a schema:Intangible ;
   schema:name "Software Engineering" ;
    .

<http://id.loc.gov/authorities/subjects/sh85029533> # Computer simulation
    a schema:Intangible ;
   schema:name "Computer simulation" ;
    .

<http://id.loc.gov/authorities/subjects/sh87007398> # Software engineering
    a schema:Intangible ;
   schema:name "Software engineering" ;
    .

<http://id.loc.gov/authorities/subjects/sh89003285> # Computer science
    a schema:Intangible ;
   schema:name "Computer science" ;
    .

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
   schema:name "Software engineering" ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
   schema:name "Computer science" ;
    .

<http://id.worldcat.org/fast/872518> # Computer simulation
    a schema:Intangible ;
   schema:name "Computer simulation" ;
    .

<http://viaf.org/viaf/10004382> # Demetri Terzopoulos
    a schema:Person ;
   schema:familyName "Terzopoulos" ;
   schema:givenName "Demetri" ;
   schema:name "Demetri Terzopoulos" ;
    .

<http://viaf.org/viaf/106534635> # Krzysztof Czarnecki
    a schema:Person ;
   schema:familyName "Czarnecki" ;
   schema:givenName "Krzysztof" ;
   schema:name "Krzysztof Czarnecki" ;
    .

<http://viaf.org/viaf/114470255> # Friedemann Mattern
    a schema:Person ;
   schema:familyName "Mattern" ;
   schema:givenName "Friedemann" ;
   schema:name "Friedemann Mattern" ;
    .

<http://viaf.org/viaf/15628656> # Axel Uhl
    a schema:Person ;
   schema:familyName "Uhl" ;
   schema:givenName "Axel" ;
   schema:name "Axel Uhl" ;
    .

<http://viaf.org/viaf/162691482> # Jon M. Kleinberg
    a schema:Person ;
   schema:familyName "Kleinberg" ;
   schema:givenName "Jon M." ;
   schema:name "Jon M. Kleinberg" ;
    .

<http://viaf.org/viaf/17453181> # Jean-Michel Bruel
    a schema:Person ;
   schema:familyName "Bruel" ;
   schema:givenName "Jean-Michel" ;
   schema:name "Jean-Michel Bruel" ;
    .

<http://viaf.org/viaf/199838123> # Ileana Ober
    a schema:Person ;
   schema:familyName "Ober" ;
   schema:givenName "Ileana" ;
   schema:name "Ileana Ober" ;
    .

<http://viaf.org/viaf/32154680> # Madhu Sudan
    a schema:Person ;
   schema:familyName "Sudan" ;
   schema:givenName "Madhu" ;
   schema:name "Madhu Sudan" ;
    .

<http://viaf.org/viaf/32249261> # Oscar Nierstrasz
    a schema:Person ;
   schema:birthDate "1957" ;
   schema:familyName "Nierstrasz" ;
   schema:givenName "Oscar" ;
   schema:name "Oscar Nierstrasz" ;
    .

<http://viaf.org/viaf/34708198> # Markus Völter
    a schema:Person ;
   schema:familyName "Völter" ;
   schema:givenName "Markus" ;
   schema:name "Markus Völter" ;
    .

<http://viaf.org/viaf/38149066394665601007> # Doug Tygar
    a schema:Person ;
   schema:familyName "Tygar" ;
   schema:givenName "Doug" ;
   schema:name "Doug Tygar" ;
    .

<http://viaf.org/viaf/406145857038922921265> # Gerhard Weikum
    a schema:Person ;
   schema:birthDate "1957" ;
   schema:familyName "Weikum" ;
   schema:givenName "Gerhard" ;
   schema:name "Gerhard Weikum" ;
    .

<http://viaf.org/viaf/41918393> # Josef Kittler
    a schema:Person ;
   schema:familyName "Kittler" ;
   schema:givenName "Josef" ;
   schema:name "Josef Kittler" ;
    .

<http://viaf.org/viaf/42887943> # Moshe Y. Vardi
    a schema:Person ;
   schema:familyName "Vardi" ;
   schema:givenName "Moshe Y." ;
   schema:name "Moshe Y. Vardi" ;
    .

<http://viaf.org/viaf/57063007> # Bernhard Steffen
    a schema:Person ;
   schema:familyName "Steffen" ;
   schema:givenName "Bernhard" ;
   schema:name "Bernhard Steffen" ;
    .

<http://viaf.org/viaf/58291480> # John C. Mitchell
    a schema:Person ;
   schema:familyName "Mitchell" ;
   schema:givenName "John C." ;
   schema:name "John C. Mitchell" ;
    .

<http://viaf.org/viaf/61636213> # Takeo Kanade
    a schema:Person ;
   schema:familyName "Kanade" ;
   schema:givenName "Takeo" ;
   schema:name "Takeo Kanade" ;
    .

<http://viaf.org/viaf/67527661> # Moni Naor
    a schema:Person ;
   schema:familyName "Naor" ;
   schema:givenName "Moni" ;
   schema:name "Moni Naor" ;
    .

<http://viaf.org/viaf/85212989> # C. Pandu Rangan
    a schema:Person ;
   schema:familyName "Pandu Rangan" ;
   schema:givenName "C." ;
   schema:name "C. Pandu Rangan" ;
    .

<http://worldcat.org/isbn/9783540878759>
    a schema:ProductModel ;
   schema:isbn "3540878750" ;
   schema:isbn "9783540878759" ;
    .

<http://www.worldcat.org/title/-/oclc/315967796>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/315967796> ; # Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings
   schema:dateModified "2017-12-24" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.