01274cam a2200325 i 4500991001342709707536051121m19961999us 001 0 eng d0674993055 (v. 1)0674993063 (v. 2)b13358054-39ule_instDip.to Studi Giuridiciitaenglat873.01Silius Italicus, Gaius487169Punica /Silius Italicus ; with an english translation by J. D. DuffRepr.Cambridge ;London :Harvard University press,1996-2 v. ;17 cmThe Loeb classical library ;277-278V. 1.: Books I-VIII. - Ristampa. - 1996. - xviii, 442 p.V. 2.: Books 9-17. - Ristampa. - 2002. - 499 p.Silio ItalicoDuff, James Duff.b1335805421-09-0622-11-05991001342709707536LE027 R-XXVI/LL SIL A 1V. 112027000149865le027-E21.40-no 00000.i1416429206-12-05LE027 R-XXVI/LL SIL A 2V. 212027000149872le027-E21.40-no 00000.i1416430906-12-05Punica30357UNISALENTOle02721-11-05ma -engus 0007258nam 22007815 450 991048466850332120260128234826.03-540-45773-910.1007/11880240(CKB)1000000000283932(SSID)ssj0000318980(PQKBManifestationID)11223616(PQKBTitleCode)TC0000318980(PQKBWorkID)10337386(PQKB)11298213(DE-He213)978-3-540-45773-2(MiAaPQ)EBC3068217(PPN)12313868X(Association for Computing Machinery)10.5555/2087202(BIP)34164351(BIP)13637559(EXLCZ)99100000000028393220100301d2006 u| 0engurnn#008mamaatxtccrModel 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 Reggio1st ed. 2006.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2006.1 online resource (XIV, 694 p.)Programming and Software Engineering,2945-9168 ;4199Bibliographic Level Mode of Issuance: Monograph3-540-45772-0 Includes bibliographical references and index.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 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 State Machines -- 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.This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems (formerly UML conferences), MoDELS 2006. The book presents 51 revised full papers and 2 invited papers. Discussion is organized in topical sections on evaluating UML, MDA in software development, concrete syntax, applying UML to interaction and coordination, aspects, model integration, formal semantics of UML, security, model transformation tools and implementation, and more.Programming and Software Engineering,2945-9168 ;4199Computer programmingSoftware engineeringCompilers (Computer programs)Computer simulationElectronic data processingManagementProgramming TechniquesSoftware EngineeringCompilers and InterpretersComputer ModellingIT OperationsComputer programming.Software engineering.Compilers (Computer programs)Computer simulation.Electronic data processingManagement.Programming Techniques.Software Engineering.Compilers and Interpreters.Computer Modelling.IT Operations.005.117Nierstrasz Oscar Marius1957-771220MiAaPQMiAaPQMiAaPQBOOK9910484668503321Model driven engineering languages and systems4191597UNINA