000 05946nam a22005055i 4500
001 u374224
003 SIRSI
005 20160812084224.0
007 cr nn 008mamaa
008 100407s2010 gw | s |||| 0|eng d
020 _a9783642122613
_9978-3-642-12261-3
040 _cMX-MeUAM
050 4 _aQA76.758
082 0 4 _a005.1
_223
100 1 _aGhosh, Sudipto.
_eeditor.
245 1 0 _aModels in Software Engineering
_h[recurso electrónico] :
_bWorkshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers /
_cedited by Sudipto Ghosh.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2010.
300 _aX, 360p. 139 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v6002
505 0 _aDoctoral Symposium -- The Doctoral Symposium at MODELS 2009 -- Catch Me If You Can – Debugging Support for Model Transformations -- A Coordination-Based Model-Driven Method for Parallel Application Development -- Educators’ Symposium -- Essentials of the 5th Educators’ Symposium at MODELS 2009 -- Teaching Object-Oriented Modeling and UML to Various Audiences -- Teaching Modeling: Why, When, What? -- Workshop — ACES-MB -- Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009) -- Using Higher-Order Transformations to Derive Variability Mechanism for Embedded Systems -- Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration -- Workshop — AOM -- Report of the 14th International Workshop on Aspect-Oriented Modeling -- HiLA: High-Level Aspects for UML State Machines -- Workshop — Model@run.time -- 4th International Workshop on Models@run.time -- Incremental Model Synchronization for Efficient Run-Time Monitoring -- Generating Synchronization Engines between Running Systems and Their Model-Based Views -- Workshop — MoDeVVa -- MoDeVVa Workshop Summary -- From UML to Alloy and Back Again -- Generating Class Contracts from Deterministic UML Protocol Statemachines -- Workshop — MoDSE-MCCM -- “Models and Evolution”: Joint MoDSE-MCCM 2009 Workshop on Model-Driven Software Evolution (MoDSE) Model Co-Evolution and Consistency Management (MCCM) -- Model Patches in Model-Driven Engineering -- Limitations of Automating Model Migration in Response to Metamodel Adaptation -- Workshop — MPM -- Recent Advances in Multi-paradigm Modeling -- Deriving Correspondence Relationships to Guide a Multi-view Heterogeneous Composition -- Explicit Transformation Modeling -- Workshop — OCL -- Ninth International Workshop on the Pragmatics of OCL and Other Textual Specification Languages -- Extending OCL with Null-References -- On Better Understanding OCL Collections or An OCL Ordered Set Is Not an OCL Set -- Workshop — NFPinDSML -- The 2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2009) -- On the Specification of Non-functional Properties of Systems by Observation -- Modeling Heterogeneous Points of View with ModHel’X -- Workshop — TWOMDE -- Second Workshop on Transforming and Weaving Ontologies in Model Driven Engineering (TWOMDE 2009) -- Towards Semantic Modeling of Network Physical Devices -- Using Ontology Reasoning for Reverse Engineering Design Patterns.
520 _aThe MODELS series of conferences is the premier venue for the exchange of innovative technical ideas and experiences relating to model-driven approaches inthedevelopmentofsoftware-basedsystems.Followingthetraditionofprevious conferences,MODELS2009hostedseveralsatelliteeventsinDenver.Therewere ten workshops and two symposia. The selection of the workshops was performed by a Workshop Committee, which consisted of the following experts: – James M. Bieman, Colorado State University, USA (Chair) – Peter Clarke, Florida International University, USA – Holger Giese, University of Paderborn, Germany – Frank Weil, Hengsoft, USA The workshops and symposia were held during the ?rst three days of the conference. They provided a collaborative forum for groups of participants to exchange recent and preliminary results, conduct intensive discussions on a p- ticular topic, and to coordinate e?orts between representatives of a technical community. They discussions were lively and the attendance was high. The focus of the Educators’Symposium was on sharing experience related to teaching modeling techniques and on developing resources to support e?ective training of future practitioners of model-driven development. The DoctoralSymposiumprovideda forumin whichPhDstudents presented their work in progress. The symposium fostered the role of MODELS as a p- mier venue for research in model-driven engineering. The symposium provided the students with independent and constructive feedback about their already completed work, and more importantly, their planned research work.
650 0 _aComputer science.
650 0 _aSoftware engineering.
650 0 _aLogic design.
650 0 _aComputer simulation.
650 0 _aInformation Systems.
650 1 4 _aComputer Science.
650 2 4 _aSoftware Engineering.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aLogics and Meanings of Programs.
650 2 4 _aManagement of Computing and Information Systems.
650 2 4 _aSimulation and Modeling.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783642122606
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v6002
856 4 0 _zLibro electrónico
_uhttp://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-12261-3
596 _a19
942 _cLIBRO_ELEC
999 _c202104
_d202104