This book constitutes the refereed proceedings of the 25th International Conference on Advanced Information Systems Engineering, CAiSE 2013, held in Valencia, Spain, in June 2013.

The 44 revised full papers were carefully reviewed and selected from 162 submissions. The contributions have been grouped into the following topical sections: services; awareness; business process execution; products; business process modelling; modelling languages and meta models; requirements engineering 1; enterprise architecture; information systems evolution; mining and predicting; data warehouses and business intelligence; requirements engineering 2; knowledge and know-how; information systems quality; and human factors.

This book constitutes the refereed proceedings of the 13th International Conference on Advanced Information Systems Engineering, CAiSE 2001, held in Interlaken, Switzerland in June 2001. The 27 revised full papers presented together with three invited papers, three experience reports, and a panel summary were carefully reviewed and selected from a total of 97 submissions. The papers are organized in topical sections on requirements engineering, agent-based approaches, workflow managment, data models and design, reuse and method engineering, XML and information systems integration, evolution, and conceptual modeling.

Increasingly, formal specification is being used by database researchers to describe and understand the systems they are designing and implementing. Similarly, those working on formal specification techniques have recognised that the database field provides a rich context for developing their ideas. However, as experts in one field often have a relatively limited knowledge of the other, there is a growing need for discussion about the relationship between these two fields and how they can be usefully combined. This volume contains the 16 papers which were presented at the International Workshop on Specification on Database Systems, held in Glasgow, 3-5 July 1991. The purpose of the workshop was to bring together these fields and to examine, through a series of invited talks, presentations and working groups, the role that formal specification can play in developing database systems. The papers describe current research into topics such as the formal specification of data models, query languages and transaction handling and the use of formal specification techniques to understand problems which arise in database systems. The working groups, which are summarised at the end of the volume, covered a variety of issues including the role of graphical notations in database specification, the use of specification techniques in enabling "open" or extensible database systems and the education of the database community in specification techniques. This volume will be invaluable to the increasing number of researchers who are using both database systems and formal specification techniques in their work, and who wish to gain a more detailed knowledge of these two fields and the issues which affect them.