With software services becoming a strategic capability for the software sector, software architecture needs to address integration problems to help services to collaborate and coor...
We present a coinductive proof system for bisimilarity in transition systems specifiable in the de Simone SOS format. Our coinduction is incremental, in that it allows building in...
Software infrastructures and applications more and more must deal with data available in a variety of different storage engines, accessible through a multitude of protocols and in...
Marc Van Cappellen, Wouter Cordewiner, Carlo Innoc...
We present a mapping of Best Practices from the field of software engineering to the practice of discrete event simulation model construction. There are obvious parallels between ...
Brian D. Withers, A. Alan B. Pritsker, David H. Wi...
In this paper we describe a framework for robust system maintenance that addresses specific challenges of data-centric applications. We show that for data-centric applications, cl...
Behzad Bordbar, Dirk Draheim, Matthias Horn, Ina S...