Travelled to:1 × Italy
2 × USA
Collaborated with:S.T.d.Lima K.M.d.Oliveira L.Carro R.A.d.L.Reis M.A.J.Song A.M.Pereira G.Gorgulho S.V.A.Campos W.M.Jr.
Talks about:system (2) agreement (1) specifi (1) commerc (1) websit (1) verifi (1) servic (1) extend (1) design (1) access (1)
Person: Fernanda Lima
DBLP: Lima:Fernanda
Contributed to:
2009
2003
2003Wrote 3 papers:
- ICEIS-J-2009-LimaLO
- Evaluating the Accessibility of Websites to Define Indicators in Service Level Agreements (STdL, FL, KMdO), pp. 858–869.
- DAC-2003-LimaCR #design #fault tolerance
- Designing fault tolerant systems into SRAM-based FPGAs (FL, LC, RAdLR), pp. 650–655.
- SEKE-2003-SongPLGCM #e-commerce #uml #verification
- Extending UML to Specify and Verify E-commerce Systems (MAJS, AMP, FL, GG, SVAC, WMJ), pp. 306–313.