Test Infected

CALL FOR PAPERS
2nd International Workshop on the Quality of Service-Oriented Software Systems (QUASOSS’10)

Oslo, Norway
Held in conjunction with MoDELS 2010 (13th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems)

October 5th, 2010

http://sdq.ipd.kit.edu/conferences_and_events/quasoss2010/

===================================================================
IMPORTANT DATES

Abstract Submission: July 9th, 2010
Paper Submission: July 16th, 2010
Notification: August 14th, 2010
Camera-Ready Submission: August 27th, 2010

===================================================================
MOTIVATION

Service-oriented software systems are beginning to pervade many areas of the IT world and promise to deal with dynamically changing environments and strict quality-of-service requirements (e.g., for performance, reliability, security, maintainability).
Currently, platforms for software-as-a-service (SaaS) applications are emerging, which help to implement service-oriented systems on cloud infrastructures. Cloud-based environments have to offer strict service level agreements to be competitive (e.g. Windows Azure and Amazon EC2 guarantee 99.95% uptime).

Methods for assessing service level agreements regarding extra- functional properties are often based on modelling approaches, which help to reduce the complexity of the problem, focus on specific attributes, and rely on sound mathematical foundations.
Models can be used during all life-cycles stages, such as design, implementation, runtime, and system evolution.

The 2nd International Workshop on the Quality of Service-Oriented Software Systems (QUASOSS 2010) provides a forum for researchers and practitioners to assess current approaches for analysing the quality of service-oriented software systems. Here, the term quality refers to extra-functional properties, such as reliability, maintainability, performance, security, usability, sustainability, etc.

Due to the current maturation of model-driven methods for service-oriented systems, the declared goal of QUASOSS 2010 is to assess the state-of-the-art, report on successful or unsuccessful application of these methods, and to identify a research roadmap for future approaches.

TOPICS

The following topics are of particular relevance to QUASOSS:

- modeling languages for service-oriented systems incorporating probabilistic extra-functional properties, such as performance, reliability, security, energy consumption, maintainability, etc.
- approaches exploiting the UML MARTE profile (for performance) or the MARTE DAM profile (for dependability) for service-oriented systems
- modelling and prediction approaches supporting different life-cycle stages , such as design, implementation, runtime, and system evolution
- models for quality assessment in layered service systems (e.g., from SaaS/PaaS to IaaS)

- monitoring and management of service level agreements at runtime
- enforcing and predicting service level agreements and service level objectives
- reference architectures for the management of service level agreements

- self-aware service-oriented systems and their treatment of extra-functional properties
- virtualization in service-oriented systems and its influence on extra-functional properties
- cloud computing application and tools and their support for extra-functional properties
- scalability in multi-tenant architectures

- industrial practices in modelling service-oriented systems
- experience reports and lessons learned when applying model-driven approaches on component- and service-based systems

===================================================================
PUBLICATION

The workshop solicits position, research, and industry papers with a length of 6 pages in the ACM double-column proceedings format.

http://www.acm.org/sigs/publications/proceedings-templates

Furthermore, papers describing tools for aboves modelling and analyses topics are expected with a length of 4 pages in the same format.

All submitted contributions will be reviewed by three reviewers.
Paper submission will be managed with the Easychair submission
system: http://www.easychair.org/conferences/?conf=quasoss2010

All accepted papers will be published in the ACM International Conference Proceedings Series (AICPS) and be made available through the ACM Digital Library.

===================================================================
ORGANIZATION

Steffen Becker, University of Paderborn, DE steffen.becker (at) uni-paderborn.de
Jens Happe, SAP Research, DE jens.happe (at) sap.com
Heiko Koziolek, ABB Corporate Research, DE heiko.koziolek (at) de.abb.com
Paul Pettersson, Mälardalen University Västeras, SE paul.pettersson (at) mdh.se

PROGRAMM COMMITTEE
Danilo Ardagna, U Milano, IT
Len Bass, SEI Pittsburg, USA
Premysl Brada, U West Bohemia, CZ
Michel Chaudron, U Eindhoven, NL
Vittorio Cortellessa, U L’Aquila,IT
Ivica Crnkovic, U Märladalen, SW
Gregor Engels, U Paderborn, DE
Holger Giese, HPI Potsdam, DE
Ian Gorton, PNNL, USA
Vincenzo Grassi, U Roma, IT
Bernhard Humm, sdm Research, DE
Tomas Kalibera, U Prague, CZ
Samuel Kounev, KIT Karlsruhe, DE
Kung-Kiu Lau, U Manchester, UK
Moreno Marzolla, U Bologna, IT
Raffaela Mirandola, U Milano, IT
Dorina Petriu, U Ottawa, CA
Ralf Reussner, KIT Karlsruhe, DE
Bernard Rumpe, RWTH Aachen, DE
Antonino Sabetta, ISTI CNR Pisa, IT
Cristina Seceleanu, U Mälardalen, SE
Wolfgang Theilmann, SAP AG,DE
Petr Tuma, U Prague, CZ
Katinka Wolter, HU Berlin, DE

===================================================================
VENUE

QUASOSS 2010 will be located at the Oslo Congress Centre.
It will run jointly with MoDELS 2010.

http://models2010.ifi.uio.no/

===================================================================

CALL FOR PAPERS
——————————–

ICST 2011: The 4th IEEE International Conference on Software Testing, Verification and Validation March 21-25 2011, Berlin, Germany

http://sites.google.com/site/icst2011

icst2011@fokus.fraunhofer.de

About ICST 2011:
——————————–
The International Conference on Software Testing, Verification and Validation (ICST) is the premier conference in all areas related to software quality. Software systems present unique engineering challenges to the tester, not least because they can exhibit non-determinism and emergent behaviour. No other engineering artefact is more closely intertwined with the human activity, resulting in complex hybrid systems that involve software, human judgement and, sometimes, political, legal and social processes.

As a result, software verification & validation including testing, inspections, model analysis, safety certification, etc. draws upon a wide spectrum of disciplines, including engineering, mathematics and also psychology. It touches on all aspects of Computer Science and Software Engineering research and impacts on almost every software practitioner. ICST seeks to meet these problems by bringing together researchers and practitioners for a conference that includes all aspects of software testing, as it is most widely construed.

ICST welcomes research papers as well as industrial experience reports from software development and testing practitioners. For the research papers, ICST seeks high quality original work. For the industrial papers ICST seeks papers that present real world experience from which others can benefit.

Authors of best papers from the conference will be invited to submit extended versions of their papers for a special issue of Software Testing, Verification, and Reliability, a Wiley journal.

Topics of interest:
——————————–
- Software testing theory and practice
- Model-based testing
- Domain specific testing including, but not limited to, security testing, web services testing, database testing, embedded software testing, and OO software testing
- Verification & validation
- Quality assurance
- Model checking
- Empirical studies
- Metrics
- Fuzz testing
- Inspections
- Tools
- Testability and diagnosability
- Design for testability
- Testing education
- Testing in multidisciplinary applications
- Technology transfer
- Model-driven engineering and testing
- Agile/iterative/incremental testing processes
- Open source software/3rd party software testing
- Novel approaches to software reliability assessment

Important Dates:
——————————–
Papers
- Submission of abstracts: September 25, 2010
- Submission of full papers: October 1, 2010
- Notification: November 30, 2010
- Date of conference: March 21-25, 2011

Ph. D. Symposium
- Same deadlines as for papers

Workshops
- Submission of proposals: September 3, 2010

Conference Location:
——————————–
The conference will be held in Hotel Esplanade, an urban oasis of sleek design and intuitive service in the heart of the Berlin’s cultural district.

Organization:
——————————–
General Chairs
- Ina Schieferdecker, Fraunhofer FOKUS and TU Berlin, Germany
- Alexander Pretschner, Fraunhofer IESE and TU Kaiserslautern, Germany

Program Chairs
- Mark Harman, CREST, King’s College London, UK
- Bogdan Korel, Illinois Institute of Technology, USA

Workshop Chair
- Phil McMinn, Sheffield University, UK

Ph.D. Symposium Chair
- Gordon Fraser, Saarland University, Germany

Poster Chair
- Fevzi Belli, University of Paderborn, Germany

Industrial Chairs
- Andreas Ulrich, Siemens, Germany
- Paul Baker, Motorola, UK
- Clay Williams, IBM Research, USA

Publicity Chairs
- Victor Braberman, University of Buenos Aires, Argentina
- Vahid Garousi, University of Calgary, Canada
- Kulpesh Kapoor, Indian Institute of Technology Guwahati, India
- Yves Le Traon, University Luxembourg, Luxembourg
- Michael Norrish, NICTA, Australia
- Alexander K Petrenko, ISPRAS, Russia
- Lu Zhang, Peking University, China
- Robert Eschbach, Fraunhofer IESE, Germany

Publications Chair
- Yue Jia, CREST, King’s College London, UK

Local Arrangements Chair
- Ilona Schubert, Fraunhofer FOKUS, Germany

Webmaster
- Enrico Lovat, Fraunhofer IESE, Germany ============================================================

For more info go to http://freddy.cellcore.org/research/vidas/2010/

ViDaS 2010 will be in conjunction with Third International Conference on Software Testing, Verification and Validation http://vps.it-sudparis.eu/icst2010/
Paris, France, April 6-9, 2010

Important dates:
Submission deadline: Friday 15 January 2010 Authors notification: Monday 8 February 2010 Workshop date: 6-10 April 2010 (one day workshop)

Increasingly software systems are required to survive fluctuations in their execution environment without or with only little human intervention. These modern and complex systems cannot be shutdown to be changed or updated and restarted again. Instead, these systems need to be change-enabled to fluidly reconfigure and adapt to the ongoing circumstances and to find the way to continue accomplishing their goals. Such systems, called dynamic software systems (DSS), play vital roles in society’s infrastructures. The demand for DSS appears in application domains spanning business applications (e.g., virtual organizations and dynamic service compositions), entertainment, such as mobile interactive, and also safety critical systems, such as crisis and disaster management applications, space exploration, and transportation domains among others. Different international research initiatives and projects have started creating awareness and producing initial results in the development of technologies and platforms for such systems. Nevertheless, the dynamic nature of these systems still poses challenging research questions about how to guarantee their validity and correctness, especially in the case of safety critical applications. For instance, are traditional Validation and Verification (V&V) techniques usable in this new scenario? If so, how can they be reused? Given the new circumstances, new V&V techniques must also be explored. Such techniques should exploit the dynamic nature of DSS to provide for instance, V&V at runtime.

The goal of this workshop is to bring together practitioners and researchers to identify and discuss the major research questions that emerge when tackling the validation and verification of dynamic software systems. Some of these questions are:
How to ensure that the dynamic changes in the running system are performed correctly?
How to ensure that the changes in the system are correct?
(e.g. with respect to the requirements) How to ensure that the reconfigurations yield a system whose functional and extra-functional characteristics satisfy the requirements?
How to ensure that the changes will be performed when needed?
Which of the existing V&V techniques can help dealing with the V&V issues of dynamic software? How can these techniques be applied in this context?
What are the differences between V&V done during design and runtime? How new V&V techniques performed at runtime challenge or modify the assumptions of current techniques?

Researchers and practitioners are invited to submit full papers to the workshop, describing original research, experience or tools. Papers submitted to this workshop should address a problem in the following topics:
Exploration of the diverse validation / verification techniques for dynamic software systems V&V of ultra-large scale systems and systems-of-systems V&V of reconfigurable systems V&V of the reasoning engines behind the dynamic software changes Monitoring approaches to V&V and QoS assurance QoS assurance Model driven techniques for V&V (including models@run.time to continuously assess the changing system) V&V based on simulation Dynamic V&V of self-managed software V&V of context-aware systems V&V of service-oriented systems

The workshop participants will be selected based on their experience and ideas related to V&V of dynamic software system. Contributions must be submitted before Friday 8 January 2010 and must not exceed 10 pages in the two-column IEEE format. Submissions will be reviewed by at least 3 members of the program committee and accepted papers will be published as proceeding in the IEEE digital library.

The CfP in PDF version is at http://freddy.cellcore.org/research/vidas/2010/cfp.pdf

Organization committee
Freddy Munoz, INRIA, France, (main contact) (freddy.munoz@inria.fr)  Nelly Bencomo, Lancaster University, UK (nelly@acm.org)
Antonino Sabbetta, ISTI-CNR, Italy (antonino.sabetta@isti.cnr.it)

Program committee
Paul Ammann, George Mason University, USA  Antonia Bertolino, ISTI-CNR, Italy  Rogerio de Lemos, University of Coimbra, Portugal  Gordon Fraser, Graz University of Technology, Austria  Sudipto Ghosh, Colorado State University, USA  Holger Giese, Postdam University, Germany  William Heaven, Imperial College London, UK  Paola Inverardi, Università dellÀquila, Italy  Valerie Issarny, INRIA, France  Raffaela Mirandola, Politecnico di Milano, Italy  Hausi Muller, University of Victoria, Canada  Dorina C. Petriu, Carleton University, Canada  Alfonso Pierantonio, Università dellÀquila, Italy  Andrea Polini, University of Camerino, Italy  Ralf Reussner, Karslruhe University, Germany  Fernando Schapachnik, Universidad de Buenos Aires, Argentina  François Taiani, Lancaster University, Uk  Heiko Koziolek, ABB, Germany  Arnor Solberg, SINTEF, Norway

Call for Papers – CIbSE 2010

XIII Ibero-American Conference on Software Engineering

http://www.upacifico.edu.ec/Cibse.html
Cuenca, Ecuador, April 12-16, 2010

____________________________________________________________

Conference
———-

With the aim to become the Software Engineering representative event in Iberoamerica, CIbSE follows the IDEAS’s mission of promoting high-quality research in the area for this community. The 12 previous and successful IDEAS Conferences are the platform upon which CIbSE is founded. CIbSE 2010 will be located at Cuenca, Ecuador and it is jointly organized by Universidad del Azuay, Universidad del Pacífico, and Universidad de Cuenca. The event includes a research track, tutorials, a doctoral symposium, and other events.The official languages of the Conference are Spanish, Portuguese, and English.

The scope includes but it is not limited to:
* Service-oriented Architectures
* Quality assurance, Process and Product Metrics
* Empirical Studies including Case Studies
* Software Evolution and Maintenance
* Software Product Families and Variability Representation
* Code Generation
* Reverse Engineering and Legacy Systems Evolution
* Method Engineering and Software Engineering Metamodels
* Requirements Engineering
* Web-oriented Software Engineering
* Languages, Methods, Process and Tools
* Applications of Formal Methods
* Software Engineering Standards
* Ontologies in Software Engineering
* Software Development Paradigms
* Testing, Verification and Validation
* Software Reuse
* Pair-to-pair (P2P) Systems

Submitted papers can be up to 14 pages in the LNCS format (http://www.springer.de/comp/lncs/authors.html). The submission
process will be done using the website of CIbSE 2010 at http://www.upacifico.edu.ec/Cibse.html. Contributions may be accepted as full papers, short papers or poster presentations.

Important Dates
- Submission of papers: October 15, 2009
- Notification of acceptance: December 18, 2009
- Final version due: January 15, 2010
- Conference: April 12-16, 2010

Additional information about CIbSE is provided at
http://www.upacifico.edu.ec/Cibse.html

One day on October 25, 2009, collocated with OOPSLA 2009:
24th Annual ACM SIGPLAN Conference on Object-Oriented Programming,
Systems, Languages, and Applications
Disney’s Contemporary Resort, Orlando, Florida, USA,

http://patterns-wg.fuka.info.waseda.ac.jp/SPAQU/

———————————————————————

*Objective and Motivation*

As requirements for software products and processes have become more complex, larger in scale and requiring higher reliability and security, demand is increasing for technologies to capture, share, enhance, apply and evaluate software patterns.  Although several pattern catalogues have been published, little is known about how to specify, measure and evaluate those patterns themselves and/or the effect of their application on quality.  Quality is “the Degree to which a set of inherent characteristic fulfills requirements”
[ISO9000]. Because there are many kinds of characteristics of software, such as accessibility, compatibility, efficiency, maintainability, performance, security, and so on, it is difficult to understand the nature of software patterns and pattern-oriented development approaches.

To improve this state, first workshop of this series was held on December 2007 collocated with APSEC, and it attracted more than 30 people. Second one was held on October 2008 collocated with PLoP and it attracted around 10 people. These previous workshops were successful to discuss the theoretical, social, technological and practical issues related to quality aspects of patterns including security aspects.

However, we believe there is still room to improve this understanding and to further research these topics, and we are proposing a similar workshop. This workshop will provide the opportunity to bring together researchers and practitioners and discuss the future prospects of this area.

Suggested topic areas of interest include, but are not limited to:

- Quality in the application of software patterns: management,
assurance, measurement, rating, testing, review and evaluation of
quality in software products, processes, people and projects with
software patterns (e.g. how much does maintainability of software
become high by applying design patterns? )
- Quality of software patterns: management, assurance, measurement,
rating, testing, review and evaluation of quality of software
patterns
- Quality-specific patterns: e.g. security patterns, safety patterns
and performance patterns
- Quality aspects of activities related to software patterns
- Quality in pattern system and languages: how to build quality
systems of patterns, pattern compositions, and stable/testable
pattern languages
- Patterns and pattern languages pitfalls and how to avoid them
- Nature of “Quality Without A Name (QWAN)” in software development
- Methods and tools: modeling tools, measurement tools, testing
tools and management tools related to software patterns quality
- Case studies and lessons learned from the viewpoint of quality
- Relationships among software patterns and related technologies
from the viewpoint of quality

Please note that in this workshop we will use the following definition (and related definitions) on software quality:
“capability of software product to satisfy stated and implied needs  when used under specified conditions” — ISO/IEC 25000, 9126

———————————————————————
*Workshop Format*

Firstly, we will have short talks on what software patterns are, and how they are related to quality. Secondly, we will have accepted paper presentations to expose the latest researches and practices on software patterns and quality. Finally, we will discuss several topics related to these presentations in small groups.

Newcomers, interested researchers and practitioners are free to attend the workshop to facilitate their understandings, researches and practices on software patterns and quality.

———————————————————————
*Paper Submission*

The workshop invites the submission of both full papers and position papers. Full papers shall describe in detail research projects and experience, and must not exceed 6 pages in the IEEE conference format ( http://www.computer.org/portal/pages/cscps/cps/cps_forms.html ).
Position papers shall describe visions, new perspectives, research experience, or emerging research questions, and must not exceed 2 pages of the same format.

Both types of submissions will be reviewed by the program committee for their relevance as well theoretical, technological and practical contributions to the workshop topics. We especially encourage the submission of provoking or unconventional ideas that can lead to lively and productive discussions.

Please send your submission (in PDF) to:
spaqu-organizers [at] sse-project.org

———————————————————————
*Publication*

Accepted papers of the workshop will be published in the workshop on-line proceedings as a volume of GRACE Technical Report with ISSN (pending). Please note that at least one of the authors of each accepted paper must register as a full participant of the workshop to have the paper published in the workshop on-line proceedings.

———————————————————————
*Important Dates*

Full/position paper submission  August 24, 2009
Acceptance notification         September 14, 2009
Final camera-ready              October 9, 2009
Workshop                        One day on October 25, 2009

———————————————————————
*Workshop Committee*

Organizers:
Hironori Washizaki, Waseda University, Japan Nobukazu Yoshioka, National Institute of Informatics, Japan Eduardo B. Fernandez, Florida Atlantic University, US Jan Jurjens, Open University, UK

———————————————————————
*Sponsors and Contact Us*

The workshop is co-sponsored by the IPSJ/SIGSE Patterns Working Group and the GRACE Center of the National Institute of Informatics (NII).
Please contact us at: spaqu-organizers [at] sse-project.org =====================================================================