1–50 of 61 hits
Sort by:
Sort by:
-
Dealing with Multiple Source Spatio-temporal Data in Urban Dynamics Analysis
British Library Online Contents | 2012| -
Towards a Spatio-Temporal Information System for Moving Objects
British Library Online Contents | 2011| -
Applying the B Method for the Rigorous Development of Smart Card Applications
British Library Online Contents | 2010| -
Requirements Modeling with the Aspect-oriented User Requirements Notation (AoURN): A Case Study
British Library Online Contents | 2010| -
Identifying Business Rules to Legacy Systems Reengineering Based on BPM and SOA
British Library Online Contents | 2012| -
Supporting Consistency Checking between Features and Software Product Line Use Scenarios
British Library Online Contents | 2011| -
Differentiation of isomeric -(1-4) hexose disaccharides by positive electrospray tandem mass spectrometry
British Library Online Contents | 2013| -
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| -
VML^* - A Family of Languages for Variability Management in Software Product Lines
British Library Online Contents | 2010| -
Relating Feature Models to Other Models of a Software Product Line: A Comparative Study of FeatureMapper and VML^*
British Library Online Contents | 2010| -
The Semantic Web as a Software Modeling Tool: An Application to Citizen Relationship Management
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. -
Composing Your Compositions of Variability Models
British Library Online Contents | 2013|Contributors: Moreira, A. -
Data-Flow Based Model Analysis and Its Applications
British Library Online Contents | 2013|Contributors: Moreira, A. -
Usability Inspection in Model-Driven Web Development: Empirical Validation in WebML
British Library Online Contents | 2013|Contributors: Moreira, A. -
Parallel Execution of ATL Transformation Rules
British Library Online Contents | 2013|Contributors: Moreira, A. -
Endogenous Metamodeling Semantics for Structural UML 2 Concepts
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. -
Simplification and Correctness of UML Class Diagrams - Focusing on Multiplicity and Aggregation/Composition Constraints
British Library Online Contents | 2013|Contributors: Moreira, A. -
Transformation of Models Containing Uncertainty
British Library Online Contents | 2013|Contributors: Moreira, A. -
Defining and Validating a Multimodel Approach for Product Architecture Derivation and Improvement
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. -
SafetyMet: A Metamodel for Safety Standards
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. -
Analyzing Enterprise Models Using Enterprise Architecture-Based Ontology
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. -
Validation of Derived Features and Well-Formedness Constraints in DSLs: By Mapping Graph Queries to an SMT-Solver
British Library Online Contents | 2013|Contributors: Moreira, A. -
Towards the Notation-Driven Development of DSMLs
British Library Online Contents | 2013|Contributors: Moreira, A. -
On the Complex Nature of MDE Evolution
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. -
Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples
British Library Online Contents | 2013|Contributors: Moreira, A. -
Industrial Adoption of Model-Driven Engineering: Are the Tools Really the Problem?
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. -
Runtime Model Based Management of Diverse Cloud Resources
British Library Online Contents | 2013|Contributors: Moreira, A. -
Automated Test Case Selection Using Feature Model: An Industrial Case Study
British Library Online Contents | 2013|Contributors: Moreira, A. -
Recommending Auto-completions for Software Modeling Activities
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. -
Towards an Operationalization of the ``Physics of Notations'' for the Analysis of Visual Languages
British Library Online Contents | 2013|Contributors: Moreira, A. -
Contract-Aware Slicing of UML Class Models
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. -
Evolution of the UML Interactions Metamodel
British Library Online Contents | 2013|Contributors: Moreira, A. -
Supporting the Co-evolution of Metamodels and Constraints through Incremental Constraint Management
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.
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.