1–50 of 61 hits
Sort by:
Sort by:
-
Adding Spreadsheets to the MDE Toolkit
British Library Online Contents | 2013|Contributors: Moreira, A. -
A Generic Fault Model for Quality Assurance
British Library Online Contents | 2013|Contributors: Moreira, A. -
A Graph-Pattern Based Approach for Meta-Model Specific Conflict Detection in a General-Purpose Model Versioning System
British Library Online Contents | 2013|Contributors: Moreira, A. -
Analyzing Enterprise Models Using Enterprise Architecture-Based Ontology
British Library Online Contents | 2013|Contributors: Moreira, A. -
Analyzing the Effort of Composing Design Models of Large-Scale Software in Industrial Case Studies
British Library Online Contents | 2013|Contributors: Moreira, A. -
An Approach to Testing Java Implementation against Its UML Class Model
British Library Online Contents | 2013|Contributors: Moreira, A. -
Applying the B Method for the Rigorous Development of Smart Card Applications
British Library Online Contents | 2010| -
Automated Test Case Selection Using Feature Model: An Industrial Case Study
British Library Online Contents | 2013|Contributors: Moreira, A. -
Automated Verification of Model Transformations in the Automotive Industry
British Library Online Contents | 2013|Contributors: Moreira, A. -
Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples
British Library Online Contents | 2013|Contributors: Moreira, A. -
Behavioural Verification in Embedded Software, from Model to Source Code
British Library Online Contents | 2013|Contributors: Moreira, A. -
Big Metamodels Are Evil: Package Unmerge - A Technique for Downsizing Metamodels
British Library Online Contents | 2013|Contributors: Moreira, A. -
Composing Your Compositions of Variability Models
British Library Online Contents | 2013|Contributors: Moreira, A. -
Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications
British Library Online Contents | 2013|Contributors: Moreira, A. -
Computer Assisted Integration of Domain-Specific Modeling Languages Using Text Analysis Techniques
British Library Online Contents | 2013|Contributors: Moreira, A. -
Constraints: The Core of Supporting Automated Product Configuration of Cyber-Physical Systems
British Library Online Contents | 2013|Contributors: Moreira, A. -
Contract-Aware Slicing of UML Class Models
British Library Online Contents | 2013|Contributors: Moreira, A. -
Customizable Model Migration Schemes for Meta-model Evolutions with Multiplicity Changes
British Library Online Contents | 2013|Contributors: Moreira, A. -
Data-Flow Based Model Analysis and Its Applications
British Library Online Contents | 2013|Contributors: Moreira, A. -
Dealing with Multiple Source Spatio-temporal Data in Urban Dynamics Analysis
British Library Online Contents | 2012| -
Defining and Validating a Multimodel Approach for Product Architecture Derivation and Improvement
British Library Online Contents | 2013|Contributors: Moreira, A. -
Differentiation of isomeric -(1-4) hexose disaccharides by positive electrospray tandem mass spectrometry
British Library Online Contents | 2013| -
Endogenous Metamodeling Semantics for Structural UML 2 Concepts
British Library Online Contents | 2013|Contributors: Moreira, A. -
Evolution of the UML Interactions Metamodel
British Library Online Contents | 2013|Contributors: Moreira, A. -
Fine-Grained Software Evolution Using UML Activity and Class Models
British Library Online Contents | 2013|Contributors: Moreira, A. -
Formal Verification Integration Approach for DSML
British Library Online Contents | 2013|Contributors: Moreira, A. -
Identifying Business Rules to Legacy Systems Reengineering Based on BPM and SOA
British Library Online Contents | 2012| -
Industrial Adoption of Model-Driven Engineering: Are the Tools Really the Problem?
British Library Online Contents | 2013|Contributors: Moreira, A. -
Integrating Modeling Tools in the Development Lifecycle with OSLC: A Case Study
British Library Online Contents | 2013|Contributors: Moreira, A. -
Model Checking of UML-RT Models Using Lazy Composition
British Library Online Contents | 2013|Contributors: Moreira, A. -
Model-Driven Approach for Supporting the Mapping of Parallel Algorithms to Parallel Computing Platforms
British Library Online Contents | 2013|Contributors: Moreira, A. -
Model-Driven Extraction and Analysis of Network Security Policies
British Library Online Contents | 2013|Contributors: Moreira, A. -
Multi-view Composition Language for Software Product Line Requirements
British Library Online Contents | 2010| -
Neutral and acidic products derived from hydroxyl radical-induced oxidation of arabinotriose assessed by electrospray ionisation mass spectrometry
British Library Online Contents | 2014| -
On the Complex Nature of MDE Evolution
British Library Online Contents | 2013|Contributors: Moreira, A. -
Parallel Execution of ATL Transformation Rules
British Library Online Contents | 2013|Contributors: Moreira, A. -
Recommending Auto-completions for Software Modeling Activities
British Library Online Contents | 2013|Contributors: Moreira, A. -
Relating Feature Models to Other Models of a Software Product Line: A Comparative Study of FeatureMapper and VML^*
British Library Online Contents | 2010| -
Requirements Modeling with the Aspect-oriented User Requirements Notation (AoURN): A Case Study
British Library Online Contents | 2010| -
Runtime Model Based Management of Diverse Cloud Resources
British Library Online Contents | 2013|Contributors: Moreira, A. -
SafetyMet: A Metamodel for Safety Standards
British Library Online Contents | 2013|Contributors: Moreira, A. -
Self-adaptation with End-User Preferences: Using Run-Time Models and Constraint Solving
British Library Online Contents | 2013|Contributors: Moreira, A. -
Simplification and Correctness of UML Class Diagrams - Focusing on Multiplicity and Aggregation/Composition Constraints
British Library Online Contents | 2013|Contributors: Moreira, A. -
Specification of Cyber-Physical Components with Formal Semantics - Integration and Composition
British Library Online Contents | 2013|Contributors: Moreira, A. -
Supporting Consistency Checking between Features and Software Product Line Use Scenarios
British Library Online Contents | 2011| -
Supporting the Co-evolution of Metamodels and Constraints through Incremental Constraint Management
British Library Online Contents | 2013|Contributors: Moreira, A.
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.