Concurrent Models of Flash Memory Device Behaviour

ASSL Specification and Code Generation of Self-Healing Behavior for NASA Swarm-Based Systems

An ASSL-Generated Architecture for Autonomic Systems

An Automated Tool for Generating UML Models from Natural Language Requirements

Automatic Business Process Pattern Matching for Enterprise Services Design. (SOPOSE-09)

Automating Product Derivation in Software Product Line Engineering

Autonomic Specification of Self-Protection for Distributed MARF with ASSL

Benefits of Global Software Development: Exploring the Unexplored

Bridging, Patching and Keeping the Work Flowing: Defect Resolution in Distributed Software Development

Career Paths for Programmers: Skills in Senior Software Roles