Home Call for Papers Committees Tracks & Session Program Paper Submission General Information Registration Accommodation
 
   

Tracks & Session

Special Tracks


Thematic Sessions

 

 

 

Special Tracks

top


  • Special Track on "Service Engineering in a converging Telecommunications / Web 2.0 World"

    part of the 3rd International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (Isola 2008), Porto Sani Resort, Kassandra (Greece), 13-16 October 2008, http://www.cs.uni-potsdam.de/isola2008


    The telecommunications, internet and information technology worlds are converging. In this context emerging service oriented architectures (SOAs) over next generation networks (NGNs) are considered to be of key importance for the rapid and efficient creation, provisioning and delivery of seamless multimedia information and communications services. As the future converged telecommunications and internet world will be an open environment, in which various players, such as network providers, service platform operators, as well as application and content providers, will have to work together to deliver an open set of services, the role of formal methods, verification and validation will become of increasing importance. This becomes even more important when we look at the Web 2.0 and consider the emergence of user generated content and applications. In this special track we want to provide a snapshot of the current modeling issues and possible solutions in an emerging SOA-based telecommunications/web 2.0 environment.


    Topics of interest include:

    • Lessons learned from value added service design in classical fixed and mobile telecommunications
    • Value added service engineering in voice over IP / SIP networks
    • Service engineering in Web 2.0 environments
    • Service engineering for converging networks / next generation networks (NGNs)
    • Impacts of media services / IPTV / Triple play on service engineering
    • Service Creation, Service Orchestration, Service Brokering in SOA based telecom environments
    • Design of emerging converged network service enablers
    • Model driven design for telecommunications and integrated telecom/business services
    • Policy-based Service Engineering
    • User service creation and service modeling
    • Experiences in the application of formal models and model driven design for Telco Service Engineering
    • Experiences from test beds for advanced Telco Service Engineering


    Important Deadlines:


    Submission: May 4th
    Acceptance: June 15th
    Final version: July 15th
    Early Registration: September 15th


    Track Co-Chairs:


    Thomas Magedanz, TU Berlin / Fraunhofer FOKUS, Germany
    Noel Crespi, GET, France


    Track PC:


    Eric Burger, BEA, USA
    Klaus David, Kassel University, Germany
    Stefan Holtel, Vodafone Research, Germany
    Nick Hulsak, AT&T, USA
    Ajit Jaokar, Futuretext, UK
    Pieter Kritzinger, University of Capetown, South Africa
    Roberto Minerva, Telecom Italia, Italy
    Ulrich Staiger, Deutsche Telekom, Germany

    as PDF:


top

  • Tools and Applications in Industrial Software Quality Control


    Quality control (verification and validation) is one of the most popular and research intensive domain in software quality assurance. This Special Track focuses on *formal techniques for quality control that have been applied in the industry*.


    As large scale deployments require integrated approaches and a multidimensional view on software development, this Special Track brings together researchers working on formal techniques with tool developers, practitioners, and experts from the industry.


    The Special Track will be part of the "2008 ISoLA International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation".


    Topics of interest include:

    • Quality control tools implementing formal methods,
    • Verification and validation support used in real-world software or hardware design projects,
    • Integration of different formal techniques in computer systems development,
    • Integration of different formalization paradigms in industrial applications,
    • Requirements and standards analysis, modeling, and formalization,
    • Interoperability analysis,
    • Real-life projects/case studies used formal specification and models for verification and validation,
    • Deploying formal methods in the industry,
    • Metrics of software development processes used formal methods


    Track Organizers:


    Antti Huima, Conformiq Software (Espoo, Finland)

    Alexander K.Petrenko ISPRAS (Moscow, Russia)

top

  • Introduction of Multi-Core Systems in Automotive Applications


    Multi-core systems are making their way into automotive applications. The major driver for this is the growing need for more performance, paired with the problems that come along with higher clock frequencies of microprocessors, namely heat dissipation, and EMC. The need of the automotive industry is to parallelize their applications, to keep these problems at bay. Yet parallelizing complex legacy applications exceeding a million lines of code like engine control, vehicle dynamics, or driver assistance systems is not that easy. Those systems where developed having a single execution unit in mind. For efficiency reasons those systems often rely on concepts exploiting the fact that a preemptable single core system provides concurrency but no true parallelism. What makes the situation worse is that many of the applications have to guarantee hard real-time constraints. The latter means that the parallelized system has to provide predictable real-time behaviour with as much system utilization as possible.


    In short: the migration to multi-cores systems is a paradigm shift for the automotive industry and a challenge for the research community. This paradigm shift increases the need for suitable formal methods and provides an excellent opportunity for transitioning tailored methods from academia to industry.


    Contributions should be concerned with the questions how formal, or semi-formal methods can support the migration to multi-core systems, and how future automotive multi-core systems should look like to make them amenable to that support. The special track aims at bringing together practitioners, researchers, and experts from academia and industry.


    Topics of interest include:

    • Model based development for multi-core systems
    • Suitable levels and methods of parallelization
    • Automated analysis of legacy applications to identify parallelizable parts
    • Timing analysis for multi-core systems (e.g. WCET analysis, schedulability analysis)
    • Real-time multi-core operating systems
    • Verification of multi-core systems
    • Performance optimization and mapping of software components in multi-core systems


    Track Organizers:


    Jörn Schneider, Robert Bosch GmbH, Stuttgart, Germany

    Dirk Ziegenbein, ETAS GmbH, Stuttgart, Germany

    Björn Lisper, Mälardalen University, Sweden

    Christian Metzler, BMW Car IT, Munich, Germany

top

  • Model-Driven SOA


    Service-oriented architectures (SOA) are increasingly used in the context of business processes, enterprise application integration, business-to-business communication, and many other application areas. As a consequence, many modeling domains need to be considered and the different kinds of models need to be integrated. For instance, among many other modeling domains, we need to consider component architectures, message flows, transactions, dependability, security, workflows/business processes, programming language (snippets), business object designs, and organizational models. In addition, application domains introduce domain models, such as banking or insurance domain models. For many of the modeling domains, formal models have been proposed, but in many cases they are not well integrated with each other and/or the technologies used to implement them. The model-driven approach offers a chance to overcome this problem.


    The special track aims at bringing together researchers and practitioners who work in this area. The Special Track will be part of the 3rd ISoLA Symposium (Int. Symposium on Leveraging Applications of Formal Methods, Verification and Validation).


    Topics of interest include:

    • Integration of (formal) models in a model-driven tool chain
    • Integration of rigorous development methods with model-driven techniques
    • Integration of various (formal) models in a SOA using model-driven techniques
    • Validation and verification of models in a model-driven approach
    • Mapping (formal) models to (various) technologies using model-driven techniques
    • Model-driven development methodology for SOA
    • Tools for support of model-driven SOA
    • Model transformations of SOA models
    • QoS awareness and SLA contracts in model-driven SOA
    • Application areas and case studies


    Track Organizers:


    Schahram Dustdar, Distributed Systems Group Vienna University of Technology, Austria

    Karl M. Göschka, Distributed Systems Group Vienna University of Technology, Austria

    Hong-Linh Truong, Distributed Systems Group Vienna University of Technology, Austria

    Uwe Zdun, Distributed Systems Group Vienna University of Technology, Austria

    as PDF:


top

  • Applications of  Formal Approaches to Service-Oriented Computing


    Service-oriented computing (SOC) is an emerging paradigm for developing loosely coupled, interoperable, evolvable applications. SOC exploits the pervasiveness of the Internet and its related technologies. SOC systems deliver application functionality as services to either end-user applications or other services. The visionary promise of SOC is a world of cooperating services where application components are assembled with little effort into a network of services that can be loosely coupled to create dynamic business processes and agile applications that span organizations and computing platforms.


    Service oriented computing promises to help companies to create new value from existing investments, reuse efforts across many projects and resources, and achieve new levels of agility through greater flexibility and lower cost structures.


    Service oriented computing encompasses many concepts and technologies that find their origins in diverse disciplines that are woven together in an intricate manner. This constitutes a serious challenge for the development of new generation service technologies and engineering methods for service-based systems.


    The proposed track seeks successful applications of more advanced models, techniques and tools that are both well- founded in rigorous and mathematical approaches and are beneficial to current service practice by overcoming the barriers of current service-oriented computing solutions.


    This special track aims to bring together researchers and practitioners with different competences, including software engineering, information systems, grid computing, distributed systems, business process management.


    The Special Track will be part of the 2008 ISoLA International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation.


    Topics of interest include:

    • service foundation including architectural and computational models, service infrastructures, dynamic configuration or automated adaptation of service delivery to use conditions
    • service composition models and techniques including QoS-driven and SLA-driven composition, service adaptation and customization
    • service management including discovery, introspection, resource management, policy modeling and observation, infrastructure services
    • modeling, measurement and monitoring of QoS and other non-functional service properties
    • trust, security & privacy in SOC
    • service and business process modeling
    • analysis, testing, and verification of services
    • case studies on SOC based applications.


    Track Organizers:


    Stefania Gnesi ()

    Bernd Krämer ()


top

  • Trustworthy Computing: Theories, Methods, Tools and Experience in China and South East Asia


    A fundamental problem in computer science is how to construct and document the correct models of a software and how to construct the program to meet the specification. After a half decade study in formal methods, we now have gained a good theoretical understanding of how to describe what programs do, how they do it, and why they work. Theories and tools have been developed and applied to the design, development and manual verification of simple programs of moderate size that are used in critical applications. These have significantly improved the trustworthiness of computing systems. The first edition of this ISoLA special track was founded in 2006 in response to Tony Hoare's initiative on the international Grand Challenge Project on Verified Software. Since then, there has been a significantly increasing effort in this area in China and South East Asia, from "(almost) the entire research community", including theoretical researchers, compiler writers, tool builders, software developers and users.


    The aim of this Special Track is to call researchers, practitioners and experts from universities and industry in China and South East Asia to share and exchange with the international community their ideas, theoretical findings, experience in development and use of theories, methods and tools in trustworthy computing and systems development.


    Topics of interest include:

    • Software modelling and specification
    • Various Verification techniques and their relations
    • Correctness by design, construction and compilation
    • Integrating methods and their theories
    • Integrating formal method tools
    • Model transformation and code generation
    • Formal methods based reverse engineering
    • Formal methods based testing
    • Measurement, management and evaluation of trustworthy software
    • Reliable computing environment modelling and construction
    • Programming theory
    • Software runtime monitor and control
    • Case studies


    Track Organizers:


    Jin Song Dong (), National University of Singapore

    He Jifeng (), East China Normal University, China

    Zhiming Liu () (coordinator), UNU-IIST. Macao

    Jian Lu (), Nanjing University, China

    Ji Wang (), Changsha Institute of Technology, China


    Keynote Speaker: Prof. He Jifeng, East China Normal university


top

  • Non-Functional Requirements in Embedded Systems


    As embedded devices are tightly integrated into complex environments, they are subject to a wide variety of non-functional requirements concerning dependability, robustness, security, execution time, power consumption, economic cost and intellectual property rights. Ranging from mobile entertainment devices to safety critical automotive and aerospace components, each application domain comes with its own and distinctive combination of non-functional requirements which reflect the forces present in the respective domain.


    Regardless of the application domain, the management of non-functional requirements is critical to the success of embedded systems from the early development phases until system deployment. Thus, the continuous and tool-supported management of non-functional requirements throughout different development phases, system views and abstraction levels, as well as their assessment, experimental and formal verification have been identified as major challenges.


    This special track will facilitate the exchange between the industrial and academic communities involved in embedded systems engineering. The special track will be part of the 2008 ISoLA International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation.


    Topics of interest are contributions to non-functional requirements in embedded systems, including dependability, robustness, security, execution time, power consumption, economic cost, and intellectual property. In particular, papers are sought in areas such as:

    • Elicitation, management and maintainability of non-functional requirements
    • Representation of non-functional requirements
    • Assessment and evaluation of non-functional requirements
    • Experimental and formal verification of non-functional requirements
    • Code generation and deployment guided by non-functional requirements
    • Industrial best-practice reports on the use of non-functional requirements in embedded systems


    Track Organizers:


    Raimund Kirner (Real-Time Systems Group, TU Vienna)

    Peter Puschner (Real-Time Systems Group, TU Vienna)

    Christian Schallhart (Foundations of Software Reliability and Theoretical Computer Science, TU Munich)

    Helmut Veith (Formal Methods in Systems Engineering, TU Darmstadt)

    Martin Wechs (BMW Group, Research and Technology, Munich)


top

  • Processes, Methods and Tools for Developing Educational Modules to Support Teaching and Technology Transfer


    Several initiatives on using new computing technologies have been investigated in order to facilitate the learning process in general. The challenge is to provide ways to establish quality educational products, capable of motivating the students and effectively contribute to their knowledge construction process in active learning environments. Also, there is a need for a global education, capable of crossing international, cultural and social borders in order to prepare both students and practitioners for the global market.


    Educational modules can be explored in this perspective. Basically, an educational module is a concise unit of study, composed by theoretical and practical content which can be delivered to learners by using technological and computational resources. For theoretical content, instructors use books, papers, web information, slides, class annotations, audio, video, and so on. Practical content is the instructional activities and associated evaluations, as well as their resulting artifacts (e.g., executable programs, experimental studies, collaborative discussions). Theoretical and practical content are integrated in terms of learning materials. Learning environments, presentation tools and mechanisms to capture classroom lectures and to support discussion spaces and collaborative work are examples of the required infrastructure for delivering the learning materials. Besides that, educational modules themselves should be evolvable, reusable and adaptable to different educational and training scenarios, according to the learner's profile, instructor's preferences, learning goals and course length, among others.


    Similar to software products, educational modules require the establishment and integration of methods, tools and procedures into systematic processes aiming at producing quality products. None of the initiatives to address the problem of creating educational modules considers a systematic process for developing them. In short, the development of such modules can involve developers from different domains, working on multidisciplinary and heterogeneous teams, geographically dispersed or not. They should cooperate, sharing data and information regarding the project. Furthermore, we should consider the adoption of supporting tools, which can be used either as part of the educational module under construction or as a mechanism to automate its development process.


    This track aims at bring together researchers and practitioners in the establishment and use of systematic processes for creating and reusing well-designed, highly flexible and configurable educational modules, which would provide: (1) transferability to different institutions and learning environments; (2) effective support to traditional learning approaches; and (3) effective support to non-traditional environments, motivating the transition from lecture-based to active learning. The idea is to promote advance in the research and practice in the area by aiding the establishment of collaborations and joint projects.


    In exploring this theme, we wish to encourage papers within the following topics of interest:

    • Teaching processes and methodologies.
    • Design of new courses and materials.
    • Learning environments and tools.
    • Studies of educational practices.
    • Industry-academia collaboration models.
    • Internet course delivery techniques.


    The track would be 3 hours-long (half-day track), having 6 papers. Papers submitted for the track should report on original research, must contain at least 30% of new material compared to the conference/workshop paper, and should not be under consideration for publication by any other journal. The track organizers will be in charge of managing the review process of the papers submitted to the track.


    Track Organizers:


    Ellen Francine Barbosa (University of São Paulo - ICMC/USP, São Carlos (SP) - Brazil)

    José Carlos Maldonado (University of São Paulo - ICMC/USP, São Carlos (SP) - Brazil)

    as PDF:


top

  • Ubiquitous and Context Aware Systems


    The anywhere/any time paradigm is becoming the new challenge to the conception, design, and release of the next generation of information systems. New technologies, like Wi-fi networks and 3rd generation mobile phones, are offering the infrastructure to conceive information systems as ubiquitous, that is, systems that are accessible from anywhere, at any time, and with (almost) any electronic device. Ubiquity is not yet another buzzword pushed by emerging technologies, but rather a means of supporting new business models and encouraging new ways of working. Ubiquitous collaboration systems require new conceptualizations, models, methodologies, and support technologies to fully explore its potential.


    Although context-awareness is a central paradigm for the implementation of ubiquitous systems, it still lacks adequate methods and tools that support the development of such systems. In particular, there is urgent need of formal methods for modeling context, describing the interplay between systems and environments, and for enabling automatic or semi-automatic verification or model checking tools. Hence, in this special track we focus on formal aspects and their application in this new and challenging research field of ubiquitous and context-aware systems.


    Topics of interest include (but are not limited to):

    • Formal context representations
    • Ontologies
    • Category Theory
    • Formal Data Representation and Manipulation
    • Specification modeling and analysis of context aware systems using
      • Process Algebras
      • Logic based models
      • Model checking
    • Formalization and V&V applied to:
      • Information Management
      • Middleware for Ubiquitous Computing Applications
      • Web Information Retrieval
      • Knowledge Networks and Management
      • Web Agents and Agent-based Systems
      • Social Intelligence Design
      • Environment and systems modeling
      • Social Intelligence Design


    Session Organizers:


    Karin Breitman (PUC-Rio, Brazil)

    Mike Hinchey (LERO - Ireland)

    Edward Hermann Haeusler (PUC-Rio, Brazil)

    Jean-Pierre Briot (UPMC - LIP6 - France)


    IMPORTANT DATES:


    Submission: May 21th
    Acceptance: June 16th
    Final version: July 15th
    Early Registr.: September 15th

    as PDF:


top

  • Formal Methods for Analysing and Verifying Very Large Systems


    As the volume of existing software in the industry grows at a rapid pace, the problems of understanding, maintaining, and developing these systems require ever more sophisticated and scalable methods for analysing and verifying them. The complexity here often results from the sheer size of the systems to be routinely seen in practice these days, which often requires the orchestrated use of diverse methods and a careful balance of the usual trade-off between run-time, memory-requirements, and precision of a method. This track aims at investigating and highlighting what advantages the usage of formal methods can yield to address and overcome these problems.


    The track aims at bringing together researchers, practitioners, and experts from academia and industry working on the analysis and verification of systems, especially of very large systems. Particularly welcome are research papers presenting

    • original contributions
    • work-in-progress
    • position papers
    • reports on industrial and open-source applications
    • experience reports on analysing and verifying systems, especially of very large ones.

    The type of a submission should be clearly marked as an addition to the title of the paper.


    The Special Track will be part of the 2008 ISoLA International Symposium on Leveraging Applications of Formal Methods, Verification and Validation.


    Topics of interest include (but are not limited to):

    • Formal methods and their role and impact in this area
    • Static and dynamic methods and tools based on them for system analysis and verification such as abstract interpretation, data-flow analysis, model-checking, symbolic analysis, and testing.
    • Integration and orchestration, scalability and precision of such methods
    • Experience reports and case studies on preferably very large scale industrial and open source applications including acceptance problems
    • Current and future challenges.


    Session Organizers:


    Jens Knoop (TU Vienna, Austria)

    Markus Schordan (TU Vienna, Austria)

    Tom Ball (Microsoft Research, USA)


    IMPORTANT DATES:


    Submission: June 23rd
    Acceptance: July 7th
    Final version: July 15th
    Early Registr.: September 15th


top

  • Formal languages and methods for designing and verifying avionics, space and transport systems


    Due to safety constraints, avionics, aerospace and more generally transport systems often have to go through certification. This requires testing, and a design process based on a set of tight rules. However, due to their increasing complexity, there is clearly no guarantee that such tight rules and rigorous testing will lead to error free systems. An alternative approach for helping embedded (transport) system designers is formal methods, i.e. fundamental languages, techniques and tools for design, analysis, validation or transformation of systems in a provably correct way. Indeed, formal techniques, in particular formal specification languages and associated proof tools, could be an advantageous alternative or at least a good complement which would facilitate a significant reduction in test phases. Several formal languages methods, tools and techniques have been applied for the development of such systems in different parts of the world and they have been put into practice during the development of actual, specific programmes (aircraft, space vehicle...).


    This thematic track is devoted to compile the state-of-the-art in formal methods applied to the development of avionics, aerospace and transport systems. It will highlight on the recent advances in the use of these methods. Particularly welcome are reports, research and position papers, issued either from the academic or industrial worlds, presenting

    • original contributions
    • work-in-progress
    • position papers
    • experiments on industrial case studies.


    The Special Track will be part of the 2008 ISoLA International Symposium on Leveraging Applications of Formal Methods, Verification and Validation.


    Topics of interest include (but are not limited to):

    • specification, design and architecture languages
    • validation and verification methods for critical embedded systems, such as model checking, proof based techniques...
    • functional requirements engineering
    • methods for human-machine interface verification
    • case studies and project results in the context of avionics and/or aerospace applications.


    Session Organizers:


    Yamine AIT AMEUR (LISI/ENSMA- Poitiers- France. )

    Bruno d'Ausbourg (ONERA/DTIM - Toulouse France. )

    Frédéric Boniol (IRIT/ENSEEIHT - Toulouse France. )

    Paul Gibson (IT Sud Paris - Evry, France. )

    Dominique Mery (LORIA - Nancy Université - France. )

    Virginie Wiels (ONERA/DTIM- Toulouse France. )


    IMPORTANT DATES:


    Submission: June 23rd
    Acceptance: July 7th
    Final version: July 15th
    Early Registr.: September 15th

    as PDF:


 

 

 

Thematic Sessions

top

  • Tools for Service-oriented DisCovery of Knowledge


    A major challenge for third generation data mining and knowledge discovery systems is the integration of different data/knowledge resources (which are highly diverse in nature in terms of representation and data formats) and computer systems (tools for data integration, data mining and knowledge discovery) which are distributed across the network. The emerging third generation data mining and knowledge discovery systems should be able to mine distributed and highly heterogeneous data found on intranets/extranets/grid, and integrate efficiently with operational data/knowledge management and data mining systems.


    Compared to contemporary search engines which provide a means of locating data on the net, third generation data mining and knowledge discovery systems will provide a means for discovering patterns, associations, changes and anomalies in networked data, where each data source comes with its own structure, semantics, data formats, names, concepts and access methods. Currently, the burden falls on the user to manually (via programs) convert between the data formats, resolve conflicts, integrate data and interpret results in order to make viable use of this information.


    This thematic session addresses novel approaches and key tools which will make third generation data mining and discovery of knowledge possible:

    • Providing meta-data (semantic annotations) of different information resources (data, human-coded knowledge, and machine-induced patterns and predictive models) and data mining and knowledge discovery systems (pattern mining and model discovery tools);
    • Implementation of data mining and knowledge discovery tools as services available on the web. Such service-oriented data mining and knowledge discovery systems will enable meta-level search of data/knowledge resources and systems, enabling the construction of knowledge discovery scenarios (workflows of potentially repeatable sequences of data mining and data integration steps), resulting in improved pattern and model discovery.


    Topics:

    • Frameworks for third generation data mining and knowledge discovery
    • Inductive databases, Constraint-Based Data Mining and Inductive Queries
    • Learning from data and knowledge (texts, ontologies, ...)
    • Service-oriented approaches to data mining
    • Meta-level annotations and search for data mining services
    • Data mining workflows/scenarios
    • Data mining on the grid
    • Applications of service-oriented data mining approaches in business, ecological modeling, medicine, health care, e-science, bioinformatics, ...


    Foreseen contributions: we will use as a basis papers from partners in a (future) European project and sollicit additional papers from various researchers in the field.


    Session Organizers:


    Axel Hahn (University of Oldenburg, Germany)

    Nada Lavrac (Jozef Stefan Institute, Ljubljana, Slovenia)

    Joost Kok (Leiden University, The Netherlands)

    as PDF:

top

  • Tackling the challenges of Software Development Process for SMEs with Rigorous Support and Open Source


    Software development is a fast paced world, where methods and technologies evolve daily, requiring the producers to rapidly adapt their processes and tools to the new needs to prevent losing their edge on the market. Though these problems are a challenge for all the companies that are not merely consumers of IT, they afflict more small and medium enterprises (SME) producing software, including the medium and small software departments of manufacturers and (non IT) service providers, because of severe limitation on the available resources.


    Rigorous approaches to the many aspects of software development, including well-defined internal process models, support for business analysis and modelling, reuse of experience, adoption of best technologies and practices and finally continuous formation of the professionals - would be especially useful for SME, where the development is so risky. Instead, in many cases the daily urge for production completely absorbs all resources and time. To improve the adoption of good practices in SMEs, tools supporting the development process are needed. But, on one hand the commercial tools are often too expensive for SMEs and on the other hand self-production is impossible, due to the lack of competences on the formal aspects that the tools should manage. A possible solution to this impasse is a joint development by SME consortia possibly involving educational/research institutions. Indeed, in Europe several such initiatives have recently taken place but, due to the fragmentation of the potential market, the results are not sufficiently known to other potentially interested users. Another approach to the problem is the adoption of open source systems. Indeed, in that case the economical impact is limited to the costs of the effort diverted from the production to tailoring the system and training the users. Thus, the production of open source systems supporting the process of software development is becoming more and more relevant to the practice in the SMEs.


    This thematic session addresses rigorous approaches and tools to support the software development process for the SMEs, with a special interest for those published as open source. We aim to spread information about the available methodologies, technologies and tools to help the end users, that is the SMEs, to orient themselves among the existing products and to define the requirements for more integrated and challenging tools to be developed in the future, hopefully providing the seeds for a community capable of future cooperation and concerted actions.


    Topics:

    Methodological and tool support, based on rigorous theories and techniques, addressing the following areas with a clear indication of applicability in the context of SMEs:

    • rigorous and easy to use representations of internal process models;
    • business analysis and modelling;
    • reuse and sharing of experience;
    • adoption of best technologies;
    • quality assessment and management;
    • managing and enforcing security policies;
    • continuous formation of the professionals.


    Foreseen contributions: we will use as a basis papers from ongoing cooperative efforts between the academy and industry. Moreover, we strongly solicit additional papers from various researchers in the field.


    Session Organizers:


    Ruth Breu (University of Innsbruck, Austria)

    Maura Cerioli (Disi, Genova - Italy)

    Enrico Pittaluga (ETT -Electronic Technology Team, Genova - Italy)

 
   
 
Home Call for Papers Committees Tracks & Session Program Paper Submission General Information Registration Accommodation