000 05993nam a22006375i 4500
001 978-3-540-75209-7
003 DE-He213
005 20240730173617.0
007 cr nn 008mamaa
008 100301s2007 gw | s |||| 0|eng d
020 _a9783540752097
_9978-3-540-75209-7
024 7 _a10.1007/978-3-540-75209-7
_2doi
050 4 _aQA75.5-76.95
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a004.0151
_223
245 1 0 _aModel Driven Engineering Languages and Systems
_h[electronic resource] :
_b10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings /
_cedited by Gregor Engels, Bill Opdyke, Douglas C. Schmidt, Frank Weil.
250 _a1st ed. 2007.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2007.
300 _aXV, 698 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aProgramming and Software Engineering,
_x2945-9168 ;
_v4735
505 0 _aModel 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 -- AutomaticGeneration 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.
650 0 _aComputer science.
_99832
650 0 _aEngineering.
_99405
650 0 _aSoftware engineering.
_94138
650 0 _aCompilers (Computer programs).
_93350
650 0 _aComputer simulation.
_95106
650 0 _aElectronic data processing
_xManagement.
_9108972
650 1 4 _aTheory of Computation.
_9108973
650 2 4 _aTechnology and Engineering.
_9108974
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aCompilers and Interpreters.
_931853
650 2 4 _aComputer Modelling.
_9108975
650 2 4 _aIT Operations.
_931703
700 1 _aEngels, Gregor.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9108976
700 1 _aOpdyke, Bill.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9108977
700 1 _aSchmidt, Douglas C.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9108978
700 1 _aWeil, Frank.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9108979
710 2 _aSpringerLink (Online service)
_9108980
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540752080
776 0 8 _iPrinted edition:
_z9783540844259
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v4735
_9108981
856 4 0 _uhttps://doi.org/10.1007/978-3-540-75209-7
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c89008
_d89008