Advertisement

Table of contents

  1. Front Matter
  2. Raimundas Matulevičius, Patrick Heymans
    Pages 18-32
  3. Klaus Pohl, Ernst Sikora
    Pages 48-62
  4. Barbara Gallina, Nicolas Guelfi
    Pages 63-77
  5. Nicolas Guelfi, Gilles Perrouin
    Pages 78-92
  6. C. Li, J. M. van den Akker, S. Brinkkemper, G. Diepen
    Pages 93-108
  7. Novica Zarvić, Maya Daneva, Roel Wieringa
    Pages 116-128
  8. Alan Davis, Ann Hickey, Oscar Dieste, Natalia Juristo, Ana Moreno
    Pages 129-143
  9. Samuel Fricker, Tony Gorschek, Petri Myllyperkiö
    Pages 144-159
  10. S. Jones, N. A. M. Maiden, S. Manning, J. Greenwood
    Pages 175-189
  11. Stephen Boyd, Didar Zowghi, Vincenzo Gervasi
    Pages 203-217
  12. Joost Noppen, Pim van den Broek, Mehmet Aksit
    Pages 247-261
  13. Robert Darimont, Michel Lemoine
    Pages 292-299
  14. Taiseera Hazeem Al Balushi, Pedro R. Falcone Sampaio, Divyesh Dabhi, Pericles Loucopoulos
    Pages 306-319
  15. Andrea Herrmann, Daniel Kerkow, Joerg Doerr
    Pages 320-334
  16. Back Matter

About these proceedings

Keywords

Planning Processing Requirements Engineering Service Oriented Architecture (SOA) Service-oriented Computing Unified Modeling Language (UML) business process conceptual modeling design optimization formal methods formal specification model checking model driven SE quality requirements security

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-73031-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-73030-9
  • Online ISBN 978-3-540-73031-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site