Cs-Se
Putting Instruction Sequences into Effect
CTL Model Update for System Modifications
An Ontology-Based Method for Semantic Integration of Business Components
Generalization Strategies for the Verification of Infinite State Systems
Identifying Reference Objects by Hierarchical Clustering in Java Environment
Discovering patterns of correlation and similarities in software project data with the Circos visualization tool
Open Source Software: How Can Design Metrics Facilitate Architecture Recovery?
A comparative study of process mediator components that support behavioral incompatibility
Sources of Inter-package Conflicts in Debian
Enhance accuracy in Software cost and schedule estimation by using "Uncertainty Analysis and Assessment" in the system modeling process
WeSSQoS: A Configurable SOA System for Quality-aware Web Service Selection
Towards a Calculus of Object Programs
Metrics of Risk Associated with Defects Rediscovery
Estimation of Characteristics of a Software Team for Implementing Effective Inspection Process through Inspection Performance Metric
Optimal Divide and Query (extended version)
Applying whole system design in a sportscar factory
Semantic annotation of requirements for automatic UML class diagram generation
QuantUM: Quantitative Safety Analysis of UML Models
Model Based Synthesis of Control Software from System Level Formal Specifications
An IDE to Build and Check Task Flow Models
Logical Concurrency Control from Sequential Proofs
Introducing Sourcements
