Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Rebelo, Henrique
290  Ergebnisse:
Personensuche X
?
1

Proceedings of the 24th ACM International Workshop on Forma..:

Rebelo, Henrique , 2022
Link: https://dl.acm.org/doi/1..
 
?
2

Aspect-Oriented Programming Reloaded:

, In: Proceedings of the 21st Brazilian Symposium on Programming Languages,
Rebêlo, Henrique ; Leavens, Gary T. - p. 1-8 , 2017
Link: https://dl.acm.org/doi/1..
 
?
3

Assessing Idioms for a Flexible Feature Binding Time:

Andrade, Rodrigo ; Ribeiro, Márcio ; Rebêlo, Henrique...
The Computer Journal.  , 2015
Link: https://doi.org/10.1093/..
 
?
4

Enforcing information hiding in interface specifications: a..:

, In: Companion Proceedings of the 14th International Conference on Modularity,
Rebêlo, Henrique ; Leavens, Gary T. - p. 47-51 , 2015
Link: https://dl.acm.org/doi/1..
 
?
5

Modularizing crosscutting contracts with AspectJML:

, In: Proceedings of the companion publication of the 13th international conference on Modularity,
Rebêlo, Henrique ; Leavens, Gary T. ; Bagherzadeh, Mehdi... - p. 21-24 , 2014
Link: https://dl.acm.org/doi/1..
 
?
6

AspectJML : modular specification and runtime checking f..:

, In: Proceedings of the 13th international conference on Modularity,
Rebêlo, Henrique ; Leavens, Gary T. ; Bagherzadeh, Mehdi... - p. 157-168 , 2014
Link: https://dl.acm.org/doi/1..
 
?
7

Modular aspect-oriented design rule enforcement with XPIDRs:

, In: Proceedings of the 12th workshop on Foundations of aspect-oriented languages,
Rebelo, Henrique ; Leavens, Gary T. ; Lima, Ricardo Massa Ferreira.. - p. 13-18 , 2013
Link: https://dl.acm.org/doi/1..
 
?
8

Identifying and specifying crosscutting contracts with Aspe..:

, In: Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity,
Rebêlo, Henrique - p. 115-116 , 2013
Link: https://dl.acm.org/doi/1..
 
?
9

Optimizing generated aspect-oriented assertion checking cod..:

Rebêlo, Henrique ; Lima, Ricardo ; Leavens, Gary T....
Science of Computer Programming.  78 (2013)  8 - p. 1137-1156 , 2013
Link: https://doi.org/10.1016/..
 
?
10

Client-aware checking and information hiding in interface s..:

, In: Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity,
Rebêlo, Henrique ; Leavens, Gary T. ; Lima, Ricardo Massa - p. 11-12 , 2013
Link: https://dl.acm.org/doi/1..
 
?
11

Towards client-aware interface specifications:

, In: Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion,
Rebêlo, Henrique - p. 71-74 , 2011
Link: https://dl.acm.org/doi/1..
 
?
12

On the interplay of exception handling and design by contra..:

, In: Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs,
Rebêlo, Henrique ; Coelho, Roberta ; Lima, Ricardo... - p. 1-6 , 2011
Link: https://dl.acm.org/doi/1..
 
?
13

An annotation-based approach for JCSP concurrent programmin..:

, In: Proceedings of the 1st workshop on Modularity in systems software,
Araújo, José Elias ; Rebêlo, Henrique ; Lima, Ricardo... - p. 7-11 , 2011
Link: https://dl.acm.org/doi/1..
 
?
14

Implementing Java modeling language contracts with AspectJ:

, In: Proceedings of the 2008 ACM symposium on Applied computing,
Rebêlo, Henrique ; Soares, Sérgio ; Lima, Ricardo.. - p. 228-233 , 2008
Link: https://dl.acm.org/doi/1..
 
?
15

The contract enforcement aspect pattern:

, In: Proceedings of the 8th Latin American Conference on Pattern Languages of Programs,
Rebêlo, Henrique M. ; Lima, Ricardo ; Kulesza, Uirá... - p. 1-14 , 2010
Link: https://dl.acm.org/doi/1..
 
1-15