Cs-Se
Concurrent object-oriented development with behavioral design patterns
A model-driven approach for processing complex events
Empirical study of performance of data binding in ASP.NET web applications
Semantic web based Sensor Planning Services (SPS) for Sensor Web Enablement (SWE)
Using Built-In Domain-Specific Modeling Support to Guide Model-Based Test Generation
On the Interpretation of Spreadsheets within their Environment
A Metric For The Activeness Of An Object-Oriented Component Library
An Exploratory Study of Forces and Frictions affecting Large-Scale Model-Driven Development
A Parametric Counterexample Refinement Approach for Robust Timed Specifications
A lightweight forum-based distributed requirement elicitation process for open source community
Coalesced communication: a design pattern for complex parallel scientific software
Migration of data for iKnow application at EURM - a case study
On verification of software components
Simplifying Contract-Violating Traces
Tackling the testing migration problem with SAT-Solvers
Conformance Verification of Normative Specifications using C-O Diagrams
Multi-Dimensional Customization Modelling Based On Metagraph For Saas Multi-Tenant Applications
Detection of Configuration Vulnerabilities in Distributed (Web) Environments
Managing Distributed Software Development in the Virtual Astronomical Observatory
WorkingWiki: a MediaWiki-based platform for collaborative research
Proving linearisability via coarse-grained abstraction
Increasing the failure recovery probability of atomic replacement approaches
