Software Engineering

Since the 1980s, software agents and multi-agent systems have grown into what is now one of the most active areas of research and development activity in computing generally.

ETAPS'99 is the second instance of the EuropeanJoint Conferences on T- ory and Practice of Software.

Java, undoubtedly, has its roots in embedded systems and the Web.

For the second time, the European Software Engineering Conference is being held jointly with the ACM SIGSOFT Symposium on the Foundations of Software Engine- ing (FSE).

This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99.

For the ?

Computational Science is the scientific discipline that aims at the development and understanding of new computational methods and techniques to model and simulate complex systems.

For the ?

This book constitutes the refereed proceedings of the 8th European Workshop on Software Process Technology, EWSPT 2001, held in Witten, Germany, in June 2001.

This book constitutes the refereed proceedings of the 21st International Conference on Computer Safety, Reliability and Security, SAFECOMP 2002, held in Catania, Italy in September 2002.

ETAPS 2002 was the ?

ETAPS2002wasthe?

ETAPS 2002 was the ?

This book presents the state of the art in software visualization and thus attempts to establish it as a field on its own.

This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001.

This book constitutes the refereed proceedings of the 6th IEEE International Conference on High Speed Networking and Multimedia Communication, HSNMC 2003, held in Estoril, Portugal in July 2003.

USM 2000 is the third event in a series of international IFIP/GI conferences on Trends in Distributed Systems.

ThisvolumecontainstheproceedingsofFM2003,the12thInternationalFormal Methods Europe Symposium which was held in Pisa, Italy on September 8-14, 2003.

For quite some time, in systems and software design, security only came as a second thought or even as a nice-to-have add-on.

Program analysis is concerned with techniques that automatically determine run-time properties of given programs prior to run-time.

Constraints provide a declarative way of representing infinite sets of data.

This book constitutes the refereed proceedings of the 4th International Conference on the Unified Modeling Language, 2001, held in Toronto, Canada, in October 2001.

One of the most important reasons for the current intensity of interest in agent technology is that the concept of an agent, as an autonomous system capable of interacting with other agents in order to satisfy its design objectives, is a natural one for software designers.

CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language for practical use in software development for specifying both requirements and design.

This volume contains the Proceedings of the 2nd International Workshop on Information Processing in Sensor Networks (IPSN 2003).

This book presents 10 chapters on various aspects of intelligent information agents contributed by members of the respective AgentLink special interest group.

Over the past three decades, software engineers have derived a progressively better understanding of the characteristics of complexity in software.

 This book constitutes the refereed proceedings of the Second International Conference on COTS-Based Software Systems, ICCBSS 2003, held in Ottawa, Canada in February 2003.

The growth of the Internet and the availability of powerful computers and hi- speed networks as low-cost commodity components are changing the way we do computing.

By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jorg H.

The series of ISCIS (International Symposium on Computer and Information Sciences) symposia have been held each year since 1986, mostly in Turkey and occasionally abroad.

Web engineering is a new discipline that addresses the pressing need for syst- atic and tool-supported approaches for the development, maintenance and te- ing of Web applications.

Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis in Montr' eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), Stanford (2000), Toronto (2001), Grenoble (2002) and Portland (2003).

This book contains the proceedings of the 5th International Workshop on Product Family Engineering, PFE-5.

CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language for practical use in software development for specifying both requirements and design.

The ongoing migration of computing and information access from the desktop and te- phone to mobile computing devices such as PDAs, tablet PCs, and next-generation (3G) phones poses critical challenges for research on information access.

Advances in networking technology have revitalized the investigation of agent technologyasapromisingparadigmforengineeringcomplexdistributedsoftware systems.

This book constitutes the thoroughly refereed post-proceedings of the 6th International Conference on Artificial Evolution, EA 2003, held in Marseilles, France in October 2003.

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines.

These Transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the Semantic Web, social networks and multi-agent systems.

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines.