Información General

• Autores: Joan Antoni Pastor, Antoni Olivé
• Editores: Berlin [etc. : Springer, cop. 1997
• Año de publicación: 1997
• País: Alemania
• Idioma: inglés
• ISBN: 3-540-63107-0
• Recoge los contenidos presentados a: International Conference on Advanced Information Systems Engineering (9. 1997. Barcelona).
• Texto completo no disponible (Saber más ...)

Resumen

• This book constitutes the refereed proceedings of the 9th International Conference on Advanced Information Systems Engineering, CAiSE'97, held in Barcelona, Spain, in June 1997. The volume presents 30 revised full papers selected from a total of 112 submissions; also included is one invited contribution. The book is divided into topical sections on requirements engineering; information systems design; methods, environments, and tools; distributed information systems; and workflow systems.

Otros catálogos

• Red de Bibliotecas Universitarias (REBIUN)

Listado de artículos

• • Invited speech

    • The story of the IDEA Methodology

      Stefano Ceri, Piero Fraternali

      págs. 1-17

      

  • Requirements Engineering I

    • Integrating semi-formal and formal requirements

      Roel Wieringa, Eric Dubois, Sander Huyts

      págs. 19-32

      

    • Stimuli and business policies as modelling constructs: their definition and validation through the event calculus

      Óscar Díaz García, Norman W. Paton

      págs. 33-46

      

    • Using scenarios to validate requirements in a plausibility-centred approach

      D. Filippidou, P. Loucopoulos

      págs. 47-60

      

  • Information Systems Design

    • Behaviour specification in database interoperation

      Mark W. W. Vermeer, Peter M. G. Apers

      págs. 61-74

      

    • Implementing semantic-based decomposition of transactions

      Sushil Jajodia, Indrakshi Ray, Paul Ammann

      págs. 75-88

      

    • Negotiation transactions: an approach to increase the automation of workflows

      Juha Puustjärvi

      págs. 89-102

      

  • Requirements Engineering II

    • Towards method-driven trace capture

      Klaus Pohl, Ralf Domges, Matthias Jarke

      págs. 102-116

      

    • A multi-perspective framework for the analysis of legacy information systems

      Silvana Castano, Valeria de Antonellis

      págs. 117-130

      

    • Facilitating analysis and diagnosis in organisations

      Luis Carriço, Nuno Guimaraes

      págs. 131-144

      

  • Methods, Environments and Tools I

    • OO-METHOD: an OO software production environment combining convertional and formal methods

      Oscar Pastor López, César Emilio Insfrán Pelozo, Vicente Pelechano Ferragud, José Romero, José Merseguer

      págs. 145-158

      

    • Application of a generator-based software development method supporting model reuse

      Joachim Altmeyer, Jan Peter Riegel, Bernd Schuermann, Martin Schuetze, Gerhard Zimmermann

      págs. 159-172

      

    • A toolkit for reuse in conceptual modelling

      Raúl Ruggia, Ana Paula Ambrosio

      págs. 173-186

      

  • Methods, Environments and Tools II

    • Performance engineering of human and computerised workflows

      Gunnar Brataas, Peter H. Hughes, Arne Solvberg

      págs. 187-202

      

    • Meta-CASE in practice: a case for KOGGE

      Jürgen Ebert, Roger Süttenbach, Ingar Uhe

      págs. 203-216

      

    • Augmenting CASE tools with hypertext: desired functionality and implementation issues

      Janne Kaipala

      págs. 217-230

      

  • Conceptual Modelling I

    • Interval-based representation of spatio-temporal concepts

      Toshimi Tagashira, Toshiyuki Amagasa, Masayoshi Aritsugi, Yoshinari Kanamori

      págs. 231-244

      

    • Temporal object role modelling

      Andreas Steiner, Moira C. Norrie

      págs. 245-258

      

    • Complex object versioning

      Chabane Oussalah, Christelle Urtado

      págs. 259-272

      

  • Distributed Information Systems I

    • A methodology for the design of distributed Web systems

      Guido Poncia, Barbara Pernici

      págs. 273-288

      

    • Digital neighbourhoods: partitioning the Web for information indexing and searching

      Pedro Falcao Gonçalves, Ana Carolina Salgado, Silvio Romero de Lemos Meira

      págs. 289-302

      

    • Intranet facilitated knowledge management: a theory and tool for defining situational methods

      Marnix Klooster, Sjaak Brinkkemper, Frank Harmsen, Gerard Wijers

      págs. 303-317

      

  • Conceptual Modelling II

    • A conceptual approach to meta-modelling

      Eladio Domínguez Murillo, Maria Antonia Zapata Abad, Julio Rubio García

      págs. 319-332

      

    • Preserving behaviour: why and how

      Fabienne Cathala, Pascal Poncelet

      págs. 333-346

      

    • Modeling behaviour of geographic objects: an experience with the object modeling technique

      Nectaria Tryfona, Dieter Pfoser, Thanasis Hadzilacos

      págs. 347-359

      

  • Distributed Information Systems II

    • Design of distributed applications based on the OSI Model

      Peter McBrien

      págs. 361-373

      

    • DELOS: a repository based environment for developing network centric applications

      P. Klimathianakis, P. Loucopoulos

      págs. 375-388

      

    • TDE: supporting geographically distributed software design with shared, collaborative workspaces

      Antero Taivalsaari, Sami Vaaraniemi

      págs. 389-408

      

  • Workflow Systems

    • Semantics of reactive components in event-driven workflow execution

      Dimitrios Tombros, Andreas Geppert, Klaus R. Dittrich

      págs. 409-422

      

    • Workflow transparency

      Peter Bichler, Günter Preuner, Michael Schrefl

      págs. 423-436

      

    • Towards real-scale business transaction workflow modelling

      A. P. Barros, A. H. M. ter Hofstede, H.A. Proper

      págs. 437-450