Applying Formal Methods: Testing, Performance, and M/E-Commerce

FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Proceedings

  • Manuel Núñez
  • Zakaria Maamar
  • Fernando L. Pelayo
  • Key Pousttchi
  • Fernando Rubio
Conference proceedings FORTE 2004
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3236)

Table of contents

  1. Front Matter
  2. TheFormEMC

    1. Chun Ouyang, Jonathan Billington
      Pages 1-15
    2. Robert L. Probert, Pulei Xiong, Bernard Stepien
      Pages 16-29
    3. Ismael Rodríguez, Manuel Núñez, Fernando Rubio
      Pages 30-43
    4. Bettina Bazijanec, Key Pousttchi, Klaus Turowski
      Pages 44-57
    5. Dominik Haneberg, Wolfgang Reif, Kurt Stenzel
      Pages 72-85
    6. Daniel Rolli, Dirk Neumann, Christof Weinhardt
      Pages 86-100
  3. EPEW

    1. Natalia López, Manuel Núñez, Ismael Rodríguez
      Pages 114-127
    2. M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, J. José Pardo, Hermenegilda Macià
      Pages 143-155
    3. Guangping Qin, Jinzhao Wu
      Pages 156-169
    4. Peixia Gao, Sabine Wittevrongel, Herwig Bruneel
      Pages 184-195
    5. Iain Gourlay, Mohammed Haji, Karim Djemame, Peter Dew
      Pages 220-232
    6. Luis Irún-Briz, Francisco Castro-Company, Hendrik Decker, Francesc D. Muñoz-Escoí
      Pages 248-261

Other volumes

  1. 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings
  2. Applying Formal Methods: Testing, Performance, and M/E-Commerce
    FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Proceedings

About these proceedings

Keywords

Internet agent specification architecture distributed applications distributed computing distributed systems e-commerce formal methods formal performance engineering formal specification internet protocol analysis m-commerce modeling security security protocols

Editors and affiliations

  • Manuel Núñez
    • 1
  • Zakaria Maamar
    • 2
  • Fernando L. Pelayo
    • 3
  • Key Pousttchi
    • 4
  • Fernando Rubio
    • 5
  1. 1.Dept. Sistemas Informáticos y Programación Facultad de InformáticaUniversidad Complutense de MadridMadridSpain
  2. 2.CIT, Zayed University, DubaiUnited Arab EmiratesUnited Arab Emirates
  3. 3.Dept. de Sistemas Informáticos Escuela Politécnica SuperiorUniversidad Castilla-La ManchaAlbaceteSpain
  4. 4.Business Informatics and Systems EngineeringUniversity of AugsburgAugsburgGermany
  5. 5.Dept. Sistemas Informáticos y Computación, Facultad de InformáticaUniversidad Complutense de MadridMadridSpain

Bibliographic information

  • DOI https://doi.org/10.1007/b100825
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-23169-1
  • Online ISBN 978-3-540-30233-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349