Software Engineering

Software engineering is widely recognized as one of the most exciting, stimulating, and profitable research areas, with a significant practical impact on the software industry.

Thousands of mini computers (comparable to a stick of chewing gum in size), equipped with sensors, are deployed in some terrain or other.

Reinhard Wilhelm's career in Computer Science spans more than a third of a century.

A common approach in software engineering is to apply during the design phase a variety of structured techniques like top-down design, decomposition and abstraction, while only subsequently, in the implementation phase, is the design tested to ensure reliability.

This book constitutes the refereed proceedings of the Fourth International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, held in Palma de Mallorca, Spain, in May 1997.

Starting from the intraprocedural basic case, this monograph focuses on interprocedural optimization.

The European conference situationin the general area of software science has longbeen considered unsatisfactory.

The European Commission emphasizes, in its Fifth Research Framework, the "e;.

Program construction is about turning specifications of computer software into implementations.

The development of products in disciplines such as mechanical, electrical, or software engineering is a challenging task.

LNCS volumes 2073 and 2074 contain the proceedings of the International Conference on Computational Science, ICCS 2001, held in San Francisco, California, May 27-31, 2001.

Although framework technology has proven its worth as a software reuse technique in many domains, there have been reservations regarding its application in embedded systems, mostly due to limited CPU and memory resources.

Markov Chains are widely used as stochastic models to study a broad spectrum of system performance and dependability characteristics.

Autonomous agents and multi-agent systems are computational systems in which several (semi-)autonomous agents interact with each other or work together to perform some set of tasks or satisfy some set of goals.

This book constitutes the thoroughly refereed post-proceedings of the 8th Panhellenic Conference on Informatics, PCI 2001, held in Nicosia, Cyprus in November 2001.

 This book constitutes the thoroughly refereed post-proceedings of the international conference NetObjectDays 2002, held in Erfurt, Germany, in October 2002.

Modern civilization relies on a functioning information infrastructure.

The IFIP TC-6 9th International Conference on Personal Wireless Communi- tions, PWC 2004 is the main conference of the IFIP Working Group 6.

This volume constitutes the proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2004) held September 14-17, 2004 in Park City, Utah, USA.

This book constitutes the refereed proceedings of the Third International Software Product Line Conference, SPLC 2004, held in Boston, MA, USA in August/September 2004.

The fourth internationalworkshop,"e;EngineeringSocietiesin the Agents World"e; (ESAW 2003) was a three-dayevent that took place at the end of October 2003.

This volume contains the 28 papers presented at ESOP 2004, the 13th European Symposium on Programming, which took place in Barcelona, Spain, March 29- 31, 2004.

The International Conference on Computational Science (ICCS 2004) held in Krak' ow, Poland, June 6-9, 2004, was a follow-up to the highly successful ICCS 2003 held at two locations, in Melbourne, Australia and St.

This volume contains the ?

Driven by the need for a closer alignment of business and IT requirements, the role of business process models in the development of enterprise software systems has increased continuously.

The increasing complexity of systems and the growing uncertainty in their operational environments have created a critical need to develop systems able to improve their operation, adapt to change, and recover from failures autonomously.

This volume contains the papers from the workshop "e;Radical Innovations of Software and Systems Engineering in the Future.

In a dynamic computing environment, such as the Grid, resource management plays a crucial role for making distributed resources available on-demand to anyone from anywhere at any time without undermining the resource autonomy; this becomes an art when dealing with heterogeneous resources distributed under multiple trust domains spanning across the Internet.

From conception to birth is traditionally nine months.

Declarative languages have traditionally been regarded by the mainstream c- puting community as too impractical to be put to practical use.

Increasing the designer's con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems.