BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × Cyprus
1 × Norway
1 × Spain
1 × Taiwan
1 × USA
Collaborated with:
C.A.L.Oliveira H.Rebêlo R.D.Lins M.Cornélio S.Soares A.L.M.Santos F.H.Carvalho A.Mota M.Ribeiro M.Teixeira P.R.M.Maciel A.M.Lemos C.C.Sabino L.Ferreira U.Kulesza C.Sant'Anna R.Coelho
Talks about:
aspect (4) contract (3) process (3) base (3) model (2) sub (2) implement (1) agreement (1) stochast (1) pointcut (1)

Person: Ricardo Massa Ferreira Lima

DBLP DBLP: Lima:Ricardo_Massa_Ferreira

Contributed to:

SEKE 20122012
SAC 20112011
SEKE 20112011
ICST 20082008
SAC 20082008
SAC 20042004
SAC 20022002

Wrote 8 papers:

SEKE-2012-RebeloLMOR #aspect-oriented #contract #source code
Enforcing Contracts for Aspect-oriented programs with Annotations, Pointcuts and Advice (HR, RMFL, AM, CALO, MR), pp. 148–153.
SAC-2011-TeixeiraLOM #modelling #probability
Planning service agreements in soa-based systems through stochastic models (MT, RMFL, CALO, PRMM), pp. 1576–1581.
SEKE-2011-LemosSLO #consistency #development #mining #process
Conformance Checking of Software Development Processes Through Process Mining (AML, CCS, RMFL, CALO), pp. 654–659.
SEKE-2011-RebeloLKSCMRO #aspect-oriented #contract #design #impact analysis
Assessing the Impact of Aspects on Design By Contract Effort: A Quantitative Study (HR, RMFL, UK, CS, RC, AM, MR, CALO), pp. 450–455.
ICST-2008-RebeloLCS #aspectj #compilation #ml
A JML Compiler Based on AspectJ (HR, RMFL, MC, SS), pp. 541–544.
SAC-2008-RebeloSLFC #aspectj #contract #implementation #java #modelling
Implementing Java modeling language contracts with AspectJ (HR, SS, RMFL, LF, MC), pp. 228–233.
SAC-2004-LimaLS #category theory #combinator #haskell #multi
A back-end for GHC based on categorical multi-combinators (RMFL, RDL, ALMS), pp. 1482–1489.
SAC-2002-CarvalhoLL #coordination #functional #haskell #process
Coordinating functional processes with Haskell# (FHC, RMFL, RDL), pp. 393–400.

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.