BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Correa:Alexandre_L=

Contributed to:

SEKE 20142014
SEKE 20122012
SEKE 20112011
SAC 20102010
SAC 20082008
MoDELS 20072007
RE 20042004
SEKE 20042004
UML 20042004

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.