Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings / edited by Gregor Engels, Bill Opdyke, Douglas C. Schmidt, Frank Weil.

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Engels, Gregor (Editor), Opdyke, Bill (Editor), Schmidt, Douglas C. (Editor), Weil, Frank (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edition:1st ed. 2007.
Series:Programming and Software Engineering ; 4735
Springer eBook Collection.
Subjects:
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.

MARC

LEADER 00000nam a22000005i 4500
001 b3321421
003 MWH
005 20191025042517.0
007 cr nn 008mamaa
008 100301s2007 gw | s |||| 0|eng d
020 |a 9783540752097 
024 7 |a 10.1007/978-3-540-75209-7  |2 doi 
035 |a (DE-He213)978-3-540-75209-7 
050 4 |a E-Book 
072 7 |a UY  |2 bicssc 
072 7 |a COM014000  |2 bisacsh 
072 7 |a UY  |2 thema 
072 7 |a UYA  |2 thema 
245 1 0 |a Model Driven Engineering Languages and Systems  |h [electronic resource] :  |b 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings /  |c edited by Gregor Engels, Bill Opdyke, Douglas C. Schmidt, Frank Weil. 
250 |a 1st ed. 2007. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 2007. 
300 |a XV, 698 p.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Programming and Software Engineering ;  |v 4735 
490 1 |a Springer eBook Collection 
505 0 |a Model Transformation -- Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions -- Reconciling TGGs with QVT -- UniTI: A Unified Transformation Infrastructure -- Modeling Constraints -- Guided Development with Multiple Domain-Specific Languages -- Model-Driven, Network-Context Sensitive Intrusion Detection -- An Empirical Study of the Impact of OCL Smells and Refactorings on the Understandability of OCL Specifications -- Meta-Modeling -- On Metamodeling in Megamodels -- Magritte – A Meta-driven Approach to Empower Developers and End Users -- Matching Model-Snippets -- Consistent Models -- Improving Inconsistency Resolution with Side-Effect Evaluation and Costs -- Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis -- Automated Semantic Analysis of Design Models -- Modeling Support -- Piecewise Modelling with State Subtypes -- Deriving Operation Contracts from UML Class Diagrams -- Finding the Pattern You Need: The Design Pattern Intent Ontology -- User Interface Design -- Model-Driven Approach for Managing Human Interface Design Life Cycle -- Integrating Heterogeneous Tools into Model-Centric Development of Interactive Applications -- A Business-Process-Driven Approach for Generating E-Commerce User Interfaces -- Language Definition -- Enhancing UML Extensions with Operational Semantics. -- Integrated Definition of Abstract and Concrete Syntax for Textual Languages -- Architectural Aspects in UML -- Modeling Methods -- Domain Specific Modeling Methodology for Reconfigurable Networked Systems -- A Modelling Method for Rigorous and Automated Design of Large-Scale Industrial Systems -- Relating Navigation and Request Routing Models in Web Applications -- Service and Process Modeling -- A UML2 Profile for Service Modeling -- Automatic Generation of Workflow-Extended Domain Models -- A Practical Perspective on the Design and Implementation of Service-Oriented Solutions -- Model Analysis -- Constructive Techniques for Meta- and Model-Level Reasoning -- A Metamodel-Based Approach for Analyzing Security-Design Models -- UML2Alloy: A Challenging Model Transformation -- Modeling Process -- i 2 MAP: An Incremental and Iterative Modeling and Analysis Process -- A Model-Driven Measurement Procedure for Sizing Web Applications: Design, Automation and Validation -- Model-Driven Engineering for Software Migration in a Large Industrial Context -- Aspects -- Introducing Variability into Aspect-Oriented Modeling Approaches -- An Expressive Aspect Composition Language for UML State Diagrams -- Enhancing UML State Machines with Aspects -- New Language Features -- Complementary Use Case Scenario Representations Based on Domain Vocabularies -- Modeling Time(s) -- A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software -- Debugging Support -- Forensic Debugging of Model Transformations -- Runtime Debugging Using Reverse-Engineered UML -- Formally Defining a Graphical Language for Monitoring and Checking Object Interactions -- Statecharts -- Statechart Development Beyond WYSIWYG -- Model-Based Design of Computer-Controlled Game Character Behavior -- Model-Driven Construction of Certified Binaries -- Workshops, Tutorials and Panels -- Workshops and Symposia at MODELS 2007 -- Tutorials at MODELS 2007 -- Panels at MODELS 2007. 
590 |a Loaded electronically. 
590 |a Electronic access restricted to members of the Holy Cross Community. 
650 0 |a Computers. 
650 0 |a Engineering. 
650 0 |a Software engineering. 
650 0 |a Programming languages (Electronic computers). 
650 0 |a Computer simulation. 
650 0 |a Management information systems. 
650 0 |a Computer science. 
690 |a Electronic resources (E-books) 
700 1 |a Engels, Gregor.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Opdyke, Bill.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Schmidt, Douglas C.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Weil, Frank.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
830 0 |a Programming and Software Engineering ;  |v 4735 
830 0 |a Springer eBook Collection. 
856 4 0 |u https://holycross.idm.oclc.org/login?auth=cas&url=https://doi.org/10.1007/978-3-540-75209-7  |3 Click to view e-book  |t 0 
907 |a .b33214219  |b 04-18-22  |c 02-26-20 
998 |a he  |b 02-26-20  |c m  |d @   |e -  |f eng  |g gw   |h 0  |i 1 
912 |a ZDB-2-SCS 
912 |a ZDB-2-LNC 
950 |a Computer Science (Springer-11645) 
902 |a springer purchased ebooks 
903 |a SEB-COLL 
945 |f  - -   |g 1  |h 0  |j  - -   |k  - -   |l he   |o -  |p $0.00  |q -  |r -  |s b   |t 38  |u 0  |v 0  |w 0  |x 0  |y .i22345838  |z 02-26-20 
999 f f |i 33b173f5-a10f-5e48-bc5d-cfcc403408db  |s ffb19514-a44a-5b97-bda0-7fa50fe30529  |t 0 
952 f f |p Online  |a College of the Holy Cross  |b Main Campus  |c E-Resources  |d Online  |t 0  |e E-Book  |h Library of Congress classification  |i Elec File