Management at the Outsourcing Destination – Global Software Development in India

Managerial Strategies for Open-Sourcing Innovation

Measurement as part of requirements quality management

Model Checking for Autonomic Systems Specified with ASSL

Model-Based Testing Design for Embedded Automotive Software

Model-based verification of embedded software

Model-Driven Theme/UML

Modeling Service-Oriented Architectures of Mobile Applications by Extending SoaML with Ambients

Modeling the Image-processing Behavior of the NASA Voyager Mission with ASSL

Modelling Hardware Verification Concerns Specified in the e Language: An Experience Report