Share Your Research, Maximize Your Social Impacts
Main Menu
Searching By
PARTNERS
QUOVADIS 2010 - 1st International Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (QUOVADIS)
Topics/Call fo Papers
1st International Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (QUOVADIS)
Monday, 3 May 2010
http://deepse.dei.polimi.it/quovadis/
Organizers:
Carlo Ghezzi, Politecnico di Milano, Italy
Lars Grunske, Swinburne University of Technology, Australia
Raffaela Mirandola, Politecnico die Milano, Italy
Nowadays requirements related to quality attributes such as performance, reliability, safety and security are often considered the most important requirements for software development projects. To reason about these quality attributes different stochastic models can be used. These models enable probabilistic verification as well as quantitative prediction at design time. On the other hand, these models could be also used to perform runtime adaptation in order to achieve certain quality goals. This workshop aims to provide a forum for researchers in these areas that should help with the adoption of quantitative stochastic models into general software development processes.
Monday, 3 May 2010
http://deepse.dei.polimi.it/quovadis/
Organizers:
Carlo Ghezzi, Politecnico di Milano, Italy
Lars Grunske, Swinburne University of Technology, Australia
Raffaela Mirandola, Politecnico die Milano, Italy
Nowadays requirements related to quality attributes such as performance, reliability, safety and security are often considered the most important requirements for software development projects. To reason about these quality attributes different stochastic models can be used. These models enable probabilistic verification as well as quantitative prediction at design time. On the other hand, these models could be also used to perform runtime adaptation in order to achieve certain quality goals. This workshop aims to provide a forum for researchers in these areas that should help with the adoption of quantitative stochastic models into general software development processes.
Other CFPs
- 4th International Workshop on Software Clones (IWSC2010)
- Third International Workshop on Recommendation Systems for Software Engineering
- 5th Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010)
- 5th International Workshop on Automation of Software Test (AST 2010)
- 3rd International Workshop on Product Line Approaches in Software Engineering
Last modified: 2010-06-04 19:32:22