{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":1,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":26,"n_cols":5,"rows_kept":26,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[19,2,19,3],[20,2,20,3],[24,2,24,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996466111403316"]
[null,null,"Titolo",null,"Model Driven Engineering Languages and Systems : 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings / / edited by Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006"]
[null,null,"ISBN",null,"3-540-45773-9"]
[null,null,"Edizione",null,"[1st ed. 2006.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XIV, 694 p.)"]
[null,null,"Collana",null,"Programming and Software Engineering ; ; 4199"]
[null,null,"Disciplina",null,"005.117"]
[null,null,"Soggetti",null,"Computer programming"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Programming languages (Electronic computers)"]
[{"$nulls":4},"Computer simulation"]
[{"$nulls":4},"Management information systems"]
[{"$nulls":4},"Computer science"]
[{"$nulls":4},"Programming Techniques"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Programming Languages, Compilers, Interpreters"]
[{"$nulls":4},"Simulation and Modeling"]
[{"$nulls":4},"Management of Computing and Information Systems"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Keynote 1 -- A Software Modeling Odyssey: Designing Evolutionary Architecture-Centric Real-Time Systems and Product Lines -- Evaluating UML -- Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0 -- An Experimental Investigation of UML Modeling Conventions -- Improving the Definition of UML -- MDA in Software Development -- Adopting Model Driven Software Development in Industry – A Case Study at Two Companies -- Use Case Driven Iterative Development: Hurdles and Solutions -- Model-Driven Development with SDL – Process, Tools, and Experiences -- Concrete Syntax -- Model-Driven Analysis and Synthesis of Concrete Syntax -- Correctly Defined Concrete Syntax for Visual Modeling Languages -- Applying UML to Interaction and Coordination -- Compositional MDA -- CUP "]
[{"$nulls":4},"2.0: High-Level Modeling of Context-Sensitive Interactive Applications -- Aspects -- Domain Models Are NOT Aspect Free -- A Slice of MDE with AOP: Transforming High-Level Business Rules to Aspects -- Model Integration -- Package Merge in UML 2: Practice vs. Theory? -- Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis -- Merging Models with the Epsilon Merging Language (EML) -- Formal Semantics of UML -- Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2 -- Semantic Variations Among UML StateMachines -- Facilitating the Definition of General Constraints in UML -- Security -- Towards a MOF/QVT-Based Domain Architecture for Model Driven Security -- MDA-Based Re-engineering with Object-Z -- A Model Transformation Semantics and Analysis Methodology for SecureUML -- Model Transformation Tools and Implementation -- Incremental Model Transformation for the Evolution of Model-Driven Systems -- A Plugin-Based Language to Experiment with Model Transformation -- SiTra: Simple Transformations in Java -- Analyzing Dynamic Models -- Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models -- Model Extraction Using Context Information -- Dynamic and Generic Manipulation of Models: From Introspection to Scripting -- Specifying Transformations -- Model Transformation by Example -- Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework -- Model Transformations? Transformation Models! -- MOF -- A Mapping Language from Models to DI Diagrams -- Basic Operations over Models Containing Subset and Union Properties -- A Metamodeling Approach to Pattern Specification -- Keynote 2 -- Immune System Computation and the Immunological Homunculus -- Bridging Models -- Building Abstractions in Class Models: Formal Concept Analysis in a Model-Driven Approach -- Lifting Metamodels to Ontologies: A Step to the Semantic Integration of Modeling Languages -- Incremental Model Synchronization with Triple Graph Grammars -- Risk, Trust and Dependability -- Model-Driven Assessment of Use Cases for Dependable Systems -- A Graphical Approach to Risk Identification, Motivated by Empirical Investigations -- Reusable MDA Components: A Testing-for-Trust Approach -- Tool Environments -- Using Smalltalk as a Reflective Executable Meta-language -- UML Model Interchange in Heterogeneous Tool Environments: An Analysis of Adoptions of XMI 2 -- Applying Model Fragment Copy-Restore to Build an Open and Distributed MDA Environment -- OCL -- An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE -- An OCL Semantics Specified with QVT -- Specification of Invariability in OCL -- Roundtrip Engineering -- Framework-Specific Modeling Languages with Round-Trip Engineering -- A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems -- Layered Class Diagrams: Supporting the Design Process -- Real Time and Embedded Systems -- Using UML Activities for System-on-Chip Design and Synthesis -- Modeling and Early Performance Estimation for Network Processor Applications -- A Formal Semantics of UML-RT -- Workshops, Tutorials and Panels -- Workshops and Symposia at MoDELS 2006 -- Tutorials at MoDELS 2006 -- Panels at MoDELS 2006."]