Travelled to:1 × Portugal
1 × USA
Collaborated with:R.Bastide P.A.Palanque D.Navarre
Talks about:specif (2) formal (2) corba (2) prototyp (1) system (1) servic (1) lesson (1) experi (1) learn (1)
Person: Ousmane Sy
DBLP: Sy:Ousmane
Contributed to:
2000
1999Wrote 2 papers:
- OOPSLA-2000-BastidePSN #corba #experience #lessons learnt #specification
- Formal specification of CORBA services: experience and lessons learned (RB, PAP, OS, DN), pp. 105–117.
- ECOOP-1999-BastideSP #corba #prototype #specification
- Formal Specification and Prototyping of CORBA Systems (RB, OS, PAP), pp. 474–494.