Cs-Se
PIDoc: Wiki style Literate Programming for Prolog
An Introduction to Simulation-Based Techniques for Automated Service Composition
Managing Separation of Concerns in Grid Applications Through Architectural Model Transformations
A Generic Model of Contracts for Embedded Systems
Declarative Diagnosis of Floundering
Modelisation des facteurs influenc{c}ant la performance de la cha^ine logistique
Extensible type checker for parser generation
Framework for Visualizing Model-Driven Software Evolution and its Application
Heuristic Approach of Automated Test Data Generation for Program having Array of Different Dimensions and Loops with Variable Number of Iteration
Refining interfaces: the case of the B method
Components Interoperability through Mediating Connector Patterns
Specification of Products and Product Lines
Initial Results on the F-logic to OWL Bi-directional Translation on a Tabled Prolog Engine
Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB)
Personality Profiles of Software Engineers and Their Software Quality Preferences
Maintenance Support in Open Source Software Projects
Systematically Deriving Domain-Specific Transformation Languages
Empowering Web Service Search with Business Know-How
Assessment of classification techniques on predicting success or failure of Software reusability
An Empirical Study on the Procedure to Derive Software Quality Estimation Models
High-Level Requirements Management and Complexity Costs in Automotive Development Projects: A Problem Statement
A Dual Model of Open Source License Growth
