Travelled to:1 × Brazil
1 × Japan
1 × Portugal
1 × Switzerland
2 × Canada
2 × USA
Collaborated with:C.M.L.Werner A.J.Alencar E.A.Schmitz E.A.Schmitz C.Werner M.d.O.Barros T.Silva-de-Souza B.d.M.Araujo D.Guimaraes P.Lima G.Taveira A.F.d.S.Dias F.G.Dias M.L.M.Campos A.J.Alencar
Talks about:busi (5) specif (4) valid (3) case (3) use (3) ocl (3) transact (2) refactor (2) approach (2) softwar (2)
Person: Alexandre L. Correa
DBLP: Correa:Alexandre_L=
Contributed to:
201420122011
20102008
2007
20042004
2004Wrote 9 papers:
- SEKE-2014-GuimaraesSALC #alloy #consistency #using #verification
- A Method for Verifying the Consistency of Business Rules Using Alloy (DG, EAS, AJA, PL, ALC), pp. 381–386.
- SEKE-2012-CorreaSSA #modelling #rest #testing #uml #web #web service
- Defining RESTful Web Services Test Cases from UML Models (ALC, TSdS, EAS, AJA), pp. 319–323.
- SEKE-2011-AlencarTSDC
- Maximizing the Financial Benefits Yielded by IT Projects While Ensuring their Strategic Fit (AJA, GT, EAS, AFdSD, ALC), pp. 288–295.
- SAC-2010-AraujoSCA #process #validation
- A method for validating the compliance of business processes to business rules (BdMA, EAS, ALC, AJA), pp. 145–149.
- SAC-2008-DiasSCCA #approach #case study #specification
- Elaboration of use case specifications: an approach based on use case fragments (FGD, EAS, MLMC, ALC, AJA), pp. 614–618.
- MoDELS-2007-CorreaWB #empirical #ocl #refactoring #smell #specification
- An Empirical Study of the Impact of OCL Smells and Refactorings on the Understandability of OCL Specifications (ALC, CW, MdOB), pp. 76–90.
- RE-2004-CorreaW #precise #specification #transaction #validation
- Precise Specification and Validation of Transactional Business Software (ALC, CMLW), pp. 16–25.
- SEKE-2004-CorreaW #approach #specification #transaction #validation
- Specification and Validation of Transactional Business Software: An Approach Based on the Exploration of Concrete Scenarios (ALC, CMLW), pp. 294–299.
- UML-2004-CorreaW #modelling #ocl #refactoring #uml
- Applying Refactoring Techniques to UML/OCL Models (ALC, CMLW), pp. 173–187.