Computation in an algebra of test selection criteria

Computation of WCET using Program Slicing and Real-Time Model-Checking

Computer Aided Optimization of the Unconventional Processing

ConceptModeller: a Problem-Oriented Visual SDK for Globally Distributed Enterprise Systems

Conceptual Level Design of Semi-structured Database System: Graph-semantic Based Approach

Concrete uses of XML in software development and data analysis

Concurrent Approach to Flynn's SPMD Classification through Java

Concurrent Development of Model and Implementation

Concurrent Models for Function Execution

Conditional Model Checking

CONFIGEN: A tool for managing configuration options

Considerations on Resource Usage in Exceptions and Failures in Workflows

Constraint-Based Heuristic On-line Test Generation from Non-deterministic I/O EFSMs

Constraint-Guided Workflow Composition Based on the EDAM Ontology

CONSTRUCT - a tool for programming in the large

Constructing Active Architectures in the ArchWare ADL

Contents of COMP5541 Winter 2010 Final UUIS SRS and SDD Reports

Context Aware Adaptable Applications - A global approach

Context Capture in Software Development

Context-aware adaptation for group communication support applications with dynamic architecture