* Models, languages and methods for service-oriented
domain
     analysis
* Engineering methods for design of reusable and...
- Architecture Views: Creation of different levels of
architecture
- visibility: proprietary, among closed consortium, pub...
of development relating to legal risks involving:
liability,
   warranties, patent infringements etc.

- Community: Owners...
source context
- Recovery and recognition of a product line in an open
source asset base
- Legal: Aspects dealing with evo...
- The relationship between system and software
requirements including how to properly derive critical
software quality req...
* information retrieval, analysis, visualisation and
prediction;
    * information systems design methodologies;
    * kno...
* Quality Assurance and Management
  * Verification, Validation, Testing, and Analysis
  * Formal Methods and Theories
  *...
- Personalisation and Adaptation of Web Applications
- Privacy Aspects in Web Applications
- Process Modeling of Web Appli...
- Web Security Trends


- Application servers for Web services
- Aspect-oriented Web services middleware
- Autonomic compu...
- Quality of service middleware for Web services
- Query middleware for Web services
- Reputation and/or trust middleware ...
Beijing, China

    Co-located with IEEE Asia-Pacific Conference on
         Software Engineering (APSEC08)

Visit SPACE20...
First International Workshop in Formal Methods
Education and Training
(FMET) 2008


Formal methods (FM) have an important ...
Formal Methods Body of Knowledge (FMBOK), analogous
to the Institute of Project Management's PMBOK.
This BOK would facilit...
development. In addition, using open source software
appears to be a profitable way to obtain good software.
This is also ...
-     Advantages and drawbacks of openness in product
lines

-    Mixing closed and open architectures in a product
line

...
-     Dealing with risks when combining open source and
product lines, =
such
as liability, warranties, patent infringemen...
23rd International Conference on Automated Software
Engineering http://www.ase-conference.org


The IEEE/ACM International...
In the past few years an increasing number of research
efforts have encountered the need for combining proofs
and tests, d...
* Automatic bug finding
* Formal frameworks
* Tool descriptions and experience reports
* Case studies




Twelfth Internat...
Enterprise computing is based on a wide (and ever
growing) range of methods, models, tools and
technologies. The resulting...
TOPICS

The EDOC conference seeks high-quality contributions
addressing the domains, the life-cycle issues and the
realiza...
- Service policies and contract definitions and
enforcement
- Security policy definition and description languages
- Secur...
- State of the art in distributed enterprise applications
- Evolution of middleware standards, such as Java EE
or .NET
- A...
- Social network building and supporting infrastructures
- Social network analytical approaches
- Information integration ...
Performance is an important and complex aspect of
software systems which causes great difficulties to the
developers and o...
..Performance modeling of software
     -languages and ontologies, methods and tools,
composing models,
     -capturing us...
4th International Workshop on Automated
Specification and Verification
of Web Sites (WWV'08)
July 4, 2008, Siena (Italy)
h...
domain with automated and reliable tools that also
incorporate semantic aspects.



Workshop on Testing, Analysis and Veri...
Technical Papers:
* Hybrid Test of Web Applications with Webtest H.
Raffelt, B. Steffen (TU Dortmund), T. Margaria
(Univer...
Barbara)



Computers and Security (Elsevier) Journal Special Issue
on "Software Engineering for Secure Systems"
http://ww...
Theme and goals

Software is at core of most of the business transactions
and its smart integration in an industrial setti...
components and a vulnerability alone might compromise
the trustworthiness of the whole system. Thus, not
surprisingly, sev...
*    Security testing
*    Static analysis for security
*    Trustworthiness verification and clearance
*    Defining and ...
in the context of Model-Driven Engineering (MDE).
Discussions will take a large place and could address
issues such as ear...
Thirteenth International Workshop on Component-
Oriented Programming

October 13th, 2008 =96 at CompArch 2008, Karlsruhe,
...
are third parties, possibly the end users, who are not able
or not willing to change components. This requires
standards t...
Finally, in addition to submissions addressing the theme,
we explicitly solicit papers reporting on experience with
compon...
* system design for independent extensibility
* component versus application evolution
* domain-specific (vertical) standa...
methodology and an ideal general-purpose AOSE process
do not exist. The AOSE methodologies proposed in
literature in the l...
* Agent-Oriented Software Engineering
* Design of software development processes
* Situational Method Engineering techniqu...
The International Conference on Software Engineering
(ICSE) is the premier software engineering conference,
providing a fo...
Metrics Development Paradigms and Software Processes
Computer-supported Cooperative Work Component-
based, Aspect-oriented...
Embedded industries have invested a lot in the
introduction of software product lines in their software
development. In ad...
-    Ownership, control and management of product line
assets in an =
open
source community

-     Advantages and drawback...
-    Licensing issues, and how product line architecture is
affected =
by
different kinds of licences

-     Dealing with ...
-    Company experiences of opening parts of product
       lines




Seventh International Conference on
Generative Progr...
components and automating program generation. In
addition to exploring cutting-edge techniques for
developing generative a...
Following the success of past conferences in this series,
the 9th International Middleware Conference will be the
premier ...
* Semantic middleware
* Service-oriented architectures
* Standard middleware architectures
* Reconfigurable, adaptable, an...
* Software engineering for middleware
* Engineering principles and approaches for middleware
* Novel development paradigms...
Over the past decade, the Free and Open Source
Software (F/OSS) phenomenon has had a global impact
on the way organisation...
Software engineering perspectives: Challenges and
opportunities
* F/OSS architectures, configuration and release
managemen...
Social science: Understanding organizational and
psychological issues in F/OSS
* Diversity and international participation...
* F/OSS, e-government and transformational government
* F/OSS business models and strategies
* F/OSS and the one laptop pe...
different kinds of models in a model driven environment.
Understanding the role of ontologies in these fields is
crucial t...
and develop new ideas in all aspects of software
verification, from design to implementation.

Topics of interest include ...
interoperability is one of the major challenges and
research areas in software industry today, as well as the
significant ...
and established themselves, such as component-based
software engineering (CBSE), service oriented
architecture (SOA) or on...
All three events will we held under the roof of UNISCON
2009.

Contributions with a strong theoretical and technical
backg...
Software Components, Systems & Services Data &
Information Integration (Matching, Merging, Federation)
Semantic Integratio...
The European Conference on Web Services (ECOWS) is a
premier conference for both researchers and
practitioners to exchange...
Languages and Modeling (DSL&M). This issue will focus
on benefits that the

field's practitioners and designers observed o...
* interoperability with mainstream languages, IDEs, and
other tools;

* metrics for productivity using DSL and DSM techniq...
* mobile systems, including mobile phones and sensor
networks;

* telecom, communications, and software-defined radio
syst...
The Software and Systems Engineering Essentials is one
of the main conferences dealing with process models,
methodology an...
Open-Source tools? Which tools are appropriate for my
in-house internal process models? How do I go about the
choice and i...
Themes:
* Process models, Standards and Guidelines
- Agile process models e.g. FDD, SCRUM, XP
- Elaborate rich process mod...
- Choice and standardisation of tools
- Tool integration
- Reporting und document generation
- Tool support for process mo...
Web-based communities, Wikis, Social networks,
Mashups, Blogs, Folksonomies are some of the emerging
new terms and concept...
and Support Technologies -Technologies for efficiently
enabling final and unskilled users -Re-Engineering Web
Applications...
In particular, the workshop's objective is to study the
impact of AOSD on software evolution on the one hand,
and the impa...
1. Aspect mining and concern exploration
- Automated mining techniques such as structural pattern
matching, concept analys...
You are invited to submit papers for the track on
Middleware

The 6th International Conference on Information
Technology: ...
utilization. Original work and contributions in
middleware concepts, design, implementation,
deployment, and evaluation ar...
- Middleware for collaborative applications
- Middleware for agent based systems
- Middleware for service oriented systems...
Topics of interest include:

- Using models to support runtime monitoring and
validation of behaviour.
- Using models to s...
CALL FOR PAPERS

The workshop is devoted to model-based testing of both
software and hardware. =C2 Model-based testing is
...
industrialization of model-based specification, testing
and verification.

WORKSHOP HISTORY

MBT 2009 is the fifth event i...
* Scenario based test generation
* Meta programming support for testing
* Formalisms suitable for model-based specificatio...
Middleware for sensor networks is a highly promising
research domain which addresses key challenges that
application devel...
conference presentations will illustrate current work in
the theory and practice of the design, development and
maintenanc...
- Software Architectures: Design Patterns, Frameworks,
Architecture- Centered Development, Component and
Class Libraries, ...
- Experience Reports: Case Studies and Comparative
Assessments, Management Approaches, Qualitative and
Quantitative Metric...
mutation analysis. We invite submissions of both full-
length and short-length research papers as well as
industry practic...
SCOPE OF THE WORKSHOP
---------------------
The aim of the ERCIM FMICS workshop series is to
provide a forum for researche...
- Tools for the development of formal design
descriptions.



2nd International Workshop on the
Certification of Safety-Cr...
Languages, Models, and Architectures for
       Concurrent and Distributed
Software

         11th International Conferenc...
design and implementation of models that allow
compositional construction of large-scale concurrent and
distributed system...
SPECIFICATION, VERIFICATION, AND TYPES: modeling and
analysis of types and properties related to security,
dependability, ...
9th IFIP International Conference on
Distributed Applications and Interoperable Systems


The 9th IFIP International Confe...
evaluate, and manage modern distributed applications in
any kind of application environments and scenarios. DAIS
2009 conf...
Software engineering of distributed applications
Domain-specific modelling languages
- Model-driven software development, ...
intelligent systems and technologies, and to promote
cross-fertilization of ideas and techniques between these
fields. In ...
termination) * Agent-enabled adaptation, evolution, and
optimization of services and processes * Intelligent
management fr...
applying agile principles and collaborative software
development in a global context. The themes cover both
solutions and ...
Therefore, keynote speaches, paper presentations, and
discussions on the following topics will be offered.

TOPICS
The mai...
* Mobile Applications
* Consumer Electronics
* Telecommunications
* Embedded systems


-- Models and Aspects - Handling Cr...
- aspect weaving in models
- measuring the maintainability benefits of models and
aspects
- using models to overcome the f...
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
SE Research.doc.doc.doc
Upcoming SlideShare
Loading in …5
×

SE Research.doc.doc.doc

1,917 views

Published on

0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
1,917
On SlideShare
0
From Embeds
0
Number of Embeds
1
Actions
Shares
0
Downloads
6
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

SE Research.doc.doc.doc

  1. 1. * Models, languages and methods for service-oriented domain analysis * Engineering methods for design of reusable and composable services * Service-oriented reference models and modeling frameworks * Service assembly, composition and aggregation models and languages * SOA-architectural styles and -standards * Contract and policy design for service components and compositions * Choreography and orchestration design * Quality assurance and evaluation methods for complex service- oriented applications * Tools support for service-oriented analysis, design and composition * Web Service analysis, design and development case studies and best practice - Community: Ownership, control and management of product line assets in an open source community - Visibility of the code: when it is valuable to share proprietary code and how to take the right decision.
  2. 2. - Architecture Views: Creation of different levels of architecture - visibility: proprietary, among closed consortium, public. Is this possible? - Product line requirements roadmaps and planning in open source development - Variability management: Using the open source community to evolve components and being explicit about variability - Variability representation: in an open source community - Deployment: Open source for the platform and in applications - Heterogeneous processes: Cohabitation of product line management and agile processes - Tools: Open source asset management tools in product line development - Domain and application engineering and their meaning in an open source context - Recovery and recognition of a product line in an open source asset base - Legal: Aspects dealing with evolutionary, variability or distribution
  3. 3. of development relating to legal risks involving: liability, warranties, patent infringements etc. - Community: Ownership, control and management of product line assets in an open source community - Visibility of the code: when it is valuable to share proprietary code and how to take the right decision. - Architecture Views: Creation of different levels of architecture - visibility: proprietary, among closed consortium, public. Is this possible? - Product line requirements roadmaps and planning in open source development - Variability management: Using the open source community to evolve components and being explicit about variability - Variability representation: in an open source community - Deployment: Open source for the platform and in applications - Heterogeneous processes: Cohabitation of product line management and agile processes - Tools: Open source asset management tools in product line development - Domain and application engineering and their meaning in an open
  4. 4. source context - Recovery and recognition of a product line in an open source asset base - Legal: Aspects dealing with evolutionary, variability or distribution of development relating to legal risks involving: liability, warranties, patent infringements etc. Requested topics for position papers include but are not restricted to: - Turning soft goals into hard requirements - Practical ways to quantify, verify, and validate performance and dependability requirements - Relationships between high assurance requirements and other kinds of requirements - Making engineering trade-offs between competing quality requirements - Appropriate tools and techniques for the elicitation, analysis, specification, evaluation, reuse, and management of these critical requirements for high-assurance systems - The proper role of formal requirements specification when engineering high-assurance systems
  5. 5. - The relationship between system and software requirements including how to properly derive critical software quality requirements when engineering high- assurance requirements * business, enterprise and process modelling; * concepts, concept theories and ontologies; * conceptual modelling and user participation; * conceptual modelling for - decision support and expert systems; - digital libraries; - e-business, e-commerce and e-banking systems; - knowledge management systems; - mobile information systems; - user interfaces; and - web-based systems; * conceptual modelling of semi-structured data and XML; * conceptual modelling of spatial, temporal and biological data; * conceptual modelling quality; * conceptual models in management science; * design patterns and object-oriented design; * evolution and change in conceptual models; * implementations of information systems; * information and schema integration; * information customisation and user profiles; * information recognition and information modelling;
  6. 6. * information retrieval, analysis, visualisation and prediction; * information systems design methodologies; * knowledge discovery, knowledge representation and knowledge management; * methods for developing, validating and communicating conceptual models; * philosophical, mathematical and linguistic foundations of conceptual models; * reuse, reverse engineering and reengineering; * semantic Web; and * software engineering and tools for information systems development. * Aspect-Oriented Software Development and Design * Component-Based Development and Reuse * Safety, Security, Privacy, and Risk Management * Dependability and Reliability * Fault Tolerance and Availability * Metrics and Measurement * Architecture, Framework, and Design Patterns * Requirements Engineering * Process, Standards, and Project Management * Maintenance and Reverse Engineering
  7. 7. * Quality Assurance and Management * Verification, Validation, Testing, and Analysis * Formal Methods and Theories * Empirical Studies, Benchmarking, and Industrial Best Practices * Applications and Tools * Pervasive, Ubiquitous, Service-Oriented Computing * Collaborative, Distributed, Embedded, Real-Time, High Performance, Highly Dependable, Intelligent, Multimedia Systems . Advanced Crawling Techniques . Business Processes for Applications on the Web - CASE Tools for Web Applications - Code Generation for Web Applications - Collaborative Web Development - Conceptual Modelling of Web Applications - Data Models for Web Information Systems - Development Process and Process Improvement of Web Applications - Empirical Web Engineering - Impact of IPv6 - Integrated Web Application Development Environments - Link Analysis - Methods and Tools for Web Applications - Modeling human behaviors on the Web - Multimedia Authoring Tools and Software - Performance of Web-based Applications
  8. 8. - Personalisation and Adaptation of Web Applications - Privacy Aspects in Web Applications - Process Modeling of Web Applications - Prototyping Methods and Tools - Quality Control and Testing - Requirements Engineering for Web Applications - Semantic Web Applications - Service Oriented Architecture - Software Factories for/on the Web - Testing & Evaluation of Web System & Applications - Text Analysis - Ubiquitous and Mobile Web Applications - UML and the Web - Usability of Web Applications - Web Accessibility - Web Design Methods - Web Engineering Education - Web Interface Design - Web Metrics, Cost Estimation, and Measurement - Web Project Management and Risk Management - Web Services Development and Deployment - Modeling of the Web - Web Usage Mining - Web access - Web Application Firewall - Web Presentation Technologies - Web Services - Web conferencing - Web for Knowledge Management
  9. 9. - Web Security Trends - Application servers for Web services - Aspect-oriented Web services middleware - Autonomic computing solutions for Web services and/or using Web services - Best practices and patterns for Web services middleware - Comparative analysis of middleware issues for Web services and other technologies (e.g., CORBA) - Industrial experiences with Web services middleware - Middleware for Grid services and utility computing - Middleware for discovery and/or selection of Web services - Middleware for choreography and/or orchestration of Web services - Middleware for Web-services based Semantic Web - Middleware for Web services-based workflows - Middleware for Web services executing in mobile, embedded, and ubiquitous/pervasive environments - Monitoring and management middleware for Web services - Negotiation middleware for Web services - Policy-based middleware for Web services
  10. 10. - Quality of service middleware for Web services - Query middleware for Web services - Reputation and/or trust middleware for Web services - Reliability, dependability, and fault-tolerance middleware for Web services - Security and/or privacy middleware for Web services - SOAP (Simple Object Access Protocol) engines - Web services as a middleware technology * Software and Service Engineering * Model Driven Engineering for SOA * Streaming Services and Event Driven Architectures * RESTful Web Services and Resource Oriented Architectures * Business Driven Development * Web Services for Enterprise Computing * Mobility and Services * Dynamic Web Service Discovery and Composition * SLA Creation and Service Delivery * Managing Change and Service Evolution * Business Process Management for Web Services 2nd International Workshop on Software Productivity Analysis and Cost Estimation (SPACE 2008) December 2, 2008
  11. 11. Beijing, China Co-located with IEEE Asia-Pacific Conference on Software Engineering (APSEC08) Visit SPACE2008 Website: http://space2008.jackykeung.com Paper Submission : 1 October 2008 TOPIC OF INTEREST ----------------- All papers should focus on the topics of software productivity and cost estimation, and contribute to one or more of the following areas (but not limited to): Software Effort and Cost Estimation Defect Rate and Reliability Assessment Software Productivity Measurement / Analysis Software Process Improvement Software Quality Measurement and Assurance Development of Predictive Models Case- based / Analogy-based Reasoning Approaches Expert- based Reasoning Approaches Algorithmic Techniques Qualitative and Quantitative Methods Evaluation and Comparison of Techniques and Models Simulation Techniques Experience Management Data Mining using Software Repository Development of Tool to Support Software Metrics
  12. 12. First International Workshop in Formal Methods Education and Training (FMET) 2008 Formal methods (FM) have an important role to play in the development of complex computing systems - a role acknowledged in industrial standards such as IEC 61508 and ISO/IEC 15408, and in the increasing use of precise modeling notations, semantic markup languages, and model-driven techniques. There is a growing need for software engineers who can work effectively with simple, mathematical abstractions, and with practical notions of inference and proof. However, there is little clear guidance - for educators, for managers, or for the engineers themselves - as to what might comprise a basic education in FM. The present IEEE/ACM SWEBOK (Software Engineering Body of Knowledge), in particular, lacks the kind of specific information that teachers and practitioners need to establish an adequate, balanced programme of learning in FM. This workshop will provide a forum for the discussion of the key issues in formal methods education, with a particular focus upon the development and advocacy of a
  13. 13. Formal Methods Body of Knowledge (FMBOK), analogous to the Institute of Project Management's PMBOK. This BOK would facilitate the design of appropriate programmes of education and training - undergraduate, graduate, and professional - for modern software engineers, as well as promoting the sharing of teaching approaches, educational tools, and teaching materials. Contributions are invited on this theme, and on the related themes below: * Experience of teaching FM at higher/further education and in professional training at companies * The FM curriculum within computer science and software engineering curricula * Teaching methodologies for FM * Academic/industrial FM tools and education tools in teaching FM * Pre-requisites for FM education Special issue on Open Source Software and Product Lines Description of the topic Embedded industries have invested a lot in the introduction of software product lines in their software
  14. 14. development. In addition, using open source software appears to be a profitable way to obtain good software. This is also applicable for organizations doing product line engineering. On the other hand, because of the diverse use of open source software, product line development is an attractive way of working in open source communities. In fact, the configuration mechanisms used in open source communities are applicable within software product lines as well. In addition, product line organizations are usually involved in distributed development, which works very efficiently within open source communities. At present, there is limited interaction between the open source and product line development communities. The aim for the workshop is to explore what the two communities can learn from each other and to develop a better understanding of how the two communities can benefit from each other. The special issue features papers on the following issues: - Variability and reuse management practices in open source = development - Ownership, control and management of product line assets in an = open source community
  15. 15. - Advantages and drawbacks of openness in product lines - Mixing closed and open architectures in a product line - Product line requirements, roadmaps and planning in open source development - Open source asset management tools in product line development - The meaning of domain and application engineering in an open = source context - Recognition and recovery of a product line in an open source = asset =20 base - Licensing issues, and how product line architecture is affected = by different kinds of licences
  16. 16. - Dealing with risks when combining open source and product lines, = such as liability, warranties, patent infringements etc. - Collaborating on product lines between companies through open = source - Innovative forms of business relationships within a product = line, through open source usage - Product line Company experiences on interacting with and = stimulation of a healthy open source community - Opportunities and obstacles in adopting open source practices in product line development - Company experiences of opening parts of product lines
  17. 17. 23rd International Conference on Automated Software Engineering http://www.ase-conference.org The IEEE/ACM International Conference on Automated Software Engineering brings together researchers and practitioners to share ideas on the foundations, techniques, tools, and applications of automated software engineering. Software engineering is concerned with the analysis, design, implementation, testing, and maintenance of large software systems. Automated software engineering focuses on how to automate or partially automate these tasks to achieve significant improvements in quality and productivity. ASE 2008 will present contributions describing basic research, novel applications, and experience reports. Detailed Technical Program available at http://www.ase- conference.org TESTS AND PROOFS JOURNAL OF AUTOMATED REASONING GENERAL INFORMATION Proofs and tests have, since the onset of software engineering research, been pursued by distinct communities using rather different techniques and tools.
  18. 18. In the past few years an increasing number of research efforts have encountered the need for combining proofs and tests, dropping earlier dogmatic views of incompatibility and taking instead the best of what each of these software engineering domains has to offer. This special issue has its origins in the Second International Conference on Tests and Proofs (TAP 2008), which was held in Prato (Italy) in April 2008. It will be published by Springer within the Journal of Automated Reasoning. TOPICS Topics of interest include the following: * Generation of test data, oracles, or preambles by deductive techniques such as - theorem proving, - model checking, - symbolic execution, - constraint logic programming, etc * Generation of specifications by deduction * Verification techniques combining proofs and tests * Program proving with the aid of testing techniques * Transfer of concepts from testing to proving (e.g., coverage criteria)
  19. 19. * Automatic bug finding * Formal frameworks * Tool descriptions and experience reports * Case studies Twelfth International IEEE EDOC Conference (EDOC 2008) "The Enterprise Computing Conference" 15-19 September 2008, Munich, Germany http://www.edocconference.org ABOUT THE CONFERENCE The IEEE EDOC Conference is the key annual event in enterprise computing. EDOC conferences address the full range of engineering technologies and methods contributing to enterprise distributed application systems. EDOC 2008 will be the twelfth event in the series of conferences, which since 1997 has brought together leading computer science researchers, IT decision makers, IT architects, solution designers and practitioners from academia, industry and government to discuss enterprise computing challenges, models and solutions.
  20. 20. Enterprise computing is based on a wide (and ever growing) range of methods, models, tools and technologies. The resulting applications also cover a broad spectrum of vertical domains and industry segments, from electronic and mobile commerce to real- time business applications for collaborating enterprises. In recent years, technologies related to business processes integration, management, execution and monitoring have become one of the top areas of interest in enterprise computing. Today, the creation, operation and evolution of enterprise computing systems create challenges that range from high-level requirements and policy modeling to the deployment and maintenance of solutions in and across customer businesses. The IEEE EDOC Conference emphasizes a holistic view on enterprise applications engineering and management, fostering integrated approaches that can address and relate processes, people and technology. The themes of openness and distributed computing, based on services, components and objects, provide a useful and unifying conceptual framework. The 2008 EDOC conference will welcome high quality scientific submissions as well as papers on enterprise computing industry experiences. Expert panel discussions and keynotes will address hot topics and issues in the domain. The TEAA conference (Trends in Enterprise Application Architecture) will become part of EDOC in 2008 and further enrich the scientific program and publication scope of the conference.
  21. 21. TOPICS The EDOC conference seeks high-quality contributions addressing the domains, the life-cycle issues and the realization technologies involved in building, deploying and operating enterprise computing systems. Suggested areas include, but are not limited to -- Enterprise Application Architecture and Methodology - Model based approaches to enterprise applications - Model driven architectures (MDA) and model driven SW development - Recent UML based approaches - Modeling based on domain specific languages (DSL) - Reference architecture based approaches - Standards for Enterprise Application Architecture - Collaborative development and cooperative engineering issues - Organization and principles of software factories - Service oriented architectures (SOA) and enterprise service =20 architectures (ESA) - Evolution of service engineering specifications - Semantics based service engineering - Enterprise service bus approaches - Event driven Architectures - Service oriented architecture governance
  22. 22. - Service policies and contract definitions and enforcement - Security policy definition and description languages - Security policy interoperability - Business process management (BPM) - Business Process Models and Metamodels - Business Process Monitoring and Intelligence - Dynamically configurable BPs - People integration in BPM Systems - Cross-organizational business processes - Business rules - Business rules languages and inference systems - Business rules components - Rule driven business process engines Enterprise Applications Implementation and Management - Enterprise applications deployment and governance - Maturity models for enterprise applications - Performance and operational risk prediction and measurement - Quality of service (QoS) and cost of service (CoS) - Total cost of ownership (TCO) for enterprise scale solutions - Management and maintenance of enterprise computing systems - Information assurance - Human and social organizational factors in enterprise computing
  23. 23. - State of the art in distributed enterprise applications - Evolution of middleware standards, such as Java EE or .NET - Application server solution design and deployment - Industry specific solutions, e.g. for aerospace, automotive, =20 finance, logistics, medicine and telecommunications - Research and public sector collaboration, e.g. in - e-health - e-government - e-science - Inter-enterprise collaboration and its architecture Enterprise Computing Infrastructures - Autonomic computing and self managing platforms - Self managing and self optimizing enterprise platforms - Autonomic computing approaches and solutions - Grid computing approaches - Integration of converging communications technologies - Integration of embedded and mobile systems - Mobile networks and ambient intelligence - Identity management and distributed access control - Distributed and federated access control - Network public key infrastructures - Service provisioning - Security technology interoperability - Inference mechanisms for policy enforcement - Social information and innovation networks - SW support for social networks
  24. 24. - Social network building and supporting infrastructures - Social network analytical approaches - Information integration and interoperability - Business object model methodologies and approaches - Taxonomies, ontologies and business knowledge integration - Master data management for the real-time enterprise (RTE) Special issue of Performance Evaluation journal on trhe topic "Software and Performance" Guest Editors: Elaine Weyuker, ATT Research Murray Woodside, Carleton University Important Dates: Guest Editors receive emailed titles and abstracts by 12- Jan-09 Full paper submissions submitted into Manuscript Central by 19-Jan-09 First round of reviews completed by 19-Mar-09 Major revisions due by 19-May-09 Second round of reviews completed by 19-Jun-09 Minor revisions due by 3-Jul-09 Final acceptances given to Authors by 10- Jul-09 Publication materials due by 24-Jul-09 Publication tentatively in late 2009 issue
  25. 25. Performance is an important and complex aspect of software systems which causes great difficulties to the developers and operators of these systems. The tools and techniques available to analyze performance, diagnose problems and relate them to causes in the software, and to improve performance cry out for improvement. The problem is made more difficult by the complexity of modern software systems (autonomous, mobile, distributed) and by stringent quantitative requirements including performance and controlled use of energy. The architecture, design and configuration of the software, and its use of software platforms such as databases and middleware, are important determinants of performance. The aim of this special issue is to publish novel research that contributes to methodologies, techniques and tools for performance analysis and engineering of software systems. Its scope covers the theoretical foundations, models and modeling languages, simulation, run-time monitoring and analysis, performance testing, causal analysis, methods for problem diagnosis, methods for providing high-performance architectures, designs and deployments, software tools and case studies. Topics of interest include (but are not limited to) the following areas:
  26. 26. ..Performance modeling of software -languages and ontologies, methods and tools, composing models, -capturing user behavior. ..Performance measurement and analysis -software performance testing, -application performance measurement and monitoring, -analysis of measured application performance data, ..Performance and other quality attributes -relationship/integration/tradeoffs with other QoS attributes, -relationship/integration/tradeoffs with cost and schedule, ..Performance and software development -software performance patterns and antipatterns, -software/performance tool interoperability (models, data interchange), -performance oriented design, implementation and configuration management, ..Software Performance Engineering -gathering, interpreting and using performance annotations and data, -optimization techniques ..Performance evaluation in application domains (e.g. Web Services, Middleware, Component- Based/Autonomous/Mobile/Intelligent/Adaptive/ Embedded Systems)
  27. 27. 4th International Workshop on Automated Specification and Verification of Web Sites (WWV'08) July 4, 2008, Siena (Italy) http://wwv08.dimi.uniud.it co-located with WFLP'08 http://wflp08.dimi.uniud.it/ WWV'08 will be held in the convention centre of the University of Siena, Italy: http://www.unisi.it/santachiara/ SCOPE The increased complexity of Web sites and the explosive growth of Web-based applications have turned their design and construction into a challenging problem. Nowadays, many companies have diverted their Web sites into interactive, completely-automated, Web-based applications (such as Amazon, on-line banking, or travel agencies) with a high complexity that requires appropriate specification and verification techniques and tools. Systematic, formal approaches to the analysis and verification can address the problems of this particular
  28. 28. domain with automated and reliable tools that also incorporate semantic aspects. Workshop on Testing, Analysis and Verification of Web Software = Monday July 21, 2008 = Seattle, WA In conjunction with ISSTA 2008 http://www.cs.ucsb.edu/~bultan/tav-web/ --------- PROGRAM --------- (See detailed schedule at http://www.cs.ucsb.edu/~bultan/tav-web/) Keynote Talk: * Using Program Analysis to Improve Web Application Security and Reliability A. Orso (Georgia Institute of Technology) Invited Tool Demo: * White-Box Testing of Behavioral Web Service Contracts with Pex N. Tillmann, J. de Halleux (Microsoft Research)
  29. 29. Technical Papers: * Hybrid Test of Web Applications with Webtest H. Raffelt, B. Steffen (TU Dortmund), T. Margaria (Universitat Potsdam), M. Merten (TU Dortmund) * Empirical Studies of a Decentralized Regression Test Selection Framework for Web Services M. E. Ruth (Wagner College), S. Tu (University of New Orleans) * Towards a Unified Framework for the Monitoring and Recovery of BPEL Processes L. Baresi, S. Guinea, L. Pasquale (Politecnico di Milano) * Policy expression and checking in XACML, WS-Policies, and the jABC M. Karusseit (TU Dortmund), T. Margaria (Universitat Potsdam), H. Willebrandt (TU Dortmund) * Multiple-Implementation Testing for XACML Implementations N. Li, J. Hwang, T. Xie (North Carolina State University) * SAFELI - SQL Injection Scanner Using Symbolic Execution X. Fu (Georgia Southwestern State University), K. Qian (Southern Polytechnic State University) * Client and Server Verification for Web Services Using Interface Grammars G. Hughes, T. Bultan, M. Alkhalaf (University of California, Santa
  30. 30. Barbara) Computers and Security (Elsevier) Journal Special Issue on "Software Engineering for Secure Systems" http://www.elsevier.com/wps/find/journaldescription.c ws_home/405877/description#description As a continued effort from the ICSE SESS workshop series (http://homes.dico.unimi.it/~monga/sess08.html), high quality journal articles are invited to submit to the Computers and Security journal special issue. The special issue plans to include best papers from the SESS workshop as well as other high quality original papers solicited from the community. The revised/extended version of the papers from the SESS workshop should include at least 25% of new material. All submitted papers should be original, never published before, and not currently under review. All submitted papers will go through the peer review process with the Computers and Security journal. Important Dates: Letter of intent: June 30, 2008 Submission deadline: August 15, 2008 Planned publication: Spring 2009
  31. 31. Theme and goals Software is at core of most of the business transactions and its smart integration in an industrial setting may be the competitive advantage even when the core competence is outside the ICT field. As a result, the revenues of a firm depend directly on several complex software-based systems. Thus, stakeholders and users should be able to trust these systems to provide data and elaborations with a degree of confidentiality, integrity, and availability compatible with their needs. Moreover, the pervasiveness of software products in the creation of critical infrastructures has raised the value of trustworthiness and new efforts should be dedicated to achieve it. However, nowadays almost every application has some kind of security requirement even if its use is not to be considered critical. Thus, designers have to cope with the complexity of insecure operating environments by considering threats to their application correctness. Security concerns should be taken into account as early as possible, and not added to systems as an after-thought: this is extremely expensive and it may compromise the design integrity in critical ways. Security features such as cryptographic protocols and tamper- resistant hardware cannot be simply added on to transform an insecure product to a secure one. Security solutions and patterns are hard to reuse in different contexts, they crosscut all the system
  32. 32. components and a vulnerability alone might compromise the trustworthiness of the whole system. Thus, not surprisingly, several security holes are recurrent, notwithstanding the experience accumulated by security research in the last decades. Software engineers and practitioners should assimilate basic security techniques and discover new techniques for integrating them in the current practice, while understanding associated costs and benefits. Several well-established software engineering disciplines such as verification, testing, program analysis, process support, configuration management, requirement engineering, etc. could contribute to improving security solutions that sometimes lack a coherent methodological approach. Or, as it is the case of security standards proposed by the Common Criteria or BS7799, present challenges that prevent integration with mainstream software engineering practice. Topics Areas of interest include, but are not limited to: * Security requirements management * Architecture and design of trustworthy systems * Architecture and design of protection systems * Separation of the security concern in complex systems * Model driven security * Secure programming * Black box components trustworthiness
  33. 33. * Security testing * Static analysis for security * Trustworthiness verification and clearance * Defining and supporting the process of building secure software * Deployment of secure applications * Monitoring and maintenance of the security solution * Security usability * Modeling and integrating dependability requirements with security constraints * Secure software/process certification and accreditation in socio- technical environment CALL FOR PAPERS: QiM 2008 Third international workshop on Quality in Modeling http://www.ituniv.se/~miroslaw/qim08/ (full CFP) September 30th 2008 In conjunction with MODELS'2008, Toulouse, France The goal of this workshop is to gather researchers and practitioners interested in the emerging issues of quality
  34. 34. in the context of Model-Driven Engineering (MDE). Discussions will take a large place and could address issues such as early quality control based on models at a high abstraction level, building prediction models for software quality based on model metrics, relationship between model quality and software product quality, quality control, etc. Submissions related to ongoing industrial projects aiming to increase quality are encouraged. Topics of interests include, but are not limited to: - Assessment of quality, models for quality - Quality of models at different abstraction levels - Adapting quality standards (ISO/IEC, IEEE, etc.) for model driven software development - Best practices and processes for quality management - Meaningfulness of existing quality attributes (e.g. maintainability) in the context of MDE - Software process, impact of MDE on software quality - Quality metrics and indicators in MDE projects - Quality prediction models, quality assurance and quality control in the context of MDE - Experience reports and empirical studies of quality in the context of MDE Components in a World of Mobile and Distributed computing
  35. 35. Thirteenth International Workshop on Component- Oriented Programming October 13th, 2008 =96 at CompArch 2008, Karlsruhe, Germany (October 14th=9617th, 2008) The submission deadline is September 9th. http://research.microsoft.com/~cszypers/events/WCOP WCOP seeks position papers on the important field of component-oriented programming (COP). WCOP 2008 is the thirteenth event in a series of =20 highly successful workshops, which took place in conjunction with every ECOOP since 1996. COP has been described as the natural extension of object-oriented programming to the realm of independently extensible systems. Several important approaches have emerged over the recent years, including component technology standards, such as CORBA/CCM, COM/COM+, J2EE/EJB, .NET, and most recently software =20 services, but also the increasing appreciation of software architecture for component- based systems, as in SOA, and the consequent effects on organizational processes and structures as well as the software development business as a whole. COP aims at producing software components for a component market and for late composition. Composers
  36. 36. are third parties, possibly the end users, who are not able or not willing to change components. This requires standards to allow independently created components to interoperate, and specifications that put the composer into the position to decide what can be composed under which conditions. On these grounds, WCOP'96 led to the following definition: A component is a unit of composition with contractually specified interfaces and explicit context dependencies only. Components can be deployed independently and are subject to composition by third parties. After WCOP'96 focused on the fundamental terminology of COP, the =20 subsequent workshops expanded into the many related facets of component software. WCOP 2008 will discuss components in the context of mobile and =20 distributed computing. How can components be deployed effectively in distributed environments? For instance, distribution and mobile computing always imply that individual operations may fail and that services may be temporarily unavailable in unpredictable ways due to communication problems, such as network failures. How does it affect the idea of contract-based trust, if contract signers may not be reachable? In particular on mobile platforms resources are limited and balancing resource requirements and allocations among a potentially open set of (installable) add-on components becomes a particular challenge.
  37. 37. Finally, in addition to submissions addressing the theme, we explicitly solicit papers reporting on experience with component-oriented software systems in practice, where the emphasis is on interesting lessons learned, whether the actual project was a success or a failure. TOPICS Topics of interest to WCOP 2008 include, but are not limited to: * mobile components for pervasive computer applications * ubiquitous computing with software components * controlling power consumption in extensible systems * resource pressure: can we afford components on mobile platforms? * security and privacy of mobile component systems * predictable assembly of components * performance/efficiency and reliability of component- based systems * systems for the description and prediction of non- functional component properties * deployment attribution / constraints * COP and Model-driven Development (MDA) * interoperation among component frameworks * component-oriented development processes * relating architectural principles/approaches to component software * addressing variability requirements in component- based solutions
  38. 38. * system design for independent extensibility * component versus application evolution * domain-specific (vertical) standards * organizational aspects * business aspects * what worked / what didn't work in practice and lessons learned AOMP: Agent-Oriented Software Engineering Methodologies and Processes Track of the 24th Edition ACM Symposium on Applied Computing Honolulu, Hawaii, USA, March 8 -12, 2009 http://www.apice.unibo.it/xwiki/bin/view/AOMP/ http://www.acm.org/conferences/sac/sac2009/ AOSE methodologies have been studied since 2000. Traditionally the focus was only onto one of the methodologies'characteristics: workproducts. Investigations on another fundamental characteristic - the process - have been proposed only recently. The aims of this track are the deeper investigations of AOSE methodologies and their underpinned processes. The investigation has started from the idea that an ideal general-purpose AOSE
  39. 39. methodology and an ideal general-purpose AOSE process do not exist. The AOSE methodologies proposed in literature in the last years typically are special purpose methodologies with the aim of engineering specific kinds of complex system, and no general purpose AOSE methodology was proposed. Now there is the need to build new methodologies for new kinds of applications domain (like for example the self-* domain), but the constructions of a new methodology from scratch is a very complex and time-consuming task. So, the reuse of portions of well-tested and well-known methodologies has become very important. Moreover, key factors for the success of new methodologies can often be found in the clear definition of their scope, in the identification of a precise application and development context and in the adoption of a proper formalisation of the approach. In this track we aim at studying all the elements that affect the construction of a new design process from the features it aims to exhibit to the final evaluation of the result also including adopted modelling languages, techniques and specific methods. TOPICS OF INTEREST The list of most relevant topics includes, but it is not limited to: * Methodologies for agent-oriented analysis and design
  40. 40. * Agent-Oriented Software Engineering * Design of software development processes * Situational Method Engineering techniques for AOSE design processes * Relationships between MAS meta-models and their relative AOSEmethodologies * Relationships between AOSE processes and the other traditional processes (e.g. OO) * Relationship between AOSE methodologies (processes) and MASInfrastructures * Meta-modelling techniques * Software development process models * Fragment definitions and descriptions * Integration of agent-oriented methodologies and processes * Approaches for AOSE methodologies: design patterns, components, and architectures * MAS Product Lines * Supporting tools for AOSE methodologies/processes construction andenactment * Standardisation for AOSE methodologies and processes * Self-* approaches in AOSE methodologies and processes 31st INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING Vancouver, Canada, 16-24 May 2009 http://www.cs.uoregon.edu/events/icse2009
  41. 41. The International Conference on Software Engineering (ICSE) is the premier software engineering conference, providing a forum for researchers, practitioners and educators to present and discuss the most recent innovations, trends, experiences and concerns in the field of software engineering. We invite high quality submissions of technical papers describing original and unpublished results of theoretical, empirical, conceptual, and experimental software engineering research. Incremental improvements over previously published work should have been evaluated through systematic empirical or experimental evaluation. Submissions of papers describing groundbreaking approaches to emerging problems will be considered based on timeliness and potential impact. Incremental improvements over previously published work are expected to be evaluated through rigorous analyses, empirical studies, or experiments. Topics of interest for ICSE include, but are not limited to: Requirements Engineering Specification and Verification Software Architecture and Design Patterns and Frameworks Analysis and Testing Reverse Engineering, Refactoring, and Evolution Program Comprehension and Visualization Tools and Environments Empirical Software Engineering Software
  42. 42. Metrics Development Paradigms and Software Processes Computer-supported Cooperative Work Component- based, Aspect-oriented, Service-oriented Software Engineering Model Driven Engineering Distributed Systems and Middleware Mobile and Embedded System Open Standards and Certification Software Economics Software Configuration and Deployment Dependability (safety, security, reliability) Case Studies and Experience Reports Special issue on Open Source Software and Product Lines http://www.itea-cosi.org/modules/news/article.php? storyid=3D36 International Journal of Open Source Software & Processes (IJOSSP) http://www.igi-global.com/journals/details.asp? id=3D7978 An Official Publication of the Information Resources Management =20 Association New in 2009 www.igi-global.com/ijossp Editor-in-Chief: Stefan Koch, Vienna University of Economics and BA, =20 Austria Published: Quarterly (both in Print and Electronic form) Description of the topic
  43. 43. Embedded industries have invested a lot in the introduction of software product lines in their software development. In addition, using open source software appears to be a profitable way to obtain good software. This is also applicable for organizations doing product line engineering. On the other hand, because of the diverse use of open source software, product line development is an attractive way of working in open source communities. In fact, the configuration mechanisms used in open source communities are applicable within software product lines as well. In addition, product line organizations are usually involved in distributed development, which works very efficiently within open source communities. At present, there is limited interaction between the open source and product line development communities. The aim for the workshop is to explore what the two communities can learn from each other and to develop a better understanding of how the two communities can benefit from each other. The special issue features papers on the following issues: - Variability and reuse management practices in open source = development
  44. 44. - Ownership, control and management of product line assets in an = open source community - Advantages and drawbacks of openness in product lines - Mixing closed and open architectures in a product line - Product line requirements, roadmaps and planning in open source development - Open source asset management tools in product line development - The meaning of domain and application engineering in an open = source context - Recognition and recovery of a product line in an open source = asset =20 base
  45. 45. - Licensing issues, and how product line architecture is affected = by different kinds of licences - Dealing with risks when combining open source and product lines, = such as liability, warranties, patent infringements etc. - Collaborating on product lines between companies through open = source - Innovative forms of business relationships within a product = line, through open source usage - Product line Company experiences on interacting with and = stimulation of a healthy open source community - Opportunities and obstacles in adopting open source practices in product line development
  46. 46. - Company experiences of opening parts of product lines Seventh International Conference on Generative Programming and Component Engineering (GPCE'08) Nashville, Tennessee (co-located with OOPSLA 2008) Generative and component approaches are revolutionizing software development similar to how automation and components revolutionized manufacturing. Generative Programming (developing programs that synthesize other programs), Component Engineering (raising the level of modularization and analysis in application design), and Domain-Specific Languages (elevating program specifications to compact domain-specific notations that are easier to write, maintain, and analyze) are key technologies for automating program development. GPCE provides a venue for researchers and practitioners interested in foundational techniques for enhancing the productivity, quality, and time-to-market in software development that stems from deploying standard
  47. 47. components and automating program generation. In addition to exploring cutting-edge techniques for developing generative and component-based software, our goal is to foster further cross-fertilization between the software engineering research community and the programming languages community. ACM/IFIP/USENIX 9th International Middleware Conference December 1-5, 2008, Leuven, Belgium http://middleware2008.cs.kuleuven.be/ Accepted papers list can be accessed : http://middleware2008.cs.kuleuven.be/accepted.php REGISTRATION DEADLINE IS NOVEMBER 4, 2008 !!!! The Middleware conference is a forum for the discussion of important innovations and recent advances in the design, construction and uses of middleware. Middleware is distributed-systems software that resides between the applications and the underlying operating systems, network protocol stacks, and hardware. Its primary role is to functionally bridge the gap between application programs and the lower-level hardware and software infrastructure in order to coordinate how application components are connected and how they interoperate.
  48. 48. Following the success of past conferences in this series, the 9th International Middleware Conference will be the premier event for middleware research and technology in 2008. The scope of the conference is the design, implementation, deployment, and evaluation of distributed system platforms and architectures for future computing and communication environments. Highlights of the conference will include a high quality technical program, invited speakers, an industrial track, poster and demo presentations, a doctoral symposium, and workshops. The topics of the conference include, but are not limited to: Platforms and Architectures: * Middleware for Web services and Web-service composition * Middleware for cluster and grid computing * Peer-to-peer middleware solutions * Event-based, publish/subscribe, and message-oriented middleware * Communication protocols and architectures * Middleware for ubiquitous and mobile computing * Middleware for embedded systems and sensor networks * Middleware for next generation telecommunication platforms
  49. 49. * Semantic middleware * Service-oriented architectures * Standard middleware architectures * Reconfigurable, adaptable, and reflective middleware approaches Systems issues: * Advanced middleware support for high confidence dynamic integrated systems * Reliability, fault tolerance, and quality-of-service in general * Scalability of middleware: replication and caching * Systems management, including solutions for autonomic and self- managing middleware * Middleware feedback control solutions for self- regulation * Real-time solutions for middleware platforms * Information assurance and security * Evaluation techniques for middleware solutions * Middleware support for multimedia streaming * Middleware solutions for (large scale) distributed databases Design principles and tools: * Formal methods and tools for designing, verifying, and evaluating middleware * Model-driven architectures
  50. 50. * Software engineering for middleware * Engineering principles and approaches for middleware * Novel development paradigms, APIs, and languages * Existing paradigms revisited: object models, aspect orientation, etc. * On-the-fly management and configuration of middleware ================================================ ============ The 5th International Conference on Open Source Systems (F/OSS 2009) http://oss2009.his.se/ http://oss2009.org/
  51. 51. Over the past decade, the Free and Open Source Software (F/OSS) phenomenon has had a global impact on the way organisations and individuals create, distribute, acquire and use software and software- based services. F/OSS has challenged the conventional wisdom of the software engineering and software business communities, has become a useful instrument for educators and researchers as well as an important aspect of e-government and information society initiatives. F/OSS is a complex phenomenon that requires an interdisciplinary understanding of its engineering, technical, economic, legal and socio- cultural dynamics. The goal of F/OSS 2009 is to provide an international forum where a diverse community from academia, industry and public administration can come together to share research findings and practical experiences. The conference is also meant to provide information and education to practitioners, identify directions for further research and to be an ongoing platform for technology transfer. Conference Topics The conference will consist of research papers presentations, workshops, tutorials, panels, and project demonstrations. Authors are invited to submit papers and proposals on a variety of OSS topics, including but not limited to:
  52. 52. Software engineering perspectives: Challenges and opportunities * F/OSS architectures, configuration and release management * F/OSS development environments * Testing, assuring and certifying F/OSS quality and security * F/OSS usability, scalability, maintainability and other quality issues * Mining and analyzing F/OSS project repositories * Lessons from F/OSS for conventional development * F/OSS and standards * Open sourcing vs. offshoring of development * F/OSS and agile development * Tools and infrastructures for F/OSS development * Models of reuse * Architectures, patterns, techniques and processes for F/ OSS development * F/OSS and distributed development * Documentation of F/OSS projects Emerging perspectives: Lessons from F/OSS applied to other fields * Diffusion and adoption of F/OSS innovations * F/OSS and alternative intellectual property regimes * F/OSS, Open Science and "Open Knowledge" * Licensing, IPR and other legal issues in F/OSS * F/OSS and innovation
  53. 53. Social science: Understanding organizational and psychological issues in F/OSS * Diversity and international participation in F/OSS projects * Learning, knowledge sharing, collaboration, control or conflict in F/OSS projects * Dynamics of F/OSS project communities, building and sustaining * F/OSS historical foundations * F/OSS and social networks * F/OSS and social inclusion * Economic analysis of F/OSS * Knowledge management, e-learning and F/OSS Studies of F/OSS deployment: Current studies and future issues * Case studies of F/OSS deployment, migration models, success and failure * F/OSS in the public sector (e.g., government, education, health care) * F/OSS in vertical domains and the 'secondary' software sector (e.g., automotive, telecommunications, medical devices) * F/OSS-compatible IT governance architectures * F/OSS applications catalog (functionality, evaluation, platforms, support providers, training needs) * F/OSS education and training
  54. 54. * F/OSS, e-government and transformational government * F/OSS business models and strategies * F/OSS and the one laptop per child initiative First International Workshop on Transforming and Weaving Ontologies in Model Driven Engineering TWOMDE'08 CALL FOR PARTICIPATION at the ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2008) http://isweb.uni-koblenz.de/events/TWOMDE2008 Early registration deadline: September 10th 2008 OVERVIEW ----------------------------- Disciplines like model transformation and domain specific languages become essential in order to support
  55. 55. different kinds of models in a model driven environment. Understanding the role of ontologies in these fields is crucial to leverage the development of such disciplines. We highlight the following open questions: How can the scientific and technical results around ontologies, ontology languages and their corresponding reasoning technologies be used fruitfully in Model Driven Engineering (MDE)? How can ontologies improve designing domain specific languages? Discussions about these and related questions will be supported by this workshop. TWOMDE'08 aims at providing a forum for discussing the application of different aspects of ontologies to enhance Model Driven Engineering. The intended audience embraces members of the modeling community with experience or interest in Model Driven Engineering and in Knowledge Representation. Specifically, but not only, the participation of experts in technologies related with UML, MOF, ATL, QVT, RDF or OWL is highly welcome. Automatic software verification is once again at the forefront of research in computer science, thanks to a combination of novel techniques and more powerful hardware to implement them. The aim of the ASV symposium is to bring together researchers to exchange
  56. 56. and develop new ideas in all aspects of software verification, from design to implementation. Topics of interest include but are not limited to: * automatic theorem provers * static program analysis * model checking * tool descriptions and experience reports * case studies MBSDI 2009 2ND INTERNATIONAL WORKSHOP ON MODEL-BASED SOFTWARE AND DATA INTEGRATION Held in conjunction with UNISCON 2009 University of Western Sydney (UWS) Sydney, April 21 - 24, 2009 http://www.uniscon2009.org/ SCOPE OF THE WORKSHOP Integration of data from heterogeneous distributed sources, and, at the same time, integration of software components and systems, in order to achieve full
  57. 57. interoperability is one of the major challenges and research areas in software industry today, as well as the significant IT cost driving factor. There is an increasing need and market pressure to systematically address the integration problem, particularly in accidental information infrastructures and IT architectures, that have grown over time in an uncontrolled manner in different enterprise environments. The reason for the ever growing relevance of software integration is the dynamic nature of todays business operations, where fast enterprise decision making is essential. However, the relevant data and functions, based on which decisions should be made, are distributed over many heterogeneous and autonomous systems. Retrieving this data and processing it, in order to generate the added value services, requires an expensive and tedious software development process. In general, there is no methodology that enables systematic approach to this problem in order to combine business data on demand in an ad-hoc manner. Finally, complexity rises even more with modification and evolution of the (legacy) systems. The problem of software and data integration has been approached from different perspectives and within different communities. During the last couple of years, several approaches for system integration have profiled
  58. 58. and established themselves, such as component-based software engineering (CBSE), service oriented architecture (SOA) or ontology-based semantic integration. They all address parts of the problem domain. However, a unified methodology for software integration is still missing. Model-based software engineering (MBSE) may be the paradigm that can combine the results achieved so far in different fields. MBSE offers not only the methodology but also standardized (meta) tools and platforms for enterprise-wide and cross- enterprise integration of software solutions with the ultimate goal of (semi) automatic generation of business intelligence components. Our workshop, after the success of MBSDI 2008, will be the second of its kind in the context of the German regional initiative BIZYCLE of collaborative development of methodologies and tools for Model-Based Software and Data Integration. BIZYCLE is a joint effort of software SMEs and science, directly addressing this context, and trying to introduce a strict model-based design, verification, development and evolution methodology. This methodology applies to system integration concepts such as CBSE, SOA or ontology-based integration. For better synergy, MBSDI 2009 will be co-located with two other relevant events, which complement our focus in this field: ISTA 2009 and ECOMO 2009.
  59. 59. All three events will we held under the roof of UNISCON 2009. Contributions with a strong theoretical and technical background, as well as contributions focusing on domain knowledge and practical /industrial experience, are both welcome. Particularly, software and data integration solutions in the context of health care, facility management, logistics and publishing are welcome, as they coincide with the focus domains of our research initiative. However, this does not exclude quality contributions describing solutions from other application domains, like e.g. automotive or avionics. TOPICS OF INTEREST Suitable topics include (but are not limited to) the areas listed below: Models and Metamodels in Software Engineering Metamodel Layers: CIM, PIM, PSM Model Management: Model Consistency, Merging and Evolution/ Synchronization Model & Artifact Repositories Model Transformation: Languages, Frameworks ECLIPSE-based Modeling Frameworks Meta-Tools, and Tool Integration Component Models and Software Architecture Software Interoperability: Middleware Platforms, Standards & Runtime Environments Integration/Composition of
  60. 60. Software Components, Systems & Services Data & Information Integration (Matching, Merging, Federation) Semantic Integration using Ontologies Formal modelling of Software Components Modelling and Characterizing Heterogeneous Component Interfaces Service Oriented Architecture: Concepts for Systems Integration SLA, Negotiation, Orchestration Performance and Dependability Aspects of Data and Software Component Integration Component and Service Interaction Patterns Standards for Software & Information Modeling Software Evolution Model-Based Migration Domain Ontologies in Integration Scenarios Business Processes and Software Integration in Concrete Applications Cross-Enterprise Business Integration/ Collaboration Integrated Domain Applications, as e.g. in the Domains of Health Care, Facility Management, Logistics and Publishing 6th IEEE European Conference on Web Services http://www.computing.dcu.ie/ecows08/
  61. 61. The European Conference on Web Services (ECOWS) is a premier conference for both researchers and practitioners to exchange the latest advances in the state of the art and practices of Web Services: - Life-Cycle of Web Services Implementations - Dynamic Web Services - Semantic Web Services - Economics and Web Services - Quality Requirements for Web Services - Web Services for Grids - Web Services in a Service-Oriented Environment - Web Services and Mobility - Frameworks for Building Web Service-Based Applications - Formal Methods for Web Services The main objectives of this conference are to facilitate the exchange between researchers and practitioners and to foster future collaborations in Europe and beyond. Call for Articles: IEEE Software Special Issue on Domain- Specific Languages & Modeling IEEE Software seeks submissions for a special issue on Domain-Specific
  62. 62. Languages and Modeling (DSL&M). This issue will focus on benefits that the field's practitioners and designers observed or quantified, especially scenarios that could not be implemented easily using general-purpose techniques. The issue will explore how mature domain-specific techniques address issues of efficiency, integration, maintainability, and reliability. In addition, articles can address specific challenges associated with DSL&M. Suggested areas of interest include: * software development process with DSLs; * state of the art descriptions of DSLs and tools; * industrial experiences of applying DSLs in practice, including lifecycle issues; * design of DSLs as language engineering (guidelines, patterns, and frameworks);
  63. 63. * interoperability with mainstream languages, IDEs, and other tools; * metrics for productivity using DSL and DSM techniques; * testing, system confidence, test case generation, validation and verification; * generative techniques, code reuse, code generation; * semantics for integrating heterogeneous systems, or heterogeneous tools; * selection/design of DSLs and tools to best suit project requirements; and * impact of DSLs on software architecture. Submissions can address many different vertical domains, including: * automotive, avionics, embedded and other cyber- physical systems software;
  64. 64. * mobile systems, including mobile phones and sensor networks; * telecom, communications, and software-defined radio systems; * medical systems, devices and health records systems; * consumer electronics; * enterprise systems; * software and systems integration; and • hardware/software systems design and co-design. Software & Systems Engineering Essentials 2009 Processes, Process modelling and Software Engineering Technologies Key theme: Tools as the key to project success http://2009.see-conf.de/ Conference Description:
  65. 65. The Software and Systems Engineering Essentials is one of the main conferences dealing with process models, methodology and tools in the German speaking world. It offers a comprehensive insight into standards such as CMMI(r), HERMES, ITIL(r), PRINCE2(tm), RUP und V-Modell(r)XT, agile development strategies like SCRUM and task oriented approaches in modern development environments. The SEE 2009 has as its core motto "Tools as the key to project success". Process managers and project managers often discover to =20 their cost that useful procedures and standards are not obeyed and followed because they are seen as inherently causing an increase in workload. The =20 consequences of this are quality issues in the project deliverables and inefficient processes. The usage of appropriate tools offers a way around these =20 problems in that the project team members are supported in their work and the following of processes and methodologies is made easier, or even made possible to be introduced in the first place. With that in mind, tools =20= play a key role in the standardisation of project tasks. The SEE 2009 deals specifically with this aspect and answers questions such as: What tools are available on the market? How do I achieve an integrated tool environment? When do I utilise integrated proprietary OEM systems, heterogeneous Best-of-Breed Tools and/or
  66. 66. Open-Source tools? Which tools are appropriate for my in-house internal process models? How do I go about the choice and introduction of tools? And finally: what =20 benefits do the various tools really offer? Invitation for Proposals for Presentations and Workshops: The SEE offers an array of keynote addresses, workshops, tutorials, three parallel sessions with presentations, and a concluding podium discussion. We therefore invite specialists in industry and research for contributions which deal with selected aspects from the list of topics on the following pages. In the workshops in particular, these themes will be discussed with reference to process models in general, and will not be limited to =20 dealing with any specific process model in particular. Interested contributors are asked to compile and submit an extended abstract. For this purpose, there are template documents available for download on the conference website(http://2009.see-conf.de). Presentations and workshop suggestions can be submitted in either English or German. The accepted presentations will be published after =20= the conference as an integrated record of proceedings.
  67. 67. Themes: * Process models, Standards and Guidelines - Agile process models e.g. FDD, SCRUM, XP - Elaborate rich process models, e.g. HERMES, RUP, V- Modell(r)XT - Maturity models and QM-Standards, e.g. CMMI(r), ISO9001, SPICE - Organisation-specific customisation and tailoring - Costs and benefits of adopting standards - Compliance to standards - Monitoring of compliance, assessment, quality management - introduction training und coaching of standardised processes * Methodology und Best Practices - Project-, change- and launch management - Requirements analysis and conceptualisation - Model driven processes (MDRE, MDA) - Traceability - Test-driven development - Task-oriented approaches - Aspects of teamwork * Tools and Platforms for IT Projects - Tool environments and platforms - Tool suites vs. standalone tools - Commercial tools versus open-source tools
  68. 68. - Choice and standardisation of tools - Tool integration - Reporting und document generation - Tool support for process models and methodology * Tendering of contracts and company wide projects - Tendering guidelines and specifications - Composition and refining of the requirement specification - Framing of contracts and change management - Peculiarities of tendering for governmental contracts - Tenders (VOL/A, VOL/B, tendering competition, etc.) - Projects in manufacturer/ supplier networks and virtual companies World Wide Web Editors-in-Chief: M. Rusinkiewicz; Y. Zhang Special Issue on "Engineering Issues for the Web 2.0" Guest Editors: Qing Li and Gustavo Rossi Call for Papers The aims of the so called Web 2.0 are to enhance creativity, information sharing, and collaboration among users, while providing richer interaction possibilities and letting final users compose their applications, enhance the interface, etc.
  69. 69. Web-based communities, Wikis, Social networks, Mashups, Blogs, Folksonomies are some of the emerging new terms and concepts in this still not finished transition from the "old" Web in which information retrieval was the most important task; now, users can generate, share and modify content (both theirs or others') freely. While it is being discussed if the Web 2.0 is just a wiser way to use the existing technologies, or a complete re- definition of the Web as a mass media, new applications requirements and support technologies arise constantly, giving raise to new achievements both theoretical and practical, and ranging from specialized browsers (such as Flock), software frameworks or domain specific languages for Ajax or Ruby, interaction patterns for Rich Internet Applications, integration of ontologies into tagging systems, etc. This special issue aims at discussing the state-of-the-art, open problems, challenges and research directions in the Web 2.0 from an engineering point of view. Original contributions (previously unpublished and not currently under review) are solicited in areas such as (but not limited to) the following: -Modelling and Design Issues in the Web 2.0 -New development processes for the Web 2.0 -Verification, Validation and Testing in the Web 2.0 -Frameworks, Tools
  70. 70. and Support Technologies -Technologies for efficiently enabling final and unskilled users -Re-Engineering Web Applications to the Web 2.0 -Web Community Discovery and Analysis -Interface Design Issues for the Web 2.0 -Accessibility aspects in the Web 2.0 -Patterns of interactions, Patterns of usage, etc -Engineering Issues in the Semantic Web -User modeling and personalization -Rich media search in the Web 2.0 LATE '09: The 5th International Workshop on Linking Aspect Technology and Evolution ***** Website: http://aosd.net/workshops/late/2009/ SUBJECT Software evolution lies at the heart of the software development process, and is hindered by problems such as maintainability, evolvability, understandability, etc. Aspect-oriented software development (AOSD) is an emerging software development paradigm that tries to achieve better separation of concerns. It is often claimed that aspect-oriented design and implementation improves maintainability, evolvability and understandability of the software. This workshop aims to investigate this claim and explore the relationship between software evolution and AOSD.
  71. 71. In particular, the workshop's objective is to study the impact of AOSD on software evolution on the one hand, and the impact of software evolution on AOSD on the other hand. The former subject could for example deal with diverse issues such as how using AOSD improves the quality of the software, and thus eases software evolution, or how existing applications can be evolved into AOSD applications. The latter subject is concerned with the way existing software evolution techniques (e.g., refactoring) are affected by AOSD, and how they should be extended in order to include AOSD concepts. Topics such as these are important since there are many applications that continue to miss the potential advantages of AOSD because appropriate tools and techniques are not sufficiently mature, and because these advantages are not yet entirely clear. The workshop is specifically aimed at addressing these topics, presenting and providing feedback on novel research, and bringing together researchers and practitioners from academia and industry that can share their experience with applying AOSD techniques to already- existing applications. TOPICS The topics of interest lie in three distinct areas, and include but are not limited to:
  72. 72. 1. Aspect mining and concern exploration - Automated mining techniques such as structural pattern matching, concept analysis, clone detection, change history mining, etc. - Concern benchmarks (i.e., examples of documented concerns to locate) - Code navigation tools - Concern modeling tools - Structural query tools - Software search tools - Applicability to non-OO systems 2. Aspect extraction - Automated techniques such as slicing, refactoring, program transformations, etc. - Pointcut generation techniques - Experiences in migration towards AOSD - (Aspect) Testing and verification challenges - Concern benchmarks (i.e., examples of code that should be refactored into aspects) - Applicability to non-OO systems 3. Aspect evolution - Refactoring of aspects - Evolution of pointcuts, fragile pointcut problem - Metrics to quantify evolution - Documentation of AOSD software
  73. 73. You are invited to submit papers for the track on Middleware The 6th International Conference on Information Technology: New Generations April 27-29, 2009, Las Vegas, Nevada, USA www.itng.info Track on Middleware: http://faculty.uaeu.ac.ae/nader_m/ITNG2009/Middlewa re_Track.htm Proceedings to be published by the IEEE Computer Society Theme: Middleware technologies had evolved tremendously over the past decade from simple support techniques for applications integration to a field of its own. The latest advances and innovations in middleware research, design and utilization highlighted great expansion of the middleware field. This track is designed to discuss and highlight the latest advancements in middleware technologies and
  74. 74. utilization. Original work and contributions in middleware concepts, design, implementation, deployment, and evaluation are sought. Topics: Topics of interest included, but are not limited to, the following: - Middleware for Web services and applications - Middleware for cluster and grid computing - Event-based, publish/subscribe, and message-oriented middleware - Middleware for ubiquitous and mobile computing - Middleware for embedded systems and sensor networks - Middleware for Ad hoc networks - Reconfigurable, adaptable, and reflective middleware approaches - Middleware solutions for reliability, fault tolerance, and quality-of-service - Scalability of middleware - Autonomic and self- managing middleware - Evaluation techniques for middleware solutions - Middleware solutions for (large scale) distributed databases - Formal methods and tools for designing, verifying, and evaluating middleware - Software engineering techniques for middleware - Middleware for robotics - Middleware for WiMax and Mesh Networks Support
  75. 75. - Middleware for collaborative applications - Middleware for agent based systems - Middleware for service oriented systems - Middleware solutions for Security, Privacy and Trust IEEE Computer: Special issue on Models@run.time Important Dates Submissions due: February 1, 2009 Final paper decisions: June 1, 2009 Issue Publication date: October, 2009 Software models can be used to monitor and verify particular aspects of runtime behaviour, implement self-* capabilities (e.g., adaptation technologies used in selfhealing, self-managing, self-optimizing systems), and support human-driven adaptation. A key benefit of using models at runtime is that models can provide a richer semantic base for runtime decision-making related to system adaptation and other runtime concerns. IEEE Computer invites authors to submit papers on model-based approaches to managing and adapting executing software for a special issue of IEEE Computer on Models@run.time .
  76. 76. Topics of interest include: - Using models to support runtime monitoring and validation of behaviour. - Using models to support self-* properties in autonomic software systems. - Case studies and experience reports on the use of models at runtime. - Leveraging design models at runtime, including work on transforming design abstractions to runtime abstractions. - Abstractions that enable and support runtime adaptation - Establishing and maintaining causal links between runtime models and the running software. - Implications of Models@run.time for existing and emerging software paradigms, including service-oriented architectures. - The development of more abstract models capturing the intent of the system, e.g. requirements reflection. Fifth Workshop on Model-Based Testing March 22, 2009, York, UK http://react.cs.uni-sb.de/mbt2009/ Satellite workshop of ETAPS 2009
  77. 77. CALL FOR PAPERS The workshop is devoted to model-based testing of both software and hardware. =C2 Model-based testing is closely related to model-based specification. =C2 Models are used to describe the behavior of the = system under consideration and to guide such efforts as test selection and test results evaluation. =C2 Both testing and verification are used to validate models against the requirements and check that the implementation conforms to the specification model. Model-based testing has gained attention with the popularization of models in software/hardware design and development. Of particular importance are formal models with precise semantics, such as state-based formalisms. Testing with such models allows one to measure the degree of the product's conformance with the model. Techniques to support model-based testing are drawn from diverse areas, like formal verification, model checking, control and data flow analysis, grammar analysis, and Markov decision processes. The intent of this workshop is to bring together researchers and users of models for to discuss the state of the art in theory, applications, tools, and
  78. 78. industrialization of model-based specification, testing and verification. WORKSHOP HISTORY MBT 2009 is the fifth event in a series of ETAPS satellite workshops. MBT 2004, historically the first meeting to focus on model-based testing, was held March 27-28, 2004, in Barcelona, Spain. MBT 2006 was held in Vienna, Austria, MBT 2007 in Braga, Portugal, and MBT 2008 in Budapest, Hungary. The proceedings have appeared in ENTCS (volumes 111, 164, 190). SUBMISSION TOPICS Original submissions are solicited from industry and academia. They are invited to present their work, plans, and views related to model-based testing. The topics of interest include but are not limited to: * Online and offline test sequence generation methods and tools * Test data selection methods and tools * Runtime verification * Model-based test coverage metrics * Automatic domain/partition analysis * Combination of verification and testing * Models as test oracles
  79. 79. * Scenario based test generation * Meta programming support for testing * Formalisms suitable for model-based specification and testing * Application of model checking techniques in model- based testing * Game-theoretic approaches to testing * Model-based testing in industry: problems and achievements Third international workshop on Middleware for Sensor Networks (MidSens'08) http://www.comp.lancs.ac.uk/computing/midsens08/ Leuven, Belgium, December 1, 2008 co-located with ACM Middleware2008 Don't miss this opportunity to share your ideas with other top researchers and practitioners in the field of middleware and sensor networks.
  80. 80. Middleware for sensor networks is a highly promising research domain which addresses key challenges that application developers are facing today. The two previous editions (MidSens'06 and MidSens'07) attracted researchers from Europe, Asia, and the United States. The aim of the workshop is to stimulate research in the specific domain of middleware for wireless sensor and actuator networks (WSANs), to collect current expertise, and to further refine and integrate different approaches. In particular, the workshop will investigate how middleware architectures can relieve programmers from the lowest level sensor details,while still enabling them to exploit a sensor node's resource capabilities in the most optimalway. This workshop aims to trigger and guide research efforts to create an integrated middleware vision, which is required to handle the challenges inherent to developing and deploying complex sensor applications in an efficient way. Topics ------ The conference has successfully established itself as an international forum for providers, practitioners and researchers into reliable software technologies. The
  81. 81. conference presentations will illustrate current work in the theory and practice of the design, development and maintenance of long-lived, high-quality software systems for a variety of application domains. The program will allow ample time for keynotes, Q&A sessions, panel discussions and social events. Participants will include practitioners and researchers in representation from industry, academia and government organizations active in the promotion and development of reliable software technologies. To mark the completion of the Ada language standard revision process, contributions that present and discuss the potential of the revised language are particularly sought after. Prospective contributions should address the topics of interest to the conference, which include but are not limited to those listed below: - Methods and Techniques for Software Development and Maintenance: Requirements Engineering, Object-Oriented Technologies, Model-driven Architecture and Engineering, Formal Methods, Re-engineering and Reverse Engineering, Reuse, Software Management Issues, Model Engineering.
  82. 82. - Software Architectures: Design Patterns, Frameworks, Architecture- Centered Development, Component and Class Libraries, Component-based Design. - Enabling Technologies: Software Development Environments and Project Browsers, Compilers, Debuggers, Run-time Systems, Middleware Components. - Software Quality: Quality Management and Assurance, Risk Analysis, Program Analysis, Verification, Validation, Testing of Software Systems. - Theory and Practice of High-integrity Systems: Real- Time, Distribution, Fault Tolerance, Security, Reliability, Trust and Safety. - Embedded Systems: Architecture Modeling, Co-Design, Reliability and Performance Analysis. - Mainstream and Emerging Applications: Multimedia and Communications, Manufacturing, Robotics, Avionics, Space, Health Care, Transportation. - Ada Language and Technology: Programming Techniques, Object- Orientation, Concurrent and Distributed Programming, Evaluation & Comparative Assessments, Critical Review of Language Features and Enhancements, Novel Support Technology, HW/SW Platforms.
  83. 83. - Experience Reports: Case Studies and Comparative Assessments, Management Approaches, Qualitative and Quantitative Metrics. - Ada and Education: Where does Ada stand in the software engineering curriculum; how learning Ada serves the curriculum; what it takes to form a fluent Ada user; lessons learned on Education and Training Activities with bearing on any of the conference topics. About Mutation 2009: -------------------------------- Mutation is acknowledged as an important way to assess the fault-finding effectiveness of tests sets. Mutation testing has mostly been applied at the source code level, but more recently, related ideas have also been used to test artifacts described in a considerable variety of notations and at different levels of abstraction. Mutation ideas are used with requirements, formal specifications, architectural design notations, informal descriptions (e.g. use cases) and hardware. Mutation is now established as a major concept in software and systems V&V and uses of mutation are increasing. The goal of the Mutation workshop is to provide a forum for researchers and practitioners to discuss new and emerging trends in
  84. 84. mutation analysis. We invite submissions of both full- length and short-length research papers as well as industry practice papers. Keynote Speaker: ----------------------- - Jeff Offutt, George Mason University, USA Topics of interest: ----------------------- - Mutation-based test adequacy criteria (theory or practical application). - Using mutation in empirical studies (e.g. studies that compare mutation with other testing techniques). - Industrial experience with mutation. - New mutation systems for programming languages (e.g. for languages not yet addressed, or offering improvements on existing ones) and for higher-level descriptive notations (e.g. formal specification notations and architectural design notations). - Novel applications of mutation including mutation for QoS properties (security, performance, etc.) - Case studies and experience reports on industrial applications of formal methods, focusing on lessons learned or identification of new research directions. - Impact of the adoption of formal methods on the development process and associated costs. - Application of formal methods in standardization and industrial forums.
  85. 85. SCOPE OF THE WORKSHOP --------------------- The aim of the ERCIM FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops bring together scientists and engineers that are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. These workshops also strive to promote research and development for the improvement of formal methods and tools for industrial applications. Topics include, but are not restricted to: - Design, specification, code generation and testing based on formal methods. - Methods, techniques and tools to support automated analysis, certification, debugging, learning, optimization and transformation of complex, distributed, real-time systems and embedded systems. - Verification and validation methods that address shortcomings of existing methods with respect to their industrial applicability (e.g., scalability and usability issues).
  86. 86. - Tools for the development of formal design descriptions. 2nd International Workshop on the Certification of Safety-Critical Software Controlled Systems Scope In many domains like transportation, power generation, medical technology, manufacturing and space exploration, statutory obligations traditionally require a formalized certification for the development of high assurance products. Formal methods are part of the standard recommendations, in particular for the higher safety integrity levels. However, experience shows that certifiable development of high-assurance software needs a lot more than pure application of formal techniques and tools that are founded on a formal semantics and support in parts automated code generation, formal analysis, verification or error detection. The major question to be addressed in the workshop is how to embed formal methods and tools in a seamless design process which covers several development phases and which includes an efficient construction of a safety case for the product.
  87. 87. Languages, Models, and Architectures for Concurrent and Distributed Software 11th International Conference Member of the Federated Conferences on Distributed Computing Techniques Lisbon, Portugal 9 - 12 June 2009 --------------------------------------- ---------------------------------- http://discotec09.di.fc.ul.pt/coordination Scope Modern software lives in a concurrent world. The ubiquity of the Internet allows distributed software components to be composed into complex networked systems. At the other end of the spectrum, with multicore processors now the norm. Hence applications are bound to be inherently concurrent and communication centered. Coordination 2009 seeks high-quality papers on programming languages, models, and architectures that address the challenge of building robust distributed and concurrent applications. The conference focuses on the
  88. 88. design and implementation of models that allow compositional construction of large-scale concurrent and distributed systems, including both practical and foundational models, runtime systems, and related verification and analysis techniques. Past incarnations of Coordination have emphasized foundations. However, given the increasing importance of concurrency in almost every software domain, the organizers of Coordination 2009 are keen to provide a strong forum for high-quality papers that address practical aspects of concurrent programming models; e.g.: application of concurrency to novel domains, comparisons of alternative programming models on important problems, or domain-specific languages. Topics of Interest DISTRIBUTED AND CONCURRENT PROGRAMMING MODELS: multicore programming, stream programming, data parallel programming, event-driven programming, web programming FOUNDATIONS OF DISTRIBUTED AND CONCURRENT INTERACTION: models for processes, service composition and orchestration, workflow management, data query, tuple spaces
  89. 89. SPECIFICATION, VERIFICATION, AND TYPES: modeling and analysis of types and properties related to security, dependability, resource consumption, and component conformance for concurrent and distributed systems HIGH-LEVEL OPTIMIZATIONS: program transformations for performance enhancement, runtime load balancing techniques, static and dynamic resource management QUALITY OF SERVICE: fault-tolerant programming models and runtime support, models with responsiveness guarantees DISTRIBUTED SOFTWARE MANAGEMENT: component and module systems for distributed software, dynamic software evolution and update technologies, configuration and deployment architectures SYSTEM SUPPORT FOR PROGRAMMING MODELS: P2P frameworks, mobile ad-hoc networks, sensor networks, publish-subscribe systems, event processing CASE STUDIES: application of novel distributed and concurrent techniques in business process modeling, e- commerce, factory automation, collaboration, command and control
  90. 90. 9th IFIP International Conference on Distributed Applications and Interoperable Systems The 9th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS) is part of the federated conferences DisCoTec (Distributed Computing Techniques), together with the 11th International Conference on Coordination Models and Languages (COORDINATION) and the IFIP International Conference Formal Methods for Distributed Systems (FMOODS/FORTE). The DisCoTec conferences jointly cover the complete spectrum of distributed computing subjects ranging from theoretical foundations to formal specification techniques to practical considerations. The event will be hosted by the Faculty of Sciences of the University of Lisbon. OBJECTIVES AND SCOPE: Established in 1997, the DAIS series of conferences aims to provide an integrated forum for research on all aspects of distributed applications and interoperable systems. This includes methods, techniques, and system infrastructures needed to design, build, operate,
  91. 91. evaluate, and manage modern distributed applications in any kind of application environments and scenarios. DAIS 2009 conference themes include, but are not =20 limited, to: Innovative distributed applications in the areas of - Cloud and enterprise computing - Very large scale and peer-to-peer computing - Mobile, context-aware, and pervasive computing - Sensor networks and ad-hoc networks Models and concepts supporting distributed applications with respect to - Sustainability - Dependability and resilience - Evolution - Energy efficiency Middleware supporting distributed applications in the areas of - Autonomic and resilient systems - Mobile systems - Context- and QoS-aware systems Evolution of service-oriented applications - Enterprise-wide and global integration - Semantic interoperability - Application management
  92. 92. Software engineering of distributed applications Domain-specific modelling languages - Model-driven software development, testing, validation, and adaptation - Model evolution - Software architecture and patterns The International Workshop on Intelligent Service Management (ISM'09) Mission ------- Service-oriented computing has emerged as the most promising design paradigm for distributed information systems. The vision of service-oriented computing is to capture business relevant functionalities of existing software systems as services and use service composition to form composite applications. While this vision has yet to be achieved in practise, in particular the application of intelligent systems and techniques promises significant advancements for an adaptive and reliable construction and management of service-oriented applications and systems. The purpose of the workshop is to present and discuss recent significant developments at the intersections of service-oriented computing and
  93. 93. intelligent systems and technologies, and to promote cross-fertilization of ideas and techniques between these fields. In particular, the workshop focuses on techniques from multi-agent systems and artificial intelligence research for an automated construction and management of service-oriented applications/composite services. This includes critical challenges such as agent- based service composition management, self-managed service compositions, intelligent management of service quality concerns, adaptive and reliable evolution and optimization of services. Topics ------ ISM'09 encourages a multidisciplinary perspective and welcomes papers that address intelligent management of service-oriented applications and systems in general or in the context of specific domains. Workshop topics of interest include, but are not limited to the following: * Intelligent techniques for determining quality requirements for SOA-based systems * Intelligent deployment, monitoring, control and exception-handling for service execution and delivery * Agent-based negotiation and management of service quality aspects * Intelligent Service Level Agreement lifecycle management mechanisms (development, negotiation, deployment, monitoring, compliance evaluation,
  94. 94. termination) * Agent-enabled adaptation, evolution, and optimization of services and processes * Intelligent management frameworks and platforms for service- oriented computing * Agent-based service composition, orchestration, and choreography * Self-managed service compositions and processes that exhibit intelligent adaptive and autonomic properties * Integration and management of agent-based services and service- oriented agents * Resource models for intelligent management of specific QoS requirements * Intelligent management of the QoS mapping between business processes and the underlying SOA-based systems * Autonomic and intelligent QoS management in SOA- based systems * Applications and case studies of intelligent service management Product Focused Software Development and Process Improvement THEME & SCOPE The conference themes 'professional software process improvement (SPI)', 'product focused improvement', 'collaborative' and 'agile software development' address approaches that cover systems and software quality management and improvement, software development
  95. 95. applying agile principles and collaborative software development in a global context. The themes cover both solutions and experiences found in practice as well as research results from academia. The conference deals with SPI extensively including quality engineering and management topics focused on the product to be developed, thus related to processes, methods, techniques, tools, organizations, and enabling SPI technologies ensuring certain characteristics of the product. The conference addresses collaborative development both as "one-roof", "outsourced", and "offshored" development, and also deals with different development modes, roles in the value-chain, and stakeholders' viewpoints, as well as economic and quality aspects. Agile development is considered both as "agile in the small" and "agile in the large". Agile development shows a tremendous increase in productivity in one-roof development, and is considered for being applied in large projects as well. The conference provides a variety of up-to-date topics and tackles industry problems. Medical, automotive, space & avionic systems, mobile applications, and critical infrastructures are rapidly growing software application areas with a strong need for professional development and improvement. Nowadays, the majority of embedded software is developed in collaboration, and distribution of embedded software development continues to increase.
  96. 96. Therefore, keynote speaches, paper presentations, and discussions on the following topics will be offered. TOPICS The main topics of the conference include: * Product Focused SPI * Systems and Software Process Improvement * Systems and Software Quality * SPI Methods and Tools * Measurement * Quality Models * Experimental Software Engineering * Evidence-based Software Engineering * Industrial Experiences and Case Studies * Process Modeling and Management * Global Development * Outsourcing, Nearsourcing, Offshoring * Cultural Factors * Agile Software Development * Process Assessment * Quality Standards * SPI in Different Software Development Areas * Cost Estimation * Risk Management * Best Practices * Lessons Learned * Organizational Learning/Experience Factory In the domains of: * Automotive and Transportation Systems
  97. 97. * Mobile Applications * Consumer Electronics * Telecommunications * Embedded systems -- Models and Aspects - Handling Crosscutting Concerns in MDSD -- Both, Model-Driven Software Development (MDSD) and Aspect-Oriented Software Development (AOSD) are considered important new paradigms in modern software engineering. While the two approaches are different in many ways - MDSD adds domain-specific abstractions, while AOSD is currently primarily seen as an implementation technique - they also have many things in common - for example they both have a query phase followed by a construction phase. But more importantly, we think that it is useful to use both techniques in combination. Two examples for combining MDSD with AOSD could be aspect-oriented modeling combined with code generation, or the generation of pointcuts for AO languages from a domain model. Potential topics include, but are not limited to: - handling crosscutting concerns in modeling
  98. 98. - aspect weaving in models - measuring the maintainability benefits of models and aspects - using models to overcome the fragile pointcut problem - case studies that show the benefits of models and aspects Enterprise Information Systems WEISE ------------------------------------- Enterprise Information Systems Engineering develops the methodologies and technologies to represent, design, implement, analyze and maintain the several aspects of enterprise information systems. The intricate relationships between business strategy, or-ganizational structure, business processes and information systems require enterprises to resort to powerful modeling tools in order to represent and trace those dependencies in an accurate blueprint. They also require methods and techniques to turn blueprint into practice by means of predictable, controlled implementation patterns that promote and preserve organization self-awareness throughout. As it encompasses multi-disciplinary topics such as business process modeling, enterprise information modeling, enterprise ontologies, enterprise

×