Tabla de Contenidos: “…-- (Meta-)Model Modeling and Management -- Modeling Modeling -- Representation and Traversal of Large Clabject Models -- Meta-model Pruning -- Quantitative Modeling with UML -- A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems -- Model Driven Performance Measurement and Assessment with MoDePeMART -- Security Analysis of a Biometric Authentication System Using UMLsec and JML -- Model Transformations and Constraints -- Automatically Discovering Hidden Transformation Chaining Constraints -- CSP(M): Constraint Satisfaction Problem over Models -- Parsing SBVR-Based Controlled Languages -- Model Management -- SLIM—A Lightweight Environment for Synchronous Collaborative Modeling -- Language-Independent Change Management of Process Models -- Requirements for Practical Model Merge – An Industrial Perspective -- UML in Practice and Quality Assurance -- Evaluating the Impact of UML Modeling on Software Quality: An Industrial Case Study -- Concern Visibility in Base Station Development – An Empirical Investigation -- Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation -- Formalization of Model Transformations -- Towards Composite Model Transformations Using Distributed Graph Transformation Concepts -- On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars -- Formal Support for QVT-Relations with Coloured Petri Nets -- Scenario Modeling -- An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example -- Refactoring-Safe Modeling of Aspect-Oriented Scenarios -- Model-Based Testing Using LSCs and S2A -- Business Application Development -- Model Driven Development of Graphical User Interfaces for Enterprise Business Applications – Experience, Lessons Learnt and a Way Forward -- Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors -- Rule-Enhanced Business Process Modeling Language for Service Choreographies -- Model Synchronisation and Change Propagation -- Change-Driven Model Transformations -- An Incremental Algorithm for High-Performance Runtime Model Consistency -- Traceability-Based Change Awareness -- Keynote 2 -- Interaction Design and Model-Driven Development -- Language Specification and Annotation -- Towards Test-Driven Semantics Specification -- Scalable Semantic Annotation Using Lattice-Based Ontologies -- OntoDSL: An Ontology-Based Framework for Domain-Specific Languages -- Domain-Specific Languages -- Domain-Specific Languages in Practice: A User Study on the Success Factors -- Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation -- Anatomy of a Visual Domain-Specific Language Project in an Industrial Context -- Model-Based Analysis -- A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty -- A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation -- Polymorphic Scenario-Based Specification Models: Semantics and Applications -- Model (De-)Composition and Abstractio -- Aspect Model Unweaving -- Model Composition Contracts -- Abstracting Complex Languages through Transformation and Composition -- An Approach for Evolving Transformation Chains -- Distributed Software Development -- Deterministic UML Models for Interconnected Activities and State Machines -- Automated Encapsulation of UML Activities for Incremental Development and Verification -- Using UML Statecharts with Knowledge Logic Guards -- Service and Business Process Integration -- A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems -- A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems -- Executable Domain Specific Language for Message-Based System Integration -- Keynote 3 -- Architectural Mining: The Other Side of the MDD -- Genericity and Constraints -- Generic Model Refactorings -- Constraining Type Parameters of UML 2 Templates with Substitutable Classifiers -- Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages -- OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language -- Variability Management -- Variability within Modeling Language Definitions -- Variability Modelling throughout the Product Line Lifecycle -- Weaving Variability into Domain Metamodels -- Automatic Domain Model Migration to Manage Metamodel Evolution -- Model Transformation Engineering -- Model Transformation by Demonstration -- Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets -- Incremental Development of Model Transformation Chains Using Automated Testing -- Test-Driven Development of Model Transformations -- Symposium -- Educators’ Symposium at MODELS 2009.…”

Accés Lliure
Accés Lliure

Ver edición digitalizada del t.1
Ver edición digitalizada del t.2
Ver edición digitalizada del t.3
Ver edición digitalizada del t.5

Texto completo en Odilo

Texto completo en Odilo

Tabla de Contenidos: “…Cartas católicas -- Carta de Santiago (Sant) -- Primera Carta de Pedro (1 Pe) -- Segunda Carta de Pedro (2 Pe) -- 2.5. Las cartas de Juan -- Primera Carta de Juan (1 Jn) -- Segunda Carta de Juan (2 Jn) -- Tercera Carta de Juan (3 Jn) -- 2.6. …”

Tabla de Contenidos: “…4.2 Parallel System Support Programs (PSSP) -- 4.2.1 Administration and operation -- 4.2.2 Reliable Scalable Cluster Technology (RSCT) -- 4.2.3 IBM Virtual Shared Disk (VSD) -- 4.2.4 Security -- 4.2.5 Communication subsystem -- 4.2.6 Network Time Protocol (NTP) -- 4.2.7 System availability -- 4.2.8 Other PSSP services -- 4.2.9 New in PSSP 3.5 -- 4.2.10 Software requirements -- 4.2.11 Software compatibility matrix -- 4.2.12 Documentation references - PSSP -- 4.3 Cluster Systems Management (CSM) -- 4.3.1 Administration and operation -- 4.3.2 Reliable Scalable Cluster Technology (RSCT) -- 4.3.3 New in CSM 1.3.2 for AIX -- 4.3.4 Supported platform -- 4.3.5 PSSP-to-CSM transition -- 4.3.6 Documentation references - CSM -- 4.4 General Parallel File System (GPFS) -- 4.4.1 Architecture -- 4.4.2 Administration and operation -- 4.4.3 Higher performance/scalability -- 4.4.4 Recoverability -- 4.4.5 Migration -- 4.4.6 New in GPFS 2.1 for AIX 5L -- 4.4.7 Software requirements -- 4.4.8 Documentation references -- 4.5 LoadLeveler -- 4.5.1 Administration and operations -- 4.5.2 Capabilities -- 4.5.3 New in LoadLeveler 3.2 -- 4.5.4 New in LoadLeveler 3.1 -- 4.5.5 Software requirement -- 4.5.6 LoadLeveler configuration suggestions -- 4.5.7 Documentation references - LoadLeveler -- 4.6 Scientific subroutine libraries -- 4.6.1 Engineering and Scientific Subroutines Library (ESSL) family of products -- 4.6.2 Operations -- 4.6.3 New in ESSL 4.1 -- 4.6.4 New in Parallel ESSL 3.1 -- 4.6.5 Software requirements -- 4.6.6 Documentation references - ESSL and PESSL -- 4.6.7 Mathematical Acceleration Subsystem (MASS) -- 4.7 Parallel Environment (PE) -- 4.7.1 Parallel Programming support -- 4.7.2 Operation -- 4.7.3 New in PE 4.1 -- 4.7.4 Software requirements -- 4.7.5 Documentation references - Parallel Environment (PE)…”

Tabla de Contenidos: “…ELEGIDOS PARA SER SU PUEBLO; Guía de lectura: 1 Pe 2,4-10; Para profundizar: Las imágenes bíblicas de la Iglesia; 2. …”
Acceso restringido con credenciales, usuarios UPSA

Tabla de Contenidos: “…Mantenimiento de calderas humotubularesCalderas para agua caliente; Quemadores para calderas; Aislaciones térmicas; Trampas de vapor; Calderas; Capítulo VI Ventiladores centrífugos y helicoidales; Obsérvese que para Pt = cte, en las secciones donde V aumenta, Pe disminuye y viceversa (principio de Bernoulli).; Tabla para mantenimiento de ventiladores; Ventiladores; Capítulo VII Válvulas, cañerías y accesorios; Válvulas (ver Figs.VII.1 a VII.4).; Mantenimiento de las válvulas; Instalación de válvulas; Filtros; Cañerías; Fugas; Juntas; Normas; Materiales empleados en la fabricación de cañerías…”

Tabla de Contenidos: “…La competición entre María Magdalena y Pedro (EvPe, EvTom, PistSof, EvMa)…”

Tabla de Contenidos: “…UTILITY; 7.1 Preferences among Rewards; 7.2 Preferences among Probability Distributions; 7.3 The Definition of a Utility Function; 7.4 Some Properties of Utility Functions; 7.5 The Utility of Monetary Rewards; 7.6 Convex and Concave Utility Functions; 7.7 The Axiomatic Development of Utility; 7.8 Construction of the Utility Function; 7.9 Verification of the Properties of a Utility Function; 7.10 Extension of the Properties of a Utility Function to the Class PE; Exercises; part three: statistical decision problems; Chapter 8. …”