000 | 05136nam a22005535i 4500 | ||
---|---|---|---|
001 | u374534 | ||
003 | SIRSI | ||
005 | 20160812084239.0 | ||
007 | cr nn 008mamaa | ||
008 | 100531s2010 gw | s |||| 0|eng d | ||
020 |
_a9783642135958 _9978-3-642-13595-8 |
||
040 | _cMX-MeUAM | ||
050 | 4 | _aQA76.758 | |
082 | 0 | 4 |
_a005.1 _223 |
100 | 1 |
_aKühne, Thomas. _eeditor. |
|
245 | 1 | 0 |
_aModelling Foundations and Applications _h[recurso electrónico] : _b6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings / _cedited by Thomas Kühne, Bran Selic, Marie-Pierre Gervais, François Terrier. |
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2010. |
|
300 |
_a364p. 150 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 ; _v6138 |
|
505 | 0 | _aOrthographic Software Modelling: A Novel Approach to View-Based Software Engineering -- The Good, the Bad and the Ugly: Experiences with Model Driven Development in Large Scale Projects at Ericsson -- Comparing Approaches to Implement Feature Model Composition -- A UML 2.0 Profile to Model Block Cipher Algorithms -- Towards Model Driven Tool Interoperability: Bridging Eclipse and Microsoft Modeling Tools -- Aspect-Oriented Business Process Modeling with AO4BPMN -- A Reflective Approach to Model-Driven Web Engineering -- Requirements Analysis and Modeling with Problem Frames and SysML: A Case Study -- Generative Technologies for Model Animation in the TopCased Platform -- Model-Driven Engineering of Machine Executable Code -- eSPEM – A SPEM Extension for Enactable Behavior Modeling -- Adding Abstraction and Reuse to a Network Modelling Tool Using the Reuseware Composition Framework -- Model-Based Development of Automotive Electronic Climate Control Software -- Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search -- Model Search: Formalizing and Automating Constraint Solving in MDE Platforms -- MoPCoM Methodology: Focus on Models of Computation -- Dynamic Computation of Change Operations in Version Management of Business Process Models -- Detecting Inconsistencies in Multi-View Models with Variability -- A Model-Based Method for Evaluating Embedded System Performance by Abstraction of Execution Traces -- Concordance: A Framework for Managing Model Integrity -- An Integrated Facet-Based Library for Arbitrary Software Components -- Precise Specification of Design Pattern Structure and Behaviour -- Coping with Variability in Model-Based Systems Engineering: An Experience in Green Energy -- On the Combination of Domain Specific Modeling Languages -- Joint Language and Domain Engineering -- An Automated Approach to Transform Use Cases into Activity Diagrams. | |
520 | _aThe 2010 European Conference on Modelling Foundations and Applications (ECMFA 2010) was dedicated to assessing the state of the art and the state of the practice in model-based engineering. It was the sixth edition in the - ries of conferences previously known under the title “European Conference on Model-DrivenArchitecture–FoundationsandApplications(ECMDA-FA).”The name changere?ects the de facto broadening of the conference scope beyondthe R R MDA initiative of the Object Management Group to cover all major advances related to model-based engineering approaches. These proceedings, like the ones from previous editions in the conference series, will undoubtedly serve as a reference to all who follow model-based engineering theory and practice. The included papers document the steady e- lution of model-based development methods into a mature discipline, with we- established standards, industrial-strength tools, and emerging theoretical fo- dations. They also serve to illustrate that model-based approaches are capable of signi?cantproductivity andquality improvementsrelativeto moretraditional development methods. | ||
650 | 0 | _aComputer science. | |
650 | 0 | _aComputer Communication Networks. | |
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aLogic design. | |
650 | 0 | _aInformation Systems. | |
650 | 1 | 4 | _aComputer Science. |
650 | 2 | 4 | _aSoftware Engineering. |
650 | 2 | 4 | _aLogics and Meanings of Programs. |
650 | 2 | 4 | _aProgramming Languages, Compilers, Interpreters. |
650 | 2 | 4 | _aComputer Communication Networks. |
650 | 2 | 4 | _aManagement of Computing and Information Systems. |
650 | 2 | 4 | _aProgramming Techniques. |
700 | 1 |
_aSelic, Bran. _eeditor. |
|
700 | 1 |
_aGervais, Marie-Pierre. _eeditor. |
|
700 | 1 |
_aTerrier, François. _eeditor. |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer eBooks | |
776 | 0 | 8 |
_iPrinted edition: _z9783642135941 |
830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v6138 |
|
856 | 4 | 0 |
_zLibro electrónico _uhttp://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-13595-8 |
596 | _a19 | ||
942 | _cLIBRO_ELEC | ||
999 |
_c202414 _d202414 |