Journal: Inf. Syst.

Volume 23, Issue 3-4

127 -- 155John Mylopoulos. Information Modeling in the Time of the Revolution
157 -- 158Antoni Olivé, Maria-Ribera Sancho. Special Issue on Advanced Information Systems Engineering
159 -- 178Roel Wieringa, Eric Dubois. Integrating Semi-Formal and Formal Software Specification Techniques
179 -- 196Oscar Díaz, Norman W. Paton, Jon Iturrioz. Formalizing and Validating Behavioral Models Through the Event Calculus
197 -- 216Christelle Urtado, Chabane Oussalah. Complex Entity Versioning at Two Granularity Levels
217 -- 233Mark W. W. Vermeer, Peter M. G. Apers. Specifying Global Behaviour in Database Federations
235 -- 252Andreas Geppert, Dimitris Tombros, Klaus R. Dittrich. Defining the Semantics of Reactive Components in Event-Driven Workflow Execution with Event Histories
253 -- 277Silvana Castano, Valeria De Antonellis. A Framework for Expressing Semantic Relationships Between Multiple Information Systems for Cooperation