Cs-Se
Evidence-Based Comparison of Modularity Support Between Java and Object Teams
SAGA: A DSL for Story Management
A Domain-Specific Language for Incremental and Modular Design of Large-Scale Verifiably-Safe Flow Networks (Preliminary Report)
A Software Tool for Legal Drafting
BRIDGE: A Model for Modern Software Development Process to Cater the Present Software Crisis
Critical Aspects of Modern Open Source SoftwareTechnology to Support Emerging Demands
An overview of metrics-based approaches to support software components reusability assessment
Large-scale Complex IT Systems
A qos ontology-based component selection
Feature-Aware Verification
Designing a CPU model: from a pseudo-formal document to fast code
On the Simulation of Time-Triggered Systems on a Chip with BIP
Constraint-Based Deadlock Checking of High-Level Specifications
SRS BUILDER 1.0: An Upper Type CASE Tool For Requirement Specification
Assessing the Feasibility of Developing a Federated ERP System
Do Software Languages Engineers Evaluate their Languages?
Empirical study of sensor observation services server instances
Conditional Model Checking
Using the DiaSpec design language and compiler to develop robotics systems
Timed Automata Semantics for Visual e-Contracts
Accurate Programming: Thinking about programs in terms of properties
Visual Inference Specification Methods for Modularized Rulebases. Overview and Integration Proposal
