Login / Signup

Formal specification applied to multiuser distributed services: Experiences in collaborative t-learning.

Martín López NoresJosé Juan Pazos-AriasJorge García DuqueYolanda Blanco-FernándezManuel Ramos CabrerAlberto Gil-SollaAna Fernández VilasRebeca P. Díaz Redondo
Published in: J. Syst. Softw. (2006)
Keyphrases
  • formal specification
  • learning process
  • web services
  • multi agent
  • cooperative
  • service oriented
  • database
  • real world
  • case study
  • response time
  • distributed systems
  • collaborative learning
  • model checking
  • service discovery