Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems

Model-Based Testing of Safety Critical Real-Time Control Logic Software

Model-checking Driven Black-box Testing Algorithms for Systems with Unspecified Components

Model-driven system development: Experimental design and report of the pilot experiment

Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude

Modeling and Validating Hybrid Systems Using VDM and Mathematica

Modeling of Cosmic-Ray Transport Processes

Modeling System Safety Requirements Using Input/Output Constraint Meta-Automata

Modélisation des facteurs influençant la performance de la chaîne logistique

Modelling and Analysing Dynamic Decentralised Systems

Modelling Competences for Partner Selection in Service-Oriented Virtual Organization Breeding Environments

Modelling Variability for System Families

Modelling Variability for System Families

ModelTalk: A Framework for Developing Domain Specific Executable Models

Modern software development tools in space projects on the example of a Spacelab experiment

Modular Workflow Engine for Distributed Services using Lightweight Java Clients

Monitoring and Debugging Concurrent and Distributed Object-Oriented Systems

Monitoring Software Reliability using Statistical Process control: An MMLE approach

More Precise Yet Efficient Type Inference for Logic Programs

Morphisms of Coloured Petri Nets