000 | 05872nam a22006375i 4500 | ||
---|---|---|---|
001 | 978-3-540-75209-7 | ||
003 | DE-He213 | ||
005 | 20240423125202.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. | |
650 | 0 | _aEngineering. | |
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aCompilers (Computer programs). | |
650 | 0 | _aComputer simulation. | |
650 | 0 |
_aElectronic data processing _xManagement. |
|
650 | 1 | 4 | _aTheory of Computation. |
650 | 2 | 4 | _aTechnology and Engineering. |
650 | 2 | 4 | _aSoftware Engineering. |
650 | 2 | 4 | _aCompilers and Interpreters. |
650 | 2 | 4 | _aComputer Modelling. |
650 | 2 | 4 | _aIT Operations. |
700 | 1 |
_aEngels, Gregor. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aOpdyke, Bill. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aSchmidt, Douglas C. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aWeil, Frank. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
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 |
|
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 | _cSPRINGER | ||
999 |
_c175178 _d175178 |