HOW TO REACH MARIBOR
CALL FOR PAPERS
Accepted Workshop papers should obey the formatting guidelines of ACM SIG Proceedings Templates, that can be found here: http://www.acm.org/sigs/publications/proceedings-templates#aL2 (Option Two – Tighter Alternate style). The prefered document type is PDF. For extra information please voeling the Workshop organizers.
Camera ready papers deadline: June 7, 2010.
WS Five, WS 6, WS 7, WS 8, WS 9
WS Five, WS 6, WS 7, WS 8, WS 9
WS Four, WS Five, WS 6, WS 8, WS 9
WS Four, WS Five, WS 6, WS 8, WS 9
The workshop papers should be submitted to the workshop organizers directly. Please go after the instruction on the web webpagina of the workshop you are submitting to. Te case of any difficulties do not hesitate to voeling ECOOP’2010 organizers ([email protected]) or the workshop chairs Marjan Mernik and Richard Torkar ([email protected]).
WS 1: Workshop on Advances ter Functional Size Measurement and Effort Estimation
- Alain Abran, Universite du Quebec, Canada
- Cigdem Gencel, Blekinge Institute of Technology, Sweden
- Ale&scaron, Ž,ivkovič,, University of Maribor, Slovenia
The software engineering community has waterput considerable effort to improve effort estimates for better project programma, monitoring and control. Most of the software effort estimation models or technologies take software product size spil the base input. There presently exist, many size measures, such spil 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 fairly a bit since the original method Albrecht introduced his Function Point Analysis (FPA), ter 1979. Zometeen, many variations on the original idea were suggested to improve or to extend the domains of application of Function Points.
- there is a need to catch up with the latest switches and trends related to software development,
- there is no adequate support te the mainstream software development contraptions,
- the use and availability of benchmarking repositories is still low,
- there is not enough practice reports including the lessons learned and best practices information for existing and future users, etc.
The aim of this workshop is to address thesis problems and open issues, report findings spil well spil discuss fresh ideas regarding the efficient use of the FSM methods within the scope of software development projects. There are many research challenges ter the FSM area that needs to be addressed and tested te practice.
WS Two: International Workshop on Formalization of Modeling Languages (FML’Ten)
- Barrett R. Bryant, Univ. Alabama at Birmingham, USA (chair)
- Viljan Mahnic, University of Ljubljana, Slovenia (chair)
- Jeff Gray, University of Alabama, USA
- Marjan Hericko, University of Maribor, Slovenia
- Marjan Mernik, University of Maribor, Slovenia
Formal specifications, syntax and semantics, of modeling languages have not bot developed yet to the omschrijving maturity seen for programming languages. While the syntax of modeling languages is commonly specified by metamo-dels, an adequate and standard formalism for specifying (behavioral) semantics of modeling languages does not exist yet. Recently, this has bot identified spil one of the most significant research topics te Model-Driven Engineering (MDE).
WS Trio: 1st Workshop on Testing Object-Oriented Systems
- Harry Sneed, ANECON GmbH, Austria (Workshop Chair)
- Markku Sakkinen, University of Jyvaskyla, Finland (Workshop Co-Chair)
- Arpad Beszedes, University of Szeged, Hungary (Workshop Co-Chair)
This ECOOP 2010 workshop is intended to draw together both researchers and practitioners who are dealing with the testing of object-oriented software, ter order to report on the state of their research and to exchange their practices.
WS Four: 2nd International Workshop on Context-oriented Programming (COP’Ten)
Setting information plays an increasingly significant role te our information centric world. Software systems vereiste adapt to switching contexts overheen time, and vereiste switch even while they are running. Unluckily, mainstream programming languages and development environments do not support this kleintje of dynamic switch very well, leading developers to implement complicated designs to anticipate various dimensions of variability.
WS Five: 12th Workshop on Formal Technics for Java-like Programs (FTfJP’Ten)
- Rechttoe 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
- Clement Hurlin, INRIA Bordeaux, France
- Adriaan Moors, EPFL Lausanne, Switzerland
- Peter Muller, 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
- Rechttoe Piessens Katholieke Universiteit Leuven, Belgium (chair)
- Bart Jacobs Katholieke Universiteit Leuven, Belgium (co-chair)
- Sophia Drossopoulou Imperial Collegium, London, Good Britain
- Susan Eisenbach Imperial Collegium, London, Fine Britain
- Gary T. Leavens University of Central Florida, Orlando, US
- Peter Muller ETH Zurich, Switzerland
- Arnd Poetzsch-Heffter Universitat Kaiserlautern, Germany
- Erik Poll Radboud University Nijmegen, The Netherlands
Formal technics can help analyze programs, precisely describe program behavior, and verify program properties. Newer languages such spil Java and C# provide good platforms to bridge the gap inbetween formal technologies and practical program development, because of their reasonably clear semantics and standardized libraries. Moreover, thesis languages are interesting targets for formal technics, because the novel paradigm for program deployment introduced with Java, with its improved portability and mobility, opens up fresh possibilities for manhandle and causes concern about security.
WS 6: Workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS 2010)
Rekentuig programming languages, especially object-oriented languages, are pervasive and play a significant role te rekentuig science and engineering life and sometime show up spil ubiquitous and fully mature. However, despite a large number of works, there still is a clear need for solutions for efficient implementation and compilation of OO languages te various application domains ranging from embedded and real-time systems to desktop systems.
WS 7: 7th European Lisp Workshop (ELW-10)
Lisp is one of the oldest rekentuig languages still ter use today. Ter the decades of its existence, Lisp has bot a fruitful onderstel for language vormgeving experiments spil well spil the preferred implementation language for applications ter diverse fields.
WS 8: 4th Workshop on MechAnisms for SPEcialization, Generalization and inHerItance (MASPEGHI’Ten)
MASPEGHI 2010 will explore mechanisms for managing specialization and generalization of programming language components: single and numerous inheritance, specialization/generalization, mixins, traits, virtual classes, classboxes, etc. The workshop covers several topic areas:
- Language vormgeving issues for all thesis mechanisms, including dynamic semantics, static analysis, and extra language concerns such spil permissions and visibility
- Implementation issues, including voorstelling, toneel integration, and interaction with hardware
- Software engineering issues, including metrics, interactions with methodologies, consequences for quality parameters such spil maintainability, comprehensibility, etc.
Different communities — such spil the vormgeving methods, database, skill representation, gegevens mining, object programming language, and modeling communities — address thesis concerns ter different ways. One of our goals is to bring together a diverse set of participants from many communities, to compare and tegenstelling the ideas, designs, implementations, and uses of inheritance which have bot developed by thesis communities.