COINS: a constraint-based interactive solving system
Collaboration for enhancing the system development process in open source diligence
Collaborative process control: Observation of tracks generated by PLM system
Collaborative Software Development on the Web
Collecting Graphical Abstract Views of Mercury Program Executions
Communicating Concurrent Functions
Communication Language Specifications For Digital Ecosystems
Compact Symbolic Execution (technical report)
Comparative Study on DFD to UML Diagrams Transformations
Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification
Comparison of PBO solvers in a dependency solving domain
Comparison of Spreadsheets with other Development Tools (limitations, solutions, workarounds and alternatives)
Comparison of the portable program package PEPSOC and the ESOC MSSS orbit control software
Complexity Metrics for Spreadsheet Models
Component Based Development
Component Interaction Graph: A new approach to test component composition
Components Interoperability through Mediating Connector Patterns
Composing, Analyzing and Validating Software Models
Composition of Management System for Smart Homes
Comprehensive measurement framework for enterprise architectures