* 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.
- 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
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
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
- 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;
* 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
* 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
- 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
- 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
- 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
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
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 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 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
- 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
- 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
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. 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)
* 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
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.
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.
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
- 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
- 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
- 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
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:
..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)
4th International Workshop on Automated
Specification and Verification
of Web Sites (WWV'08)
July 4, 2008, Siena (Italy)
co-located with WFLP'08
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 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)
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
Barbara)
Computers and Security (Elsevier) Journal Special Issue on "Software Engineering for Secure Systems"
http://www.elsevier.com/wps/find/journaldescription.cws_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
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 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
* 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 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
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 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.
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
* 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 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
* 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
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 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
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
- 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
- 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
- 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 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.
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
* 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
* 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)
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:
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
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
* 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 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 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
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 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 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.
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 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/
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
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);
* 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;
* 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:
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 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.
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
- 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.
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 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.
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:
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
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/Middleware_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 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
- 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 .
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
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 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
* 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.
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 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.
- 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.
- 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 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.
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).
- 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.
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 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
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
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, 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
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 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,
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 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.
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
* 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
- 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 architectures and service-oriented architectures, Enterprise Information Systems Engineering aims at consolidating these technologies into a holistic framework for developing and operating information systems within and across organizations.
The 2nd International Workshop on Enterprise Information Systems Engineering (WEISE) held in conjunction with DEXA provides an opportunity for researchers and practitioners alike to openly discuss current practices, identify critical issues, and lay the foundation for continuing developments in this area.
Topics
-------------------------------------
Topics of interest include, but are not limited to the following areas:
* Enterprise information systems modeling, analysis and design.
* Enterprise frameworks and architecture.
* Enterprise modeling languages and standards.
* Enterprise ontology and semantics.
* Business process management.
* Business process modeling and design.
* Business process mining, discovery and analysis.
* Method engineering and reference modeling.
* Frameworks for enterprise information systems cooperation, interoperability and integration.
* Service-oriented enterprise architecture.
* Enterprise information systems research, methodologies and theoretical foundations.
* Case studies and applications.
AI in Software Engineering
Machine Learning (Unsupervised & Supervised learning)
Text Mining & Retrieval
Probabilistic Reasoning
Model Learning
Expert Systems
Neural Networks
Data Mining
Evolutionary algorithms
Ranking Algorithms
in
Software Requirements
Software Architecture
Software Methodologies
Software Algorithms
Software Design
Software Performance Engineering
Software Quality
Software Reliability
Object-Oriented Analysis and Design
Software Maintenance
Software Testing
Software Metrics
Software Project Management
Software Cost Estimation
Open Source Software
Software Repository Management
Workshop on Automated
Specification and Verification
SCOPE
The increased complexity of Web sites and the explosive growth of
Web-based applications has 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 domain with automated and reliable tools that also
incorporate semantic aspects.
We solicit original papers on formal methods and techniques applied
to Web sites, Web services or Web-based applications, such as:
* rule-based approaches to Web site analysis, certification,
specification, verification, and optimization
* formal models for describing and reasoning about Web sites
* model-checking, synthesis and debugging of Web sites
* abstract interpretation and program transformation applied
to the semantic Web
* intelligent tutoring and advisory systems for Web specifications
authoring
* Web quality and Web metrics
* Web usability and accessibility
* Testing and evaluation of Web systems and applications
Aspects, Dependencies and Interactions (ADI 2008)* Harnessing the diversity of approaches to interaction resolution Affiliated to ECOOP 2008, July 7 - 11, Paphos, Cyprus
Interaction problems between different modules, program parts or units of specifications are a central challenge to many program structuring paradigms, including Aspect-Oriented Software Development, feature-based programming and component- based software engineering. Furthermore, interaction problems are relevant to all phases of the software development life
cycle: from requirements through to implementation and often exert a broad influence on these concerns, e.g. by modifying their semantics, structure and / or behavior. Such dependencies often lead to both desirable and unwanted or unexpected behaviors of large-scale applications.
This workshop is focused on identifying, understanding, and resolving all kinds of issues related to such dependencies and interactions, by bringing together researchers and practitioners from across the whole spectrum of software development activities and methodologies.
We encourage submissions investigating the problems of such dependencies and interactions and handling them at all levels:
- starting from the early development stages (i.e., requirements, architecture, and design), looking into dependencies between requirements (e.g. positive / negative contributions between aspectual goals, etc.) and interactions caused by aspects (e.g. quality attributes) in requirements, architecture, and design;
- analyzing these dependencies and interactions both through modeling and formal analysis;
- considering language design issues which help to handle such dependencies and interactions;
- studying such interactions in applications.
*Goal of the workshop* is to continue the wide discussion on aspects, dependencies and interactions, started at ADI 2006 and continued at ADI 2007, thus investigating the lasting nature of such dependency links across all development activities. It is hoped that input from both research and practice will help to progress the understanding and solutions to this complex subject.
*Topics of interest* include, but are not limited to:
- Evaluation or definition of interaction analyses and corresponding resolution methods that harness methods and techniques from different research fields;
- Requirements, architecture, design, and language level techniques and mechanisms for interaction/dependency detection and/or resolution;
- Interaction classification, types of dependencies and interactions;
- New methods and techniques for the analysis and resolution of interactions;
- Methods for the formal representation and analysis of dependencies and interactions;
- Mechanisms for interaction detection and handling in domain-specific languages;
- Interaction detection and analysis in specific applications (e.g. middleware for pervasive and mobile systems, security applications, persistence management, etc.);
- Tool support for any of the above;
- Case studies of practical interactions.
Software Engineering for REsilieNt systEms
The SERENE 2008 workshop is an international forum for researchers
and practitioners interested in the advances in Software Engineering
for Resilient Systems. SERENE 2008 views resilient systems as open
distributed systems that have capabilities to dynamically adapt,
in a predictable way, to unexpected and harmful events, including faults
and errors. Engineering such systems is a challenging issue which needs
urgent attention from and combined efforts by people working in various
domains. Achieving this objective is a very complex task, since it
implies reasoning explicitly and in a consistent way about systems
functional and non-functional characteristics.
SERENE advocates the idea that resilience should be explicitly included
into traditional software engineering theories and practices and should
become an integral part of all steps of software development. As current
software engineering practices tend to either capture only normal
behaviour,
or to deal with all abnormal situations only at the late development
phases, new software engineering methods and tools need to be developed
to support explicit handling of abnormal situations through the whole
software life cycle. Moreover, every phase of the software development
process needs to be enriched with the phase-specific resilience means.
SCOPE:
The following constitutes a list of the key software engineering domains
that the SERENE workshop will focus on. This list should not, however,
be considered as closed or technically restrictive:
- Formal and semi-formal modelling of resilience properties
- Re-engineering for resilience
- Software development processes for resilience
- Requirement engineering processes for resilience
- Model Driven Engineering of resilient systems
- Verification and validation of resilient systems
- Error and fault handling in the software life-cycle
- Resilience through exception handling in the software life-cycle
- Frameworks and design patterns for resilience
- Software architectures for resilience
- Component-based development and resilience
- System structuring for resilience
- Atomic actions
- Dynamic resilience mechanisms
- Resilience prediction
- Resilience metadata
- Reasoning and adaptation services for improving and ensuring
resilience
- Intelligent and adaptive approaches to engineering resilient systems
- Engineering of self-healing autonomic systems
- Dynamic reconfiguration for resilience
- Run-time management of resilience requirements
- CASE tools for developing resilient systems
Synchronous and Asynchronous Interactions in Concurrent Distributed Systems
Interaction and Concurrency Experiences (ICEs) is intended as a series
of international scientific meetings oriented to researchers in
various fields of theoretical computer science. The timeliness and
novelty of these events relies both on the variety of the topics that
will be treated on each event and on the adopted paper selection
mechanism.
Every experience will focus on a different specific topic which
affects several areas of computer science; A thorough scientific
debate among PC and authors of submitted papers will parallel the
reviewing process; After the paper selection phase, papers will be
published on the web and the discussion will be extended to
perspective participants.
-- Scope --
The scope of this first experience is to include theoretical and
applied aspects of interactions and the synchronization mechanisms
used among actors of concurrent or distributed systems. The workshop
intends to attract researchers interested in models, verification,
tools, and programming primitives concerning such complex
interactions.
Synchronisation mechanisms are one of the key aspects in concurrency
and they are becoming enormously relevant in modern distributed
systems. Theoretical models, design and verification of interaction
protocols and programming practice must take synchronisations into
account for specifying, implementing and reasoning on systems where
computations are spread across possibly many actors that interact
within a precise interaction framework.
At a low level of abstraction, systems can be classified according to
a wide spectrum, ranging between the two extremes of (completely)
synchronous or asynchronous interactions. In fact, such a
classification can be given according to the assumptions made on,
e.g., the number of participants or the time interactions need to be
effected. Significantly, the behaviour of such systems can be
investigated using different assumptions that yield different
expressiveness or complexity results.
Several recent theoretical results shed light on the interrelations
between synchronous and asynchronous interaction mechanisms (e.g.,
expressiveness results for distributed algorithms, relations among
observational semantics of synchronous models). Interaction
mechanisms have also been studied in relation to other features of
systems such as mobility (e.g., name passing process calculi,
graph-based models).
-- Topics --
Topics of interest include, but shall not be limited to:
- models, logic and types for interactions;
- synchronous/asynchronous mechanisms;
- expressiveness results;
- timed and hybrid interactions;
- verification, analysis and tools;
- programming primitives for interactions;
- interactions as coordination mechanisms;
- interactions inspired by emerging computational models (systems
biology, quantum computing, etc.).
Object-Oriented Software Development for the Embedded World
Overview
The purpose of this workshop is to bring hardware and software
communities
closer together in order to explore the current and future challenges in
application development and integration in different embedded system
domains. We wish to examine software engineering technologies for
addressing those challenges, without neglecting the often stringent
constraints imposed by hardware.
Description
New challenges arise in embedded software development in addition to the
traditional ones of power efficiency, memory usage and execution time.
Productivity, and thus time to market, become serious issues
due to the shift at the application level and new developments at the
hardware level, for example:
- several interactive or dynamic applications, often from different
vendors,
have to be mapped to multi- or even many-core processor architectures
- distributed applications have to run on a number of devices
such as regular PCs, nomadic battery-operated consumer devices, and/or
programmable sensors
- device mobility and hardware failure, e.g. due to sub 32 nm
technology, make unreliability the rule rather than the exception
In traditional software engineering the application-level problems are
far from
new: numerous approaches deal with application integration,
higher-level languages and tools improve productivity, tried-and-true
software architectures exist for distributed applications, and so on.
Nevertheless, the very nature of embedded systems imposes additional
constraints on objectoriented software development. One of the most
stringent constraints continues to be resource efficiency,
especially with respect to power consumption. The central question of
the
workshop will be how we can adapt and transfer the knowledge in
object-oriented software development to address these issues in embedded
systems.
Topics of Interest
Topics of interests include, but are not limited to:
- assessing and dealing with limited performance, limited amounts of
memory,
and the requirement of minimal power consumption prevalent in
resource-constrained
embedded devices on object-oriented technologies;
- virtual machines and runtime architectures for
object-oriented languages for embedded systems;
- object-oriented language features for embedded devices;
- supporting heterogeneous architectures of embedded devices
(combining a CPU with a DSP, for example) with object-oriented
technology;
- dealing with adaptability, heterogeneity and mobility in embedded
devices;
- software techniques and tools for optimizing code for embedded
devices;
- object-oriented operating systems for embedded devices;
- resource-aware computing.
Model-based Testing
Background
----------
Costs entailed by software failures demonstrate that the systematic
development of software in a certain quality is still a challenge, even
after decades of research. A reason for this can certainly be found
within the single projects. Often, known techniques of quality
assurance are not employed as required due to deadline and budget
restrictions. However, another reason is also the lack of techniques
for quality assurance for specific types of software and software
developed according to specific programming and modeling techniques.
Testing is one of the important analytical techniques of quality
assurance. In model-based testing, the software under test is considered
by the means of a model that focuses on certain aspects, often on the
behavior of the software under test. Models frequently used are finite
state machines and flow graphs. Testing techniques based on such models
are, for instance, formal verification, control and data flow analysis,
and also model checking.
This workshop aims at giving researchers and practitioners a platform
to present their results and experience to a broader audience.
The topics of interest include, but are not limited to:
* Models and modeling notations for programming and testing
* Test case generation based on formal and semi-formal models
* Test coverage metrics and criteria for model-based testing
* Model-based verification and validation
* Models as test oracles, test validation with models
* Formal methods and theories in model-based testing
* Application of model checking in testing
* Simulation by models, forecasts of behavior and properties by models
* Model-based testing of reactive and object-oriented systems
* Model-based verification and validation of tests
* Testing with software usage models
* Tools for model-based testing
* Experience reports and requirements from model-based testing in
practice
* Experience reports from model-based testing and model-based
development in practice
Applications and Advances in Problem Frames
DESCRIPTION
It is our pleasure to invite you to participate in the
ICSE co-located Third International Workshop on Applications and
Advances of Problem Frames - IWAAPF'08.
Michael Jackson's Problem Frames are a highly promising approach to
early life-cycle software engineering. Their focus moves the engineer
back to the problem to be solved rather than forward to the software
and solving a poorly defined problem. The influence of the Problem
Frames approach and related work is spreading in the fields of domain
modelling, business process modelling, requirements engineering,
software architecture as well as software engineering in general. The
3rd International Workshop on Advances and Applications of Problem
Frames will continue the success of IWAAPF'04 and IWAAPF'06, held at
ICSE'04 and ICSE'06, respectively.
There are 14 excellent papers to be presented and discussed at the
workshop this year. Some describe work completed and others work in
progress. There are variants of Problem Frames, ontologies for Problem
Frames, and the continuing work on taking Problem Frames closer to the
solution space and more traditional software engineering techniques.
Service-Oriented Architecture (SOA) is having a substantial impact on the way software systems are developed. Although significant progress is being made in several fronts, there is not a set of clear, central themes to focus research activity. As a result, there is a danger that important research needs will be overlooked, while other efforts will focus on issues of peripheral long-term significance in practice. This workshop will refine the SOA Research Agenda that was developed by SEI and an international team in 2007 and will follow up on the 1st SDSOA workshop held at ICSE 2007.
At SDSOA 2007, the following topics were identified by the attendees as challenge areas in SOA-based systems development
* Techniques for the integration and composition of services in an SOA environment
* Service Level Agreements (SLAs) in an SOA context
* Migration of systems to SOA environments
* Design and validation of properties/service qualities in SOA-based systems
* Economics of SOA: cost to build a service vs. revenue that can be generated by a service
* Managing SOA-based systems in the context of the software life cycle
* Analysis of business processes and their relationship to runtime services
* Challenges of SOA-based systems engineering vs. traditional software engineering
* Distributed computing concepts and their application in a SOA context
* Role of semantics in SOA-based systems
* Runtime monitoring and adaptation in SOA-based systems
* Role of education: how to teach the skills that are necessary in SOA environments
Cell Systems
The increasing needs of present and future computation-intensive
applications have stimulated research in new and innovative approaches
to the design and implementation of high-performance computing
systems. At the same time, adoption of compute-intensive techniques
in the embedded and consumer space offers new challenges in the areas
of heat and temperature dissipation, integration, packaging and system
cost.
The Cell Broadband Engine answers the multiple challenges on
increased performance and integration and reduced system cost and
power dissipation by presenting an integrated system architecture
based on a heterogeneous chip multiprocessor with accelerators. Papers
are sought on theory, methodologies, technologies, and implementations
concerned with innovations in heterogeneous system architectures,
computing paradigms, computational models, architectural paradigms,
computer architectures, development environments, compilers, operating
environments and in particular libraries and applications. Papers are
solicited in, but not limited to, the following areas:
* Application porting and tuning for Cell BE architectures
* Acceleration middleware and non-numeric acceleration
* Programming languages and programming models for heterogeneous systems
* Exploiting explicitly managed memory hierarchies in applications
* Data management and blocking for local stores
* Architecture improvements for heterogeneous architectures and
explicitly managed memory hierarchies
* Use of consumer embedded devices for computational grids
* Virtualization and virtual machines for heterogeneous architectures
* Compilers and operating systems
* Workload characterization of emerging applications and their performance
on heterogeneous architectures
* Traditional and emerging high-performance applications
* Supercomputing and adaptation, porting and tuning of scientific libraries
for Cell systems
* Using accelerator-based architectures to accelerate managed runtime
environments
* Novel system architectures based on the Cell BE
* Computational biology
Quality Aware Design
Scope:
The quest for higher performance in the face of
late CMOS era technological
constraints, has resulted in chip/system
architecture and design trends that are
increasingly more complex. In addition to multiple
cores, with heterogeneous
accelerator sub-cores, it is common to find
multithreaded execution supported by
each primary core within each chip. The on-chip
cache hierarchy and interconnect
topologies are also increasingly more
sophisticated. On- and off-chip
(programmable) controllers to manage performance,
power, reliability and even
yield are becoming necessary to enable static and
dynamic optimization across a
multi-dimensional state space. The software
programmability issues in multi-core
chip offerings are emerging as a potentially major
inhibitor to peformance and
end-user quality of service, especially in systems
that demand adherence to
real-time response. As such, the ability to ensure
design quality, delivered
product quality and eventual quality of service to
the end-user, have become
much more challenging than in the past. Design
quality is measured in terms of
ease of testing, verification, development cost and
achieved pre-product
performance; product quality is measured in terms
of in-field system reliability
(availability), performance, usability
(programmability), security and cost of
ownership. Power and thermal efficiency dictate
issues related to reliability
and cost of ownership quite directly. In this
workshop, we focus on research and
development geared toward quality-conscious system
architectural design: i.e.,
design paradigms and methodologies that worry about
aspects of quality from the
very early stages of microarchitecture definition
and design.
Topics of interest include, but are not limited to:
** Composite metrics to quantify quality in terms
two or more of the four (QUAD) primary pillars:
-- reliability/availability: tolerance to
errors (due to faults and bugs, permanent, transient or intermittent)
-- complexity: dictates test/verification cost,
usability, programmability, productivity, etc.
-- power/thermal efficiency: dictates cost of
ownership
-- performance: basic quality metric of
computing systems
** Error tolerant architectures and related
modeling
-- hard/soft errors
-- design defects
-- software bugs
** Complexity-effective architectures, including:
-- Verification-friendly designs
-- Designs that support ease of test and
burn-in
-- Programmer-friendly designs
-- Yield-effective designs
** Power- and temperature-efficient architectures
-- Robustness of power management control
algorithms
-- Hot-spot mitigation
-- QoS friendly power/thermal management
-- Supply voltage noise mitigation
** Architectures that consider end-user quality
of service
-- Security and privacy issues in chip design
-- Power-performance-reliability tradeoff
features at user or application level
Automating Test Case Design, Selection and Evaluation
Povoa de Varzim, Portugal,
17-20 June de 2009
(In conjunction with the 4th Conferencia Iberica de Sistemas y Tecnologias de la Informacion)
Trends such as globalisation, standardisation and shorter lifecycles =20 place great demands on the flexibility of the software industry. In order to =20=
compete
and cooperate on an international scale, a constantly decreasing time =20=
to market
and an increasing level of quality are essential. Software and systems =20=
testing
is at the moment the most important and mostly used quality assurance =20=
technique
applied in industry. However, the complexity of software systems and =20 hence of their development is increasing. Systems get bigger, connect large =20 amounts of components that interact in many different ways, and have constantly =20 changing and different types of requirements (functionality, dependability, =20 real-time, etc.). Consequently, the development of cost-effective and high-=20 quality systems opens new challenges that cannot be faced only with traditional =20 testing approaches.
New techniques for systematization and automation of testing are =20 required.
Even though many test automation tools are currently available to aid test planning and control as well as test case execution and monitoring, all these tools share a similar passive philosophy towards test case design, selection of test data and test evaluation. They leave these crucial, time-consuming and demanding activities to the human tester. This is not without reason; test case design and test evaluation are difficult to automate with the techniques available in current industrial practice. The domain of possible inputs (potential test cases), even for a trivial program, is typically too large to be exhaustively explored. Consequently, one of the major challenges associated with test case design is the selection of test cases that are effective at finding flaws without requiring an excessive number of tests to be carried out. This is the problem which thisworkshop wants to attack.
This workshop will provide researchers and practitioners a forum for =20 exchanging ideas, experiences, understanding of the problems, visions for the =20 future, and promising solutions to the problems in automated test case generation, =20=
selection
and evaluation. The workshop will also provide a platform for =20 researchers and developers of testing tools to work together to identify the problems =20=
in the
theory and practice of software test automation and to set an agenda =20 and lay the foundation for future development.
The First IEEE International Workshop on Middleware Engineering(ME 2009) In Conjuction with The 33rd Annual IEEE International Computer Software and Applicaiton =20 Conference
Seattle, Washington, July 20 - July 24, 2009
Workshop website: =
http://conferences.computer.org/compsac/2009/workshops/ME2009.html
Conference Website : http://conferences.computer.org/compsac/2009/
+++++ Deadline for Paper Submissions : March 1 2009 ++++++++++
COMPSAC 2009
------------
COMPSAC is a major international forum for researchers, practitioners, =20=
managers, and policy makers interested in computer software and =20 applications.
MIDDLEWARE ENGINEERING Workshop
-------------------------------
Research in middleware systems has evolved from simple client server =20 modelsto distributed systems, peer-to-peer (P2P) systems, mobile =20 devices, service oriented computing, grid computing, agent based =20 computing, smart devices,and sensors. Each of the above areas poses =20 its own unique challenges in the design, development and deployment of =20=
middleware, its components and applications using such middleware.
The main objective of the workshop is to bring together researchers =20 and practitioners working in middleware systems with topics ranging =20 from differentareas such as distributed computing, grid computing, =20 service oriented computing, pervasive computing, P2P computing, agent =20=
based systems and sensor networks under one roof with an aim of =20 encouraging exchange of ideas and experiences among these diverse =20 communities. We solicit papers dealing with design, development and =20 deployment of middleware and its systems. We are alsointerested in =20 specific components of middleware systems, the way they interact with =20=
other modules, components design and development, models of the =20 components, middleware system issues and also novel computational =20 sciences applications using middleware systems.
TOPICS OF INTEREST
------------------
The topics include, but are not limited to:
+ Middleware for collaborative applications Middleware for agent based
+ systems Middleware for service oriented systems Middleware for mobile
+ and ubiquitous computing Middleware for computational sciences
+ applications Middleware for high performance computing applications
+ Middleware for embedded systems and sensor networks Middleware
+ solutions for Security, Privacy and Trust Middleware for distributed
+ systems including databases, P2P, and =20
grid based systems
+ Middleware issues for real time systems Software engineering
+ techniques for middleware Novel applications using middleware
+ Evaluation metrics and bench mark systems for middleware Specific
+ components of middleware such as : device discovery, =20
directory service, execution service, listening service, communication =20=
service, and data access service
Fourth ACM International Workshop on
Services Integration in Pervasive Environments (SIPE'2009) http://sipe09.conf.citi.insa-lyon.fr
at International Conference on Pervasive Services (ICPS'2009) http://acet.rdg.ac.uk/~mab/tmp/ICPS/
London, UK, July 13-17, 2008
In the last years, service-oriented computing and pervasive computing are emerging as the next computing paradigms. Service-oriented computing allows to easily develop, publish and use software functionalities. Pervasive computing rests on mobile and/or embedded devices, available anywhere and anytime, that can potentially provide services. Bringing these two trends together raises the new challenge of integrating/unintegrating, in an application, non- predefined services just discovered in the pervasive environment.
Three main sub-areas of this challenge are tackled in this workshop:
- Frameworks/Infrastructures for services integration: different developing frameworks exist and can be used or modified to ease services integration; different deployment infrastructures also exist and can be adapted to take into account the pervasive nature of the environment.
- Services interactions: allowing non-predefined services to interact implies to have "smart" and adaptive matching and communication mechanisms.
- Dynamic combining of services: because pervasive environments are highly dynamic, the integration of services needs to be aware of context changes to choose the more appropriate combining/deployment techniques.
Topics of interests (but not limited to)
----------------------------------------
- Developing frameworks for services integration
- Deployment infrastructures for services integration
- Semantic services discovery and matching
- Adaptive communication protocols for pervasive services
- Context-aware integration
- Aspect-oriented approaches in pervasive environments
- Services composition and choreography in pervasive environments
- Integration strategies
- Monitoring and management of services integration
- Contracting and negotiating approaches of integration
- Ontologies of integration
- Secure pervasive integration
- Business integration approaches for pervasive services
- Enterprise service integration
- Autonomic integration
Special issue
Ontology, Conceptualization, Epistemology and Knowledge Engineering for Service Science, Information Systems and Software Engineering
International Journal of Software Engineering and Knowledge Engineering
(IJSEKE)
<http://www.worldscinet.com/ijseke/ijseke.shtml>
http://www.worldscinet.com/ijseke/ijseke.shtml
Organized by members of the ONTOSE Workshop series (this year collocated with CAISE):
<http://conf.ifit.uni-klu.ac.at/ontose/>
http://conf.ifit.uni-klu.ac.at/ontose/
Aims, Scope and Topics
---------------------------------
In our society which has already turned to a service-providing =20 society, the technical aspects as well as the human, social and economic aspects =20 must be considered together. This has already resulted in considerable =20 research on these aspects that are related to disciplines as Information Systems =20 (IS), Software Engineering (SE) and more recently Service Science (SS). =20 Service Science, Management and Engineering (SSME) or Service Science (SS) is an emerging academic discipline designed to develop the skills required =20 in the world's increasingly service-based economies. This new field will bring together ongoing work in computer science, operations research, =20 industrial engineering, business strategy, management sciences, social and =20 cognitive sciences, and legal sciences. SS connects with IS and SE as the latter disciplines deal with the arrangement of information and software that =20=
is
essential to a variety of service-providing organizations today. In consequence, the examination of ontological, conceptual, =20 epistemological and engineering issues connecting these disciplines require a multi-=20 disciplinary viewpoint.
Topics related to ontological and epistemological issues in IS, SS and =20=
SE
include for example how empirical research should be conducted, what =20 are the conditions for "valid" knowledge, which models and entities are =20 essential to the discipline, and which the scope of theories in these fields are. =20 These are elements are of interest from perspectives as diverse as philosophy, engineering and information technology. For example, the material and temporal entities that are dealt with in these fields are a matter of ontology, and the conditions for credibility of statements and research methods are a matter of epistemology. Hence the relationship and =20 influences between software, software processes, information systems and service science must be studied from an ontological view point, but with a broad perspective under which researchers with different background can meet together and truly multi-disciplinary issues can arise. Further, the =20 broad applied discipline of knowledge engineering supports the formalization =20=
of
the underlying models, making these models useful and actionable through software tools.
The representation of entities, statements and models in IS, SE and SS =20=
share
common aspects in notions as process, service or value. SS has strong =20=
links
with Software Engineering since complex service systems in many cases =20=
need
to be supported by software and software processes that are flexible =20 enough to adapt to the design of service offerings. It also has connections =20 with Information Systems as a research area, since services are the front =20 stage of virtually any kind of business today, and most of theses businesses =20=
and
organizations are supported by an explicitly designed Information =20 System.
The main goal of this special issue is to allow challenging and =20 promising cross-fertilization over the multidisciplinary research areas that =20 comprise the conceptual, ontological and epistemological issues of the =20 disciplines of SS, IS and SE. Contributions bridging several of the disciplines or =20 covering aspects of more than one of them are especially encouraged.
Topics therefore include (but are not limited to) the following:
=B7 Ontology and formal ontology representations of SE, SS and IS.
=B7 Knowledge representation and reasoning related to SE, SS and IS
=B7 Studies and essays about metrics, indicators and general issues regarding research on Services and Systems Engineering.
=B7 Conceptualizations, bodies of knowledge or schemas for SS, SE or IS.
=B7 Social, psychological and organizational systemic issues about the disciplines.
=B7 Epistemological and philosophical aspects of service development and their supporting software-related processes.
=B7 Architectural patterns, ontologies and knowledge representations for the design of high-quality services.
=B7 UML and other modelling frameworks for services combined with IS and and SE.
=B7 Ontologies in requirements engineering, intensional and goal modelling in the context of services.
=B7 Ontology driven development of service software, or knowledge-based representations supporting service provision or service-related =20 processes.
=B7 Knowledge representation and models related to SS.
=B7 Conceptual models and representations of concerns cross-cutting SE, IS and SS.
Workshop Description
------------------------------
Software evolution and adaptation is a research area in continuous evolution, and offering stimulating challenges for both academic and industrial researchers.
The evolution of software systems, to face unexpected situations or just for improving their features, relies on software engineering techniques and methodologies. Nowadays a similar approach is not applicable in all situations e.g., for evolving nonstopping systems or systems whose code is not available.
Features of reflection such as transparency, separation of concerns, and extensibility seem to be perfect tools to aid the dynamic evolution of running systems. Aspect-oriented programming can simplify code instrumentation whereas techniques that rely on meta-data can be used to inspect the system and to extract the necessary data for designing the heuristic that the reflective and aspect-oriented mechanism use for managing the evolution.
We feel the necessity to investigate the benefits brought by the use of these techniques on the evolution of object-oriented software systems. In particular we would determine how these techniques can be integrated together with more traditional approaches to evolve a system and the benefits we get from their use.
This workshop can be a good meeting-point for people working in the software evolution area, and an occasion to present reflective, aspect- oriented and data mining based solutions to evolutionary problems, and new ideas straddling these areas.
Workshop Topics
------------------------
Particularly interesting for this workshop are works that focus the static or dynamic evolution of software systems. Techniques may vary to achieve this goal. In particular, they include but are not limited
to:
- adaptative software components and evolution as component composition;
- aspect-oriented middleware and environments for software evolution;
- evolution planning and deployment through aspect-oriented and reflective approaches;
- aspect interference and composition for software evolution;
- feature- and subject-oriented adaptation;
- unanticipated software evolution supported by AOSD or reflective techniques;
- MOF, code annotations and other meta-data facilities for software evolution;
- software evolution tangling concerns;
- metrics and other evaluation mechanisms to evaluate the impact of using reflection and/or AOP to get software evolution;
- AOP and reflection based design patterns to get software evolution;
- early aspect evolution, i.e., to design evolution by evolving the design information or the application in its early stages of development;
Mutation 2009: The 4th International Workshop on Mutation Analysis April 4, 2009, Denver, Colorado, USA
http://mutation2009.ist.tugraz.at/
Co-located with ICST 2009 (2nd International Conference on Software Testing, Verification and Validation)
We would like to heartily invite you to participate in the 4th International Workshop on Mutation Analysis. For registration details please visit the ICST 2009 website:
http://bitterroot.vancouver.wsu.edu/icst2009/
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 mutation analysis.
Platforms for Analysis, Design and Verification of Embedded Systems
Even after many years of work on unifying modelling frameworks, it is still the case that for a complex system, different models are built for different purposes. For example, a design model and a model for =20 performance analysis are built by different people, with different tools, and using different paradigms. This means that different aspects of a system are =20=
defined
by different models corresponding to different "views" of the system. =20=
The
resulting collection of views should be structured, that is the =20 semantics of each of these views related in order to form a complete specification =20=
of the
system to be implemented or validated. Central related questions are =20 defining and checking consistency: does the complete specification =20 characterizes at least one valid system? how can this be verified? preferably without =20 computing a global model, and how that consistency is preserved by the design cycle operations, such as refinement or composition? In addition, due to the heterogeneous nature of embedded systems, in the sense that they involve mechanical/hardware/software parts, different modeling paradigms and =20 tools are used for modelling different parts of the system, as different =20 paradigms are well adapted or accepted by the respective user community. Also here, =20=
the
challenge is reasoning on the composition of models of heterogeneous =20 nature using either different tools or a tool offering the capability to =20 unify very different paradigms without too much loss of abstraction.
* A related challenge is how reconcile early - speculative - =20 validation of non functional, platform related properties without imposing unnecessary partition constraints which turn out to be badly chosen at later =20 design stages.
* The introduction of new paradigms for designing specific classes of embedded systems and the trend towards adaptive, self-organizing, self-=20=
healing,
systems poses new challenges for the verification of embedded systems =20=
which in
the past has been mainly of static nature
* The increasing complexity, heterogeneity and ubiquity of embedded =20 systems leads to the emergence of new non functional properties for which =20 appropriate models and verification methods have to be developed. This is partly =20 addressed by the verification community, but the interaction between the design =20=
approaches
and the verification techniques are rarely studied.
* Increasingly, embedded systems are conceived as service oriented =20 systems where it should be possible to plug in new functionalities with a =20 reduced effort. This lead to the definition of component concepts which differ =20=
from
those used in pure functional or object oriented languages. Exploiting =20=
such
concepts for achieving designs which are both more flexible and easier =20=
to verify
remains a challenge. In particular such component based systems are =20
=93complex=94 in
the sense that the whole system may question properties of its sub =20 components, resulting on the emergence of system properties that could not be =20 deduced by reasoning on each component taken in isolation. This makes classical =20 and well studied modular reasoning difficult. Different notions of contracts =20 have been studied to address this issue.
Therefore, the workshop focuses on the integration of tool supported =20 analysis and validation techniques into a development process in the domain of =20=
embedded
systems. It is expected that the submitted contribution handle about =20 model-based approaches for the development of embedded systems with respect to the problematic of their validation or tools or case studies on the =20 integration of existing validation methods into design flows used in practice.
We consider a spectrum of topics related to the design of platforms =20 for building functionally correct embedded and complex systems with guaranteed =20 properties.
* Paradigms for designing specific classes of embedded systems and challenges for verifying non functional and platform related =20 characteristics
* Validation of complex architectures and system level analysis. This includes handling heterogeneity and multi-views from design to =20 validation or verification.
* Representations for systems, their platforms and their properties allowing their efficient exploitation by validation and code =20 generation tools
* Platforms for integrating validation and development: challenges and solutions
* Solutions for tool integration
* Adapting validation techniques to the type of functional/non =20 functional properties under study
* Studying emergence of properties in complex embedded systems
The Third IEEE International Conference on Cloud Computing (CLOUD 2010)
July 5-10, 2010, Miami, Florida, USA
Sponsored by the Technical Committee on Services Computing (IEEE Computer Society), the Third IEEE 2010 International Conference on Cloud Computing (CLOUD 2010) will be co-located with the 6th IEEE 2010 World Congress on Services (SERVICES 2010), the 8th IEEE 2010 International Conference on Web Services (ICWS 2010), and the 7th IEEE 2010 International Conference on Services Computing (SCC 2010) to grow itself to continute to be the most prestigious professional conference dedicated to cloud computing.
"Change we are leading" is the theme of CLOUD 2010. Cloud Computing has become a scalable services consumption and delivery platform in the field of Services Computing. The technical foundations of Cloud Computing include Service-Oriented Architecture (SOA) and Virtualizations of hardware and software. The goal of Cloud Computing is to share resources among the cloud service consumers, cloud partners, and cloud vendors in the cloud value chain. The resource sharing at various levels results in various cloud offerings such as infrastructure cloud (e.g. hardware, IT infrastructure management), software cloud (e.g. SaaS focusing on middleware as a service, or traditional CRM as a service), application cloud (e.g. Application as a Service, UML modeling tools as a service, social network as a service), and business cloud (e.g. business process as a service).
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 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.
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
* 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
- 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 architectures and service-oriented architectures, Enterprise Information Systems Engineering aims at consolidating these technologies into a holistic framework for developing and operating information systems within and across organizations.
The 2nd International Workshop on Enterprise Information Systems Engineering (WEISE) held in conjunction with DEXA provides an opportunity for researchers and practitioners alike to openly discuss current practices, identify critical issues, and lay the foundation for continuing developments in this area.
Topics
-------------------------------------
Topics of interest include, but are not limited to the following areas:
* Enterprise information systems modeling, analysis and design.
* Enterprise frameworks and architecture.
* Enterprise modeling languages and standards.
* Enterprise ontology and semantics.
* Business process management.
* Business process modeling and design.
* Business process mining, discovery and analysis.
* Method engineering and reference modeling.
* Frameworks for enterprise information systems cooperation, interoperability and integration.
* Service-oriented enterprise architecture.
* Enterprise information systems research, methodologies and theoretical foundations.
* Case studies and applications.
AI in Software Engineering
Machine Learning (Unsupervised & Supervised learning)
Text Mining & Retrieval
Probabilistic Reasoning
Model Learning
Expert Systems
Neural Networks
Data Mining
Evolutionary algorithms
Ranking Algorithms
in
Software Requirements
Software Architecture
Software Methodologies
Software Algorithms
Software Design
Software Performance Engineering
Software Quality
Software Reliability
Object-Oriented Analysis and Design
Software Maintenance
Software Testing
Software Metrics
Software Project Management
Software Cost Estimation
Open Source Software
Software Repository Management
Workshop on Automated
Specification and Verification
SCOPE
The increased complexity of Web sites and the explosive growth of
Web-based applications has 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 domain with automated and reliable tools that also
incorporate semantic aspects.
We solicit original papers on formal methods and techniques applied
to Web sites, Web services or Web-based applications, such as:
* rule-based approaches to Web site analysis, certification,
specification, verification, and optimization
* formal models for describing and reasoning about Web sites
* model-checking, synthesis and debugging of Web sites
* abstract interpretation and program transformation applied
to the semantic Web
* intelligent tutoring and advisory systems for Web specifications
authoring
* Web quality and Web metrics
* Web usability and accessibility
* Testing and evaluation of Web systems and applications
Aspects, Dependencies and Interactions (ADI 2008)* Harnessing the diversity of approaches to interaction resolution Affiliated to ECOOP 2008, July 7 - 11, Paphos, Cyprus
Interaction problems between different modules, program parts or units of specifications are a central challenge to many program structuring paradigms, including Aspect-Oriented Software Development, feature-based programming and component- based software engineering. Furthermore, interaction problems are relevant to all phases of the software development life
cycle: from requirements through to implementation and often exert a broad influence on these concerns, e.g. by modifying their semantics, structure and / or behavior. Such dependencies often lead to both desirable and unwanted or unexpected behaviors of large-scale applications.
This workshop is focused on identifying, understanding, and resolving all kinds of issues related to such dependencies and interactions, by bringing together researchers and practitioners from across the whole spectrum of software development activities and methodologies.
We encourage submissions investigating the problems of such dependencies and interactions and handling them at all levels:
- starting from the early development stages (i.e., requirements, architecture, and design), looking into dependencies between requirements (e.g. positive / negative contributions between aspectual goals, etc.) and interactions caused by aspects (e.g. quality attributes) in requirements, architecture, and design;
- analyzing these dependencies and interactions both through modeling and formal analysis;
- considering language design issues which help to handle such dependencies and interactions;
- studying such interactions in applications.
*Goal of the workshop* is to continue the wide discussion on aspects, dependencies and interactions, started at ADI 2006 and continued at ADI 2007, thus investigating the lasting nature of such dependency links across all development activities. It is hoped that input from both research and practice will help to progress the understanding and solutions to this complex subject.
*Topics of interest* include, but are not limited to:
- Evaluation or definition of interaction analyses and corresponding resolution methods that harness methods and techniques from different research fields;
- Requirements, architecture, design, and language level techniques and mechanisms for interaction/dependency detection and/or resolution;
- Interaction classification, types of dependencies and interactions;
- New methods and techniques for the analysis and resolution of interactions;
- Methods for the formal representation and analysis of dependencies and interactions;
- Mechanisms for interaction detection and handling in domain-specific languages;
- Interaction detection and analysis in specific applications (e.g. middleware for pervasive and mobile systems, security applications, persistence management, etc.);
- Tool support for any of the above;
- Case studies of practical interactions.
Software Engineering for REsilieNt systEms
The SERENE 2008 workshop is an international forum for researchers
and practitioners interested in the advances in Software Engineering
for Resilient Systems. SERENE 2008 views resilient systems as open
distributed systems that have capabilities to dynamically adapt,
in a predictable way, to unexpected and harmful events, including faults
and errors. Engineering such systems is a challenging issue which needs
urgent attention from and combined efforts by people working in various
domains. Achieving this objective is a very complex task, since it
implies reasoning explicitly and in a consistent way about systems
functional and non-functional characteristics.
SERENE advocates the idea that resilience should be explicitly included
into traditional software engineering theories and practices and should
become an integral part of all steps of software development. As current
software engineering practices tend to either capture only normal
behaviour,
or to deal with all abnormal situations only at the late development
phases, new software engineering methods and tools need to be developed
to support explicit handling of abnormal situations through the whole
software life cycle. Moreover, every phase of the software development
process needs to be enriched with the phase-specific resilience means.
SCOPE:
The following constitutes a list of the key software engineering domains
that the SERENE workshop will focus on. This list should not, however,
be considered as closed or technically restrictive:
- Formal and semi-formal modelling of resilience properties
- Re-engineering for resilience
- Software development processes for resilience
- Requirement engineering processes for resilience
- Model Driven Engineering of resilient systems
- Verification and validation of resilient systems
- Error and fault handling in the software life-cycle
- Resilience through exception handling in the software life-cycle
- Frameworks and design patterns for resilience
- Software architectures for resilience
- Component-based development and resilience
- System structuring for resilience
- Atomic actions
- Dynamic resilience mechanisms
- Resilience prediction
- Resilience metadata
- Reasoning and adaptation services for improving and ensuring
resilience
- Intelligent and adaptive approaches to engineering resilient systems
- Engineering of self-healing autonomic systems
- Dynamic reconfiguration for resilience
- Run-time management of resilience requirements
- CASE tools for developing resilient systems
Synchronous and Asynchronous Interactions in Concurrent Distributed Systems
Interaction and Concurrency Experiences (ICEs) is intended as a series
of international scientific meetings oriented to researchers in
various fields of theoretical computer science. The timeliness and
novelty of these events relies both on the variety of the topics that
will be treated on each event and on the adopted paper selection
mechanism.
Every experience will focus on a different specific topic which
affects several areas of computer science; A thorough scientific
debate among PC and authors of submitted papers will parallel the
reviewing process; After the paper selection phase, papers will be
published on the web and the discussion will be extended to
perspective participants.
-- Scope --
The scope of this first experience is to include theoretical and
applied aspects of interactions and the synchronization mechanisms
used among actors of concurrent or distributed systems. The workshop
intends to attract researchers interested in models, verification,
tools, and programming primitives concerning such complex
interactions.
Synchronisation mechanisms are one of the key aspects in concurrency
and they are becoming enormously relevant in modern distributed
systems. Theoretical models, design and verification of interaction
protocols and programming practice must take synchronisations into
account for specifying, implementing and reasoning on systems where
computations are spread across possibly many actors that interact
within a precise interaction framework.
At a low level of abstraction, systems can be classified according to
a wide spectrum, ranging between the two extremes of (completely)
synchronous or asynchronous interactions. In fact, such a
classification can be given according to the assumptions made on,
e.g., the number of participants or the time interactions need to be
effected. Significantly, the behaviour of such systems can be
investigated using different assumptions that yield different
expressiveness or complexity results.
Several recent theoretical results shed light on the interrelations
between synchronous and asynchronous interaction mechanisms (e.g.,
expressiveness results for distributed algorithms, relations among
observational semantics of synchronous models). Interaction
mechanisms have also been studied in relation to other features of
systems such as mobility (e.g., name passing process calculi,
graph-based models).
-- Topics --
Topics of interest include, but shall not be limited to:
- models, logic and types for interactions;
- synchronous/asynchronous mechanisms;
- expressiveness results;
- timed and hybrid interactions;
- verification, analysis and tools;
- programming primitives for interactions;
- interactions as coordination mechanisms;
- interactions inspired by emerging computational models (systems
biology, quantum computing, etc.).
Object-Oriented Software Development for the Embedded World
Overview
The purpose of this workshop is to bring hardware and software
communities
closer together in order to explore the current and future challenges in
application development and integration in different embedded system
domains. We wish to examine software engineering technologies for
addressing those challenges, without neglecting the often stringent
constraints imposed by hardware.
Description
New challenges arise in embedded software development in addition to the
traditional ones of power efficiency, memory usage and execution time.
Productivity, and thus time to market, become serious issues
due to the shift at the application level and new developments at the
hardware level, for example:
- several interactive or dynamic applications, often from different
vendors,
have to be mapped to multi- or even many-core processor architectures
- distributed applications have to run on a number of devices
such as regular PCs, nomadic battery-operated consumer devices, and/or
programmable sensors
- device mobility and hardware failure, e.g. due to sub 32 nm
technology, make unreliability the rule rather than the exception
In traditional software engineering the application-level problems are
far from
new: numerous approaches deal with application integration,
higher-level languages and tools improve productivity, tried-and-true
software architectures exist for distributed applications, and so on.
Nevertheless, the very nature of embedded systems imposes additional
constraints on objectoriented software development. One of the most
stringent constraints continues to be resource efficiency,
especially with respect to power consumption. The central question of
the
workshop will be how we can adapt and transfer the knowledge in
object-oriented software development to address these issues in embedded
systems.
Topics of Interest
Topics of interests include, but are not limited to:
- assessing and dealing with limited performance, limited amounts of
memory,
and the requirement of minimal power consumption prevalent in
resource-constrained
embedded devices on object-oriented technologies;
- virtual machines and runtime architectures for
object-oriented languages for embedded systems;
- object-oriented language features for embedded devices;
- supporting heterogeneous architectures of embedded devices
(combining a CPU with a DSP, for example) with object-oriented
technology;
- dealing with adaptability, heterogeneity and mobility in embedded
devices;
- software techniques and tools for optimizing code for embedded
devices;
- object-oriented operating systems for embedded devices;
- resource-aware computing.
Model-based Testing
Background
----------
Costs entailed by software failures demonstrate that the systematic
development of software in a certain quality is still a challenge, even
after decades of research. A reason for this can certainly be found
within the single projects. Often, known techniques of quality
assurance are not employed as required due to deadline and budget
restrictions. However, another reason is also the lack of techniques
for quality assurance for specific types of software and software
developed according to specific programming and modeling techniques.
Testing is one of the important analytical techniques of quality
assurance. In model-based testing, the software under test is considered
by the means of a model that focuses on certain aspects, often on the
behavior of the software under test. Models frequently used are finite
state machines and flow graphs. Testing techniques based on such models
are, for instance, formal verification, control and data flow analysis,
and also model checking.
This workshop aims at giving researchers and practitioners a platform
to present their results and experience to a broader audience.
The topics of interest include, but are not limited to:
* Models and modeling notations for programming and testing
* Test case generation based on formal and semi-formal models
* Test coverage metrics and criteria for model-based testing
* Model-based verification and validation
* Models as test oracles, test validation with models
* Formal methods and theories in model-based testing
* Application of model checking in testing
* Simulation by models, forecasts of behavior and properties by models
* Model-based testing of reactive and object-oriented systems
* Model-based verification and validation of tests
* Testing with software usage models
* Tools for model-based testing
* Experience reports and requirements from model-based testing in
practice
* Experience reports from model-based testing and model-based
development in practice
Applications and Advances in Problem Frames
DESCRIPTION
It is our pleasure to invite you to participate in the
ICSE co-located Third International Workshop on Applications and
Advances of Problem Frames - IWAAPF'08.
Michael Jackson's Problem Frames are a highly promising approach to
early life-cycle software engineering. Their focus moves the engineer
back to the problem to be solved rather than forward to the software
and solving a poorly defined problem. The influence of the Problem
Frames approach and related work is spreading in the fields of domain
modelling, business process modelling, requirements engineering,
software architecture as well as software engineering in general. The
3rd International Workshop on Advances and Applications of Problem
Frames will continue the success of IWAAPF'04 and IWAAPF'06, held at
ICSE'04 and ICSE'06, respectively.
There are 14 excellent papers to be presented and discussed at the
workshop this year. Some describe work completed and others work in
progress. There are variants of Problem Frames, ontologies for Problem
Frames, and the continuing work on taking Problem Frames closer to the
solution space and more traditional software engineering techniques.
Service-Oriented Architecture (SOA) is having a substantial impact on the way software systems are developed. Although significant progress is being made in several fronts, there is not a set of clear, central themes to focus research activity. As a result, there is a danger that important research needs will be overlooked, while other efforts will focus on issues of peripheral long-term significance in practice. This workshop will refine the SOA Research Agenda that was developed by SEI and an international team in 2007 and will follow up on the 1st SDSOA workshop held at ICSE 2007.
At SDSOA 2007, the following topics were identified by the attendees as challenge areas in SOA-based systems development
* Techniques for the integration and composition of services in an SOA environment
* Service Level Agreements (SLAs) in an SOA context
* Migration of systems to SOA environments
* Design and validation of properties/service qualities in SOA-based systems
* Economics of SOA: cost to build a service vs. revenue that can be generated by a service
* Managing SOA-based systems in the context of the software life cycle
* Analysis of business processes and their relationship to runtime services
* Challenges of SOA-based systems engineering vs. traditional software engineering
* Distributed computing concepts and their application in a SOA context
* Role of semantics in SOA-based systems
* Runtime monitoring and adaptation in SOA-based systems
* Role of education: how to teach the skills that are necessary in SOA environments
Cell Systems
The increasing needs of present and future computation-intensive
applications have stimulated research in new and innovative approaches
to the design and implementation of high-performance computing
systems. At the same time, adoption of compute-intensive techniques
in the embedded and consumer space offers new challenges in the areas
of heat and temperature dissipation, integration, packaging and system
cost.
The Cell Broadband Engine answers the multiple challenges on
increased performance and integration and reduced system cost and
power dissipation by presenting an integrated system architecture
based on a heterogeneous chip multiprocessor with accelerators. Papers
are sought on theory, methodologies, technologies, and implementations
concerned with innovations in heterogeneous system architectures,
computing paradigms, computational models, architectural paradigms,
computer architectures, development environments, compilers, operating
environments and in particular libraries and applications. Papers are
solicited in, but not limited to, the following areas:
* Application porting and tuning for Cell BE architectures
* Acceleration middleware and non-numeric acceleration
* Programming languages and programming models for heterogeneous systems
* Exploiting explicitly managed memory hierarchies in applications
* Data management and blocking for local stores
* Architecture improvements for heterogeneous architectures and
explicitly managed memory hierarchies
* Use of consumer embedded devices for computational grids
* Virtualization and virtual machines for heterogeneous architectures
* Compilers and operating systems
* Workload characterization of emerging applications and their performance
on heterogeneous architectures
* Traditional and emerging high-performance applications
* Supercomputing and adaptation, porting and tuning of scientific libraries
for Cell systems
* Using accelerator-based architectures to accelerate managed runtime
environments
* Novel system architectures based on the Cell BE
* Computational biology
Quality Aware Design
Scope:
The quest for higher performance in the face of
late CMOS era technological
constraints, has resulted in chip/system
architecture and design trends that are
increasingly more complex. In addition to multiple
cores, with heterogeneous
accelerator sub-cores, it is common to find