Model Driven Engineering Languages and Systems (Record no. 91046)

000 -LEADER
fixed length control field 08462nam a22006135i 4500
001 - CONTROL NUMBER
control field 978-3-642-04425-0
003 - CONTROL NUMBER IDENTIFIER
control field DE-He213
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240730181727.0
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr nn 008mamaa
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 100301s2009 gw | s |||| 0|eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783642044250
-- 978-3-642-04425-0
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/978-3-642-04425-0
Source of number or code doi
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.758
072 #7 - SUBJECT CATEGORY CODE
Subject category code UMZ
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM051230
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code UMZ
Source thema
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.1
Edition number 23
245 10 - TITLE STATEMENT
Title Model Driven Engineering Languages and Systems
Medium [electronic resource] :
Remainder of title 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009, Proceedings /
Statement of responsibility, etc. edited by Andy Schürr, Bran V. Selic.
250 ## - EDITION STATEMENT
Edition statement 1st ed. 2009.
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture Berlin, Heidelberg :
Name of producer, publisher, distributor, manufacturer Springer Berlin Heidelberg :
-- Imprint: Springer,
Date of production, publication, distribution, manufacture, or copyright notice 2009.
300 ## - PHYSICAL DESCRIPTION
Extent XX, 756 p.
Other physical details online resource.
336 ## - CONTENT TYPE
Content type term text
Content type code txt
Source rdacontent
337 ## - MEDIA TYPE
Media type term computer
Media type code c
Source rdamedia
338 ## - CARRIER TYPE
Carrier type term online resource
Carrier type code cr
Source rdacarrier
347 ## - DIGITAL FILE CHARACTERISTICS
File type text file
Encoding format PDF
Source rda
490 1# - SERIES STATEMENT
Series statement Programming and Software Engineering,
International Standard Serial Number 2945-9168 ;
Volume/sequential designation 5795
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Keynote 1 -- Models. Models. Models. So What? -- (Meta-)Model Modeling and Management -- Modeling Modeling -- Representation and Traversal of Large Clabject Models -- Meta-model Pruning -- Quantitative Modeling with UML -- A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems -- Model Driven Performance Measurement and Assessment with MoDePeMART -- Security Analysis of a Biometric Authentication System Using UMLsec and JML -- Model Transformations and Constraints -- Automatically Discovering Hidden Transformation Chaining Constraints -- CSP(M): Constraint Satisfaction Problem over Models -- Parsing SBVR-Based Controlled Languages -- Model Management -- SLIM-A Lightweight Environment for Synchronous Collaborative Modeling -- Language-Independent Change Management of Process Models -- Requirements for Practical Model Merge - An Industrial Perspective -- UML in Practice and Quality Assurance -- Evaluating the Impact of UML Modeling on Software Quality: An Industrial Case Study -- Concern Visibility in Base Station Development - An Empirical Investigation -- Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation -- Formalization of Model Transformations -- Towards Composite Model Transformations Using Distributed Graph Transformation Concepts -- On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars -- Formal Support for QVT-Relations with Coloured Petri Nets -- Scenario Modeling -- An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example -- Refactoring-Safe Modeling of Aspect-Oriented Scenarios -- Model-Based Testing Using LSCs and S2A -- Business Application Development -- Model Driven Development of Graphical User Interfaces for EnterpriseBusiness Applications - Experience, Lessons Learnt and a Way Forward -- Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors -- Rule-Enhanced Business Process Modeling Language for Service Choreographies -- Model Synchronisation and Change Propagation -- Change-Driven Model Transformations -- An Incremental Algorithm for High-Performance Runtime Model Consistency -- Traceability-Based Change Awareness -- Keynote 2 -- Interaction Design and Model-Driven Development -- Language Specification and Annotation -- Towards Test-Driven Semantics Specification -- Scalable Semantic Annotation Using Lattice-Based Ontologies -- OntoDSL: An Ontology-Based Framework for Domain-Specific Languages -- Domain-Specific Languages -- Domain-Specific Languages in Practice: A User Study on the Success Factors -- Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation -- Anatomy of a Visual Domain-Specific Language Project in an Industrial Context -- Model-Based Analysis -- A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty -- A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation -- Polymorphic Scenario-Based Specification Models: Semantics and Applications -- Model (De-)Composition and Abstractio -- Aspect Model Unweaving -- Model Composition Contracts -- Abstracting Complex Languages through Transformation and Composition -- An Approach for Evolving Transformation Chains -- Distributed Software Development -- Deterministic UML Models for Interconnected Activities and State Machines -- Automated Encapsulation of UML Activities for Incremental Development and Verification -- Using UML Statecharts with Knowledge Logic Guards.-Service and Business Process Integration -- A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems -- A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems -- Executable Domain Specific Language for Message-Based System Integration -- Keynote 3 -- Architectural Mining: The Other Side of the MDD -- Genericity and Constraints -- Generic Model Refactorings -- Constraining Type Parameters of UML 2 Templates with Substitutable Classifiers -- Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages -- OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language -- Variability Management -- Variability within Modeling Language Definitions -- Variability Modelling throughout the Product Line Lifecycle -- Weaving Variability into Domain Metamodels -- Automatic Domain Model Migration to Manage Metamodel Evolution -- Model Transformation Engineering -- Model Transformation by Demonstration -- Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets -- Incremental Development of Model Transformation Chains Using Automated Testing -- Test-Driven Development of Model Transformations -- Symposium -- Educators' Symposium at MODELS 2009.
520 ## - SUMMARY, ETC.
Summary, etc. This book constitutes the refereed proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2009, held in Denver, CO, USA, during October 4-9, 2009. The 45 revised full papers and 13 short papers presented were carefully reviewed and selected from 248 submissions. The book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. The papers are organized in topical sections on (meta-)model Modeling and Management, quantitative modeling with UML, model transformations and contraints, model management, UML in practice and quality assurance, formalization of model transformations, scenario modeling, business application development, model synchronisation and change propagation, language specification and annotation, domain-specific languages, model-based analysis, model (de-)composition and abstraction, distributed software development, service and business process integration, genericity and constraints, variability management, and model transformation engineering.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Software engineering.
9 (RLIN) 4138
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element User interfaces (Computer systems).
9 (RLIN) 11681
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Human-computer interaction.
9 (RLIN) 6196
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Compilers (Computer programs).
9 (RLIN) 3350
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer programming.
9 (RLIN) 4169
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer systems.
9 (RLIN) 125945
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Software Engineering.
9 (RLIN) 4138
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element User Interfaces and Human Computer Interaction.
9 (RLIN) 31632
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Compilers and Interpreters.
9 (RLIN) 31853
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Programming Techniques.
9 (RLIN) 125946
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer System Implementation.
9 (RLIN) 38514
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Schürr, Andy.
Relator term editor.
Relationship edt
-- http://id.loc.gov/vocabulary/relators/edt
9 (RLIN) 125947
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Selic, Bran V.
Relator term editor.
Relationship edt
-- http://id.loc.gov/vocabulary/relators/edt
9 (RLIN) 125948
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element SpringerLink (Online service)
9 (RLIN) 125949
773 0# - HOST ITEM ENTRY
Title Springer Nature eBook
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Printed edition:
International Standard Book Number 9783642044243
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Printed edition:
International Standard Book Number 9783642044267
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Programming and Software Engineering,
International Standard Serial Number 2945-9168 ;
Volume/sequential designation 5795
9 (RLIN) 125950
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://doi.org/10.1007/978-3-642-04425-0">https://doi.org/10.1007/978-3-642-04425-0</a>
912 ## -
-- ZDB-2-SCS
912 ## -
-- ZDB-2-SXCS
912 ## -
-- ZDB-2-LNC
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type eBooks-Lecture Notes in CS

No items available.