Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
Software performance based on performance models can be applied at early phases of the software development cycle to characterize the quantitative behavior of software systems. We...
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang,...
: Service-Oriented Architectures (SOA) are a promising means to integrate heterogeneous systems, but virtually no technology -neutral approach to holistically understand SOAs exist...
Uwe Zdun, Carsten Hentrich, Wil M. P. van der Aals...
One of the main objectives of developing component-based software systems is to enable efficient building of systems through the integration of components. All component models def...