Accepted Workshop papers should comply the formatting guidelines of ACM SIG Proceedings Templates, that can be found here: http://www.acm.org/sigs/publications/proceedings-templates#aL2 (Option 2 - Tighter Alternate style). The prefered document type is PDF. For additional information please contact the Workshop organizers.
Camera ready papers deadline: June 7, 2010.
|Monday, 21 June 2010||Tuesday, 22 June 2010|
|9:00-10:30||MORNING SESSION 1:
WS 1, WS 2, WS 3
|MORNING SESSION 1:
WS 5, WS 6, WS 7, WS 8, WS 9
|11:00-12:30||MORNING SESSION 2:
WS 1, WS 2, WS 3
|MORNING SESSION 2:
WS 5, WS 6, WS 7, WS 8, WS 9
|14:00-15:30||AFTERNOON SESSION 1:
WS 1, WS 2, WS 3
|AFTERNOON SESSION 1:
WS 4, WS 5, WS 6, WS 8, WS 9
|16:00-17:30||AFTERNOON SESSION 2:
WS 1, WS 2, WS 3
|AFTERNOON SESSION 2:
WS 4, WS 5, WS 6, WS 8, WS 9
|Monday, 21 June 2010|
|WS 1:||Workshop on Advances in Functional Size Measurement and Effort Estimation|
|WS 2:||International Workshop on Formalization Of Modeling Languages (FML'10)|
|WS 3:||1st Workshop on Testing Object-Oriented Systems|
|Tuesday, 22 June 2010|
The workshop papers should be submitted to the workshop organizers directly. Please follow the instruction on the web site of the workshop you are submitting to. In case of any difficulties do not hesitate to contact ECOOP'2010 organizers (email@example.com) or the workshop chairs Marjan Mernik and Richard Torkar (firstname.lastname@example.org).
- Alain Abran, Université du Québec, Canada
- Cigdem Gencel, Blekinge Institute of Technology, Sweden
- Aleš Živkovič, University of Maribor, Slovenia
June 21, 2010
The software engineering community has put considerable effort to improve effort estimates for better project planning, monitoring and control. Most of the software effort estimation models or techniques take software product size as the base input. There currently exist, many size measures, such as Albrecht/IFPUG Function Points, COSMIC Function Points, Use Case Points, Object Points, Source Lines of Code, Number of Classes. Among those, software functional size measurement (FSM) methods have evolved quite a bit since the original method Albrecht introduced his Function Point Analysis (FPA), in 1979. Later, many variations on the original idea were suggested to improve or to extend the domains of application of Function Points.
At the ISO initiative, the ISO 14143 standard family has been developed to enable standardization of the FSM methods. Currently, the Common Software Measurement International Consortium Function Points (COSMIC), Albrecht/the International Function Point Users Group (IFPUG) FPA, MarkII FPA, the Netherlands Software Metrics Association (NESMA) FSM and the Finnish Software Metrics Association (FiSMA) FSM methods are accepted as international FSM methods.
Many national or international measurement and benchmarking associations such as the International Software Benchmarking Standards Group (ISBSG) and China Software Benchmarking Standards Group (CSBSG) etc. have also been working on collecting high quality data on completed projects and thus provide benchmark data to help practitioners to make better estimations. However there are several practical difficulties preventing practitioners to use FSM efficiently:
- there is a need to catch up with the latest changes and trends related to software development,
- there is no adequate support in the mainstream software development tools,
- the use and availability of benchmarking repositories is still low,
- there is not enough experience reports including the lessons learned and best practices information for existing and future users, etc.
The aim of this workshop is to address these problems and open issues, report findings as well as discuss new ideas regarding the efficient use of the FSM methods within the scope of software development projects. There are many research challenges in the FSM area that needs to be addressed and tested in practice.
Best papers will be considered for publication in the Information and Software Technology with the impact factor 1.2. The authors will be asked to prepare extended version of the paper before December 2010.
More information: http://lisa.uni-mb.si/fsm
- Paulo Borba, Fed. Univ. Pernambuco, Brazil
- Kai Chen, Google, USA
- Benoit Combemale, IRISA/INRIA, France
- Ethan Jackson, Microsoft Research, USA
- Julia Lawall, DIKU, Denmark
- Pieter Mosterman, Math Works, USA
- Ileana Ober, Université Paul Sabatier, France
- Claudia Pons, University of La Plata, Argentina
- Andy Schürr, TU Darmstadt, Germany
- Jonathan Sprinkle, University of Arizona, USA
- Juha-Pekka, Tolvanen MetaCase, Finland
- Antonio Vallecillo, Universidad de Málaga, Spain
- Eric Van Wyk, University of Minnesota, USA
- Barrett R. Bryant, Univ. Alabama at Birmingham, USA (chair)
- Viljan Mahnič, University of Ljubljana, Slovenia (chair)
- Jeff Gray, University of Alabama, USA
- Marjan Heričko, University of Maribor, Slovenia
- Marjan Mernik, University of Maribor, Slovenia
June 21, 2010
Formal specifications, syntax and semantics, of modeling languages have not been developed yet to the equivalent maturity seen for programming languages. While the syntax of modeling languages is commonly specified by metamo-dels, an appropriate and standard formalism for specifying (behavioral) semantics of modeling languages does not exist yet. Recently, this has been identified as one of the most important research topics in Model-Driven Engineering (MDE).
The purpose of this workshop is to provide a forum to dis-cuss five major challenge areas in formalizing modeling languages and constructing automated tools from such for-malizations. They include: (i) inventing a behavioral seman-tics formalism that is easier to use than existing formalisms and is amenable to further processing for automatic genera-tion of modeling tools (e.g., editors, debuggers, and simula-tors); (ii) extending not only models, but also metamodels, with semantics; (iii) automatic generation of different mode-ling tools would require tool-specific information and diffe-rent generative algorithms to construct them; (iv) mapping to existing low-level formalisms/tools must be automatic and transparent to end-users of the modeling language; and (v) development of new tools that are not possible without a formal semantics (e.g., model checker that can verify do-main-specific properties).
More information: http://www.cis.uab.edu/FML2010
- Massimiliano di Penta, University of Benevento, Italy
- István Forgács, 4D Soft, Hungary
- Mark Harman, King's College London, UK
- Stefan Jungmayr, Bosch A.G., Germany
- Paolo Tonella, IRST, Italy
- Stefan Wagner, TU München, Germany
- Mario Winter, Fachhochschule Köln, Germany
- Harry Sneed, ANECON GmbH, Austria (Workshop Chair)
- Markku Sakkinen, University of Jyväskylä, Finland (Workshop Co-Chair)
- Árpád Beszédes, University of Szeged, Hungary (Workshop Co-Chair)
June 21, 2010
This ECOOP 2010 workshop is intended to draw together both researchers and practitioners who are dealing with the testing of object-oriented software, in order to report on the state of their research and to exchange their experiences.
Object-oriented software presents a particular challenge to the software testing community. This is due to the many dependencies between classes and components, which occur as a result of reuse and non-redundancy. Using object-oriented programming, the amount of code is significantly reduced compared to traditional procedural programming, but the number of potential paths through the software increases due to polymorphism, inheritance and collaboration. This means shifting effort from development to testing. This phenomenon has been documented in the test literature by Robert Binder, Shel Siegel, Mark Harman, Jeff Offutt, Erich Gamma, and many others working in the field of testing. Boris Beizer, who has written several books on testing, remarks that the developers of object-oriented software are astounded by the amount of testing they must perform in order to obtain adequate coverage of all potential usages with all possible exceptions. Testing effort can be two to three times greater than the effort involved in designing and coding. In fact, the very purpose of object-oriented development could be negated unless economical means of assuring the sufficient quality of software are found.
More information: http://etoos2010.sed.hu
- Pascal Costanza, Vrije Universiteit Brussel, Belgium
- Richard P. Gabriel, IBM Research, USA
- Robert Hirschfeld, Hasso-Plattner-Institut, Germany
- Jorge Vallejos, Vrije Universiteit Brussel, Belgium
June 21, 2010
Context information plays an increasingly important role in our information centric world. Software systems must adapt to changing contexts over time, and must change even while they are running. Unfortunately, mainstream programming languages and development environments do not support this kind of dynamic change very well, leading developers to implement complex designs to anticipate various dimensions of variability.
The goal of Context-oriented Programming (COP) is to directly support variability depending on a wide range of dynamic attributes, making it possible to dispatch runtime behavior on any properties of the execution context.
Several researchers are working on Context-oriented Programming and related ideas, and implementations ranging from prototypes to mature platform extensions used in commercial deployments have illustrated how multi-dimensional dispatch can indeed be supported effectively to achieve expressive runtime variation in behavior.
More information: http://soft.vub.ac.be/cop10
- Frank Piessens, Katholieke Universiteit Leuven, Belgium (chair)
- Bart Jacobs, Katholieke Universiteit Leuven, Belgium (co-chair)
- Bernhard Beckert, Karlsruhe Institute of Technology, Germany
- Lars Birkedal, IT University of Copenhagen, Denmark
- Dino Distefano, Queen Mary University of London, UK
- Clément Hurlin, INRIA Bordeaux, France
- Adriaan Moors, EPFL Lausanne, Switzerland
- Peter Müller, ETH Zurich, Switzerland
- Erik Poll, Radboud University Nijmegen, The Netherlands
- Robby, Kansas State University, US
- Wolfram Schulte, Microsoft Research, US
- Isabelle Simplot-Ryl,INRIA Lille, France
- Jan Smans, Katholieke Universiteit Leuven, Belgium
- Nikhil Swamy, Microsoft Research, US
- Viktor Vafeiadis,University of Cambridge, UK
- Frank Piessens Katholieke Universiteit Leuven, Belgium (chair)
- Bart Jacobs Katholieke Universiteit Leuven, Belgium (co-chair)
- Sophia Drossopoulou Imperial College, London, Great Britain
- Susan Eisenbach Imperial College, London, Great Britain
- Gary T. Leavens University of Central Florida, Orlando, US
- Peter Müller ETH Zurich, Switzerland
- Arnd Poetzsch-Heffter Universität Kaiserlautern, Germany
- Erik Poll Radboud University Nijmegen, The Netherlands
June 22, 2010
Formal techniques can help analyze programs, precisely describe program behavior, and verify program properties. Newer languages such as Java and C# provide good platforms to bridge the gap between formal techniques and practical program development, because of their reasonably clear semantics and standardized libraries. Moreover, these languages are interesting targets for formal techniques, because the novel paradigm for program deployment introduced with Java, with its improved portability and mobility, opens up new possibilities for abuse and causes concern about security.
More information: http://distrinet.cs.kuleuven.be/events/ftfjp10
WS 6: Workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS 2010)Program committee
- Mark van den Brand, TU Eindhoven, The Netherlands
- Stéphane Ducasse, INRIA Lille, France
- Roland Ducournau, LIRMM, France
- M. Anton Ertl, Technical University of Vienna (TU Wien), Austria
- Daniel Frampton, Australia National University, Australia
- Andreas Gal, Mozilla Corporation, California, USA
- David Grove, IBM TJ Watson Research Centre, New York, USA
- Richard Jones, The University of Kent, UK
- Eric Jul (co-chair), DIKU, The University of Copenhagen, Denmark
- Francis Chi Moon Lau, The University of Hong Kong, Hong Kong
- Christian Probst, Technical University of Denmark, Denmark
- Raffaele Quitadamo, University of Modena and Reggio Emilia, Italy
- Ian Rogers (chair), Azul Systems (previously the University of Manchester, UK), California, USA
- Yannis Smaragdakis, The University of Massachusetts, Massachusetts, USA
- Olivier Zendra (co-chair), INRIA/LORIA, France
June 21, 2010
Computer programming languages, especially object-oriented languages, are pervasive and play a significant role in computer science and engineering life and sometime appear as ubiquitous and completely mature. However, despite a large number of works, there still is a clear need for solutions for efficient implementation and compilation of OO languages in various application domains ranging from embedded and real-time systems to desktop systems.
The ICOOOLPS workshop thus aims to address this crucial issue of optimization, mainly but not only in OO languages, programs and systems. It intends to do so by bringing together researchers and practitioners working in the field of implementation and optimization, especially for object-oriented languages. Its main goals are identifying fundamental bases and key current issues pertaining to the efficient implementation, compilation and optimization of OO languages, and outlining future challenges and research directions.
An expected output of this workshop is a synthesis identifying fundamental bases and key current issues pertaining to the efficient implementation and compilation of OO languages, in order to spread them further amongst the various computing systems. It is also intended to extend this synthesis to encompass future challenges and research directions in the field of OO languages implementation and optimization, as well as non-OO languages.
More information: http://antigua.cs.man.ac.uk/icooolps
- Didier Verna, EPITA Research and Development Laboratory, Paris, France (chair)
- Charlotte Herzeelm, Vrije Universiteit, Brussel, Belgium
- Christophe Rhodes, University of London, UK
- Robert Strandh, University of Bordeaux I, France
June 22, 2010
Lisp is one of the oldest computer languages still in use today. In the decades of its existence, Lisp has been a fruitful basis for language design experiments as well as the preferred implementation language for applications in diverse fields.
The structure of Lisp makes it easy to extend the language or even to implement entirely new dialects without starting from scratch. Common Lisp, with the Common Lisp Object System (CLOS), was the first object-oriented programming language to receive an ANSI standard and retains the most complete and advanced object system of any programming language, while influencing many other object-oriented programming languages that followed.
The European Lisp Workshop brings researchers and practitioners together to address the near-future role of Lisp-based languages in research, industry and education.
More information: http://www.european-lisp-workshop.org
- Gabriela Arévalo, Universidad Nacional de La Plata, Argentina
- Hernán Astudillo, Universidad Técnica Federico Santa María Valparaíso, Chile
- Andrew P. Black, Portland State University, USA
- Erik Ernst, University of Aarhus, Denmark
- Marianne Huchard, Laboratoire d’Informatique, de Robotique et Microélectronique de Montpellier, France
- Philippe Lahire, Laboratoire d’Informatique Signaux et Systèmes de Sophia Antipolis, France
- Markku Sakkinen, University of Jyväskylä, Finland (primary contact)
- Petko Valtchev, Université de Montréal, Canada
June 22, 2010
MASPEGHI 2010 will explore mechanisms for managing specialization and generalization of programming language components: single and multiple inheritance, specialization/generalization, mixins, traits, virtual classes, classboxes, etc. The workshop covers several topic areas:
- Language design issues for all these mechanisms, including dynamic semantics, static analysis, and additional language concerns such as permissions and visibility
- Implementation issues, including performance, platform integration, and interaction with hardware
- Software engineering issues, including metrics, interactions with methodologies, consequences for quality parameters such as maintainability, comprehensibility, etc.
Different communities -- such as the design methods, database, knowledge representation, data mining, object programming language, and modeling communities -- address these concerns in different ways. One of our goals is to bring together a diverse set of participants from many communities, to compare and contrast the ideas, designs, implementations, and uses of inheritance which have been developed by these communities.
The concerns are reflected differently by different communities, e.g., with an emphasis on the implementation or static analysis of language mechanisms, on problem domain modeling, or on the organization of computational artifacts that generate useful simulations. In the area of knowledge representation, the modeling role of classes prevails: hierarchies are repositories of validated knowledge which support the acquisition of new knowledge. In analysis and design, the purpose of the hierarchy shifts as the design matures from modeling to organizing. Hence, modern methodologies, tools, and languages should support the gradual evolution of class hierarchies from one use to the other.
Despite the wide use of specialization hierarchies, there is no standard methodology for constructing and maintaining them independently from the domains that they represent, and the artifacts that they organize. This workshop will provide a forum for researchers from a variety of domains to learn from each other and work together to develop such a methodology.
Finally, in contrast to other paradigms such as functional programming, there is no universally accepted foundation for specialization mechanisms such as inheritance or mixins or traits. This workshop provides a forum for researchers to contribute to the development of such a foundation in all the relevant dimensions, including the conceptual framework, language mechanisms for dynamic and static semantics, mathematical formalisms, methodologies, and knowledge representation.
More information: http://www.i3s.unice.fr/maspeghi2010
To be anounced shortly.
- Walter Cazzola University of Milano, Italy
- Shigeru Chiba Tokyo Institute of Technology, Japan
- Manuel Oriol University of York, UK
- Gunter Saake University of Magdeburg, Germany
June 22, 2010
Software evolution and adaptation is a research area in continuous evolution, and offering stimulating challenges for both academic and industrial researchers. The evolution of software systems, to face unexpected situations or just for improving their features, relies on software engineering techniques and methodologies. Nowadays a similar approach is not applicable in all situations e.g., for evolving nonstopping systems or systems whose code is not available.
Features of reflection such as transparency, separation of concerns, and extensibility seem to be perfect tools to aid the dynamic evolution of running systems. Aspect-oriented programming can simplify code instrumentation whereas techniques that rely on meta-data can be used to inspect the system and to extract the necessary data for designing the heuristic that the reflective and aspect-oriented mechanism use for managing the evolution.
We feel the necessity to investigate the benefits brought by the use of these techniques on the evolution of object-oriented software systems. In particular we would determine how these techniques can be integrated together with more traditional approaches to evolve a system and the benefits we get from their use.
This workshop can be a good meeting point for people working in the software evolution area, and an occasion to present reflective, aspect-oriented and data mining based solutions to evolutionary problems, and new ideas straddling these area
More information: http://www-users.cs.york.ac.uk/manuel/Events/RAM-SE10