01738nam a2200349 i 450099100325325970753620020509114915.0981007s1998 it ||| | ita 8846408268b11132899-39ule_instPARLA178316ExLDip.to Filosofiaita150Godino, Antonio254568Identità multiple :psicologie del transessualismo /Antonio Godino, Antonella LacarbonaraMilano :Franco Angeli,1998188 p. ;22 cm.Psicologia / FrancoAngeli ;1240.145IdentitàPsicologia - IdentitàLacarbonara, Antonellaauthorhttp://id.loc.gov/vocabulary/relators/aut504683.b1113289923-02-1728-06-02991003253259707536LE007 150 GOD 1112007000048504le007Gio 31 May 2007: Sollecito rientrato il Gio 03 May 2007 per .p1012950-E0.00-lz 02120.i1127177228-06-02LE007 150 GOD 11 22007000048511le007-E0.00-l- 09290.i1127178428-06-02LE007 150 GOD 1132007000048528le007-E0.00-l- 06160.i1127179628-06-02LE007 150 GOD 11 42007000048535le007-E0.00-l- 0102100.i1127180228-06-02LE007 150 GOD 1152007000048542le007-E0.00-l- 06060.i1127181428-06-02LE005 150 GOD01. 0112005000026690le005-E0.00-l- 0112110.i1127176028-06-02Identità multiple807503UNISALENTO(5)le007le00501-01-98ma -itait 0608140nam 22008655 450 99646618970331620200629233625.03-642-33666-310.1007/978-3-642-33666-9(CKB)3400000000086253(SSID)ssj0000767557(PQKBManifestationID)11424065(PQKBTitleCode)TC0000767557(PQKBWorkID)10741009(PQKB)10539432(DE-He213)978-3-642-33666-9(MiAaPQ)EBC3070980(PPN)168325098(Association for Computing Machinery)10.5555/2404962(EXLCZ)99340000000008625320120918d2012 u| 0engurnn|008mamaatxtccrModel Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings /edited by Robert B. France, Jürgen Kazmeier, Ruth Breu, Colin Atkinson1st ed. 2012.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2012.1 online resource (XX, 828 p. 298 illus.) Programming and Software Engineering ;7590International conference proceedings.3-642-33665-5 Includes bibliographical references and author index.Quantitative Reactive -- Bottom-Up Meta-Modelling: An Interactive -- T_: A Domain Specific Language for Rapid Workflow -- Relaxing Claims: Coping with Uncertainty While Evaluating Assumptions at Run Time -- Dynamic Evolution of Context-Aware Systems with Models at Runtime -- An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements -- Automated and Transparent Model Fragmentation for Persisting Large Models -- Formally Defining and Iterating Infinite Models -- Query-Driven Soft Interconnection of EMF Models -- Modeling the Linguistic Architecture of Software Products -- Cross-Language Support Mechanisms Significantly Aid Software Development -- Do Professional Developers Benefit from Design Pattern Documentation? A Replication in the Context of Source Code Comprehension -- Incremental Consistency Checking for Complex Design Rules and Larger Model Changes -- Evaluating the Impact of Aspects on Inconsistency Detection Effort: A Controlled Experiment -- On Integrating Structure and Behavior Modeling with OCL -- Multi-perspectives on Feature Models -- Generating Better Partial Covering Arrays by Modeling Weights on Sub-product Lines -- Towards Business Application Product Lines -- Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines -- The Coroutine Model of Computation -- Assume-Guarantee Scenarios: Semantics and Synthesis -- An Exploratory Study of Forces and Frictions Affecting Large-Scale Model-Driven Development -- A Model-Driven Approach to Support Engineering Changes in Industrial Robotics Software -- Managing Related Models in Vehicle Control Software Development -- Detecting Specification Errors in Declarative Languages with Constraints -- From UML and OCL to Relational Logic and Back -- On Verifying ATL Transformations Using ‘off-the-shelf’ SMT Solvers -- ATLTest: A White-Box Test Generation Approach for ATL Transformations -- Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis -- Seeing Errors: Model Driven Simulation Trace Visualization -- A Modeling Approach to Support the Similarity-Based Reuse of Configuration Data -- Model Driven Configuration of Fault Tolerance Solutions for Component-Based Software System -- Applying a Consistency Checking Framework for Heterogeneous Models and Artifacts in Industrial Product Lines -- Generation of Operational Transformation Rules from Examples of Model Transformations -- Using Feature Model to Build Model Transformation Chains -- A Generic Approach Simplifying Model-to-Model Transformation Chains -- An Approach for Synchronizing UML Models and Narrative Text in Literate Modeling -- Model Matching for Trace Link Generation in Model-Driven Software Development -- Matching Business Process Workflows across Abstraction Levels -- Experiences of Applying UML/MARTE on Three Industrial Projects -- Evaluating the Effort of Composing Design Models: A Controlled -- Transition to Model-Driven Engineering: What Is Revolutionary, What Remains the Same? -- Towards an Automatic Service Discovery for UML-Based Rich Service Descriptions -- A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: An Industrial Case Study -- Sensitivity Analysis in Model-Driven Engineering -- Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing -- Weaving-Based Configuration and Modular Transformation of Multi-layer Systems -- Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering -- An Industrial System Engineering Process Integrating Model Driven Architecture and Model Based Design.This book constitutes the refereed proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012, held in Innsbruck, Austria, in September/October 2012. The 50 papers presented in this volume were carefully reviewed and selected from a total of 181 submissions. They are organized in topical sections named: metamodels and domain specific modeling; models at runtime; model management; modeling methods and tools, consistency analysis, software product lines; foundations of modeling; static analysis techniques; model testing and simulation; model transformation; model matching, tracing and synchronization; modeling practices and experience; and model analysis.Programming and Software Engineering ;7590MODELS'12Programming languages (Electronic computers)Software engineeringComputer logicManagement information systemsComputer scienceComputer simulationComputer system failuresProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XManagement of Computing and Information Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I24067Simulation and Modelinghttps://scigraph.springernature.com/ontologies/product-market-codes/I19000System Performance and Evaluationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13049Conference proceedings.fastProgramming languages (Electronic computers).Software engineering.Computer logic.Management information systems.Computer science.Computer simulation.Computer system failures.Programming Languages, Compilers, Interpreters.Software Engineering.Logics and Meanings of Programs.Management of Computing and Information Systems.Simulation and Modeling.System Performance and Evaluation.005.1France Robert Bedthttp://id.loc.gov/vocabulary/relators/edtKazmeier Jürgenedthttp://id.loc.gov/vocabulary/relators/edtBreu Ruthedthttp://id.loc.gov/vocabulary/relators/edtAtkinson Colinedthttp://id.loc.gov/vocabulary/relators/edtMODELS (Conference)BOOK996466189703316Model Driven Engineering Languages and Systems772687UNISA