Travelled to:
1 × USA
Collaborated with:
F.Oquendo J.C.Leite F.Lopes F.C.Delicato P.F.Pires E.Cavalcante T.P.d.Silva Jean Quilbeuf L.Traonouez A.Legay A.Almeida N.Cacho
Talks about:
architectur (3) softwar (2) dynam (2) sys (2) adl (2) descript (1) behavior (1) statist (1) specifi (1) generat (1)
Person: Thaís Batista
DBLP: Batista:Tha=iacute=s
Contributed to:
Wrote 5 papers:
- SEKE-2013-AlmeidaCBCLDP #adaptation #in the cloud
- Dynamic Adaptation of Cloud Computing Applications (AA, EC, TB, NC, FL, FCD, PFP), pp. 67–72.
- SEKE-2013-SilvaBLDP #automation #generative #semantics #web #web service
- Automatic Generation of Semantic Web Services (TPdS, TB, FL, FCD, PFP), pp. 662–667.
- ECSA-2016-CavalcanteQTOBL #architecture #model checking #statistics
- Statistical Model Checking of Dynamic Software Architectures (EC, JQ, LMT, FO, TB, AL), pp. 185–200.
- ECSA-2016-OquendoLB #architecture
- Executing Software Architecture Descriptions with SysADL (FO, JCL, TB), pp. 129–137.
- WICSA-2016-OquendoLB #architecture #behaviour #specification
- Specifying Architecture Behavior with SysADL (FO, JCL, TB), pp. 140–145.