Advertisement

© 2004

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. EPEW

    1. Stephen Gilmore, Valentin Haenel, Jane Hillston, Leïla Kloul
      Pages 262-277
  2. ITM

    1. Matthias Kuntz, Markus Siegle, Edith Werner
      Pages 293-307
    2. Heui-Seok Seo, Tadashi Araragi, Yong Rae Kwon
      Pages 308-321
    3. Manuel Núñez, Ismael Rodríguez, Fernando Rubio
      Pages 322-336
    4. Leonardo Mariani, Mauro Pezzè, David Willmor
      Pages 337-350
    5. A. Bucchiarone, H. Muccini, P. Pelliccione, P. Pierini
      Pages 351-365
    6. Ina Schieferdecker, George Din
      Pages 366-379
  3. Back Matter

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