Formal specification applied to multiuser distributed services

López-NoresMartín,Pazos-AriasJosé,García-DuqueJorge,Blanco-FernándezYolanda,Ramos-CabrerManuel,Gil-SollaAlberto,Fernández-VilasAna,Díaz-RedondoRebeca

Formal specification applied to multiuser distributed services

2006

López-NoresMartín
Pazos-AriasJosé
García-DuqueJorge
Blanco-FernándezYolanda
Ramos-CabrerManuel
Gil-SollaAlberto
Fernández-VilasAna
Díaz-RedondoRebeca

The development of multiuser and distributed software systems faces the difficulty to program the applications correctly, in a way that guarantees the desired interaction among the users. Motivated...

Keywords:

distributed services
Computer science
Formal specification
Software engineering
distributed software systems
Systems engineering

Correction
Source
Cite
Save
Machine Reading By IdeaReader

References

Citations