Can Component/Service-Based Systems Be Proved Correct?

Capabilities Engineering: Constructing Change-Tolerant Systems

Cardinality heterogeneities in Web service composition: Issues and solutions

Case Study in Survivable Network System Analysis

Causes and Effects in Computer Programs

Certifying controls and systems software

Checking Finite State Machine Conformance when there are Distributed Observations

chi2TeX Semi-automatic translation from chiwriter to LaTeX

ChOrDa: a methodology for the modeling of business processes with BPMN

Class Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support

Classification of Spreadsheet Errors

Cloud Process Execution Engine - Evaluation of the Core Concepts

CLPGUI: a generic graphical user interface for constraint logic programming over finite domains

CMS Workflow Execution using Intelligent Job Scheduling and Data Access Strategies

Code forking in open-source software: a requirements perspective

Code Quality Evaluation Methodology Using The ISO/IEC 9126 Standard

Code-based Automated Program Fixing

Cognitive Process of Comprehension in Requirement Analysis in IT Applications

Coherent management support in the ADA environment

CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems