Result 1 to 20 of 74 total
A theory of software product line refinement. (English)
Theor. Comput. Sci. 455, 2-30 (2012).
1
Automatically checking feature model refactorings. (English)
J. UCS 17, No. 5, 684-711, electronic only (2011).
2
Synchronizing model and program refactoring. (English)
Davies, Jim (ed.) et al., Formal methods: foundations and applications. 13th Brazilian symposium on formal methods, SBMF 2010, Natal, Brazil, November 8‒11, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19828-1/pbk). Lecture Notes in Computer Science 6527, 96-111 (2011).
3
An introduction to software product line refactoring. (English)
Fernandes, João M. (ed.) et al., Generative and transformational techniques in software engineering III. International summer school, GTTSE 2009, Braga, Portugal, July 6‒11, 2009. Revised papers. Berlin: Springer (ISBN 978-3-642-18022-4/pbk). Lecture Notes in Computer Science 6491, 1-26 (2011).
4
Investigating the safe evolution of software product lines (English)
GPCE, 33-42 (2011).
5
On the impact of feature dependencies when maintaining preprocessor-based software product lines (English)
GPCE, 23-32 (2011).
6
Safe composition of configuration knowledge-based software product lines (English)
SBES, 263-272 (2011).
8
Assessing idioms for implementing features with flexible binding times (English)
CSMR, 231-240 (2011).
9
Companion volume of the 10th international conference on aspect-oriented software development, AOSD 2011, Porto de Galinhas, Brazil, March 21-25, 2011 (English)
AOSD (Companion) (2011).
10
Proceedings of the 10th international conference on aspect-oriented software development, AOSD 2011, Porto de Galinhas, Brazil, March 21-25, 2011 (English)
AOSD (2011).
11
A theory of software product line refinement. (English)
Cavalcanti, Ana (ed.) et al., Theoretical aspects of computing ‒ ICTAC 2010. 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1‒3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14807-1/pbk). Lecture Notes in Computer Science 6255, 15-43 (2010).
12
Testing techniques in software engineering. Second Pernambuco summer school on software engineering, PSSE 2007, Recife, Brazil, December 3‒7, 2007. Revised lectures. (English)
Lecture Notes in Computer Science 6153. Berlin: Springer (ISBN 978-3-642-14334-2/pbk). ix, 313~p. EUR~57.78 (2010).
13
A theory of software product line refinement (English)
ICTAC, 15-43 (2010).
14
io-port 70443225 Torres, Mário Henrique C.;
Kulesza, Uirá;
Sousa, Matheus;
Batista, Thaís Vasconcelos;
Teixeira, Leopoldo;
Borba, Paulo;
Cirilo, Elder;
De Lucena, Carlos José Pereira;
Braga, Rosana T. V.;
Masiero, Paulo Cesar
Assessment of product derivation tools in the evolution of software product lines: an empirical study (English)
FOSD, 10-17 (2010).
15
Synchronizing model and program refactoring (English)
SBMF, 96-111 (2010).
16
Towards feature modularization (English)
SPLASH/OOPSLA Companion, 225-226 (2010).
17
Emergent feature modularization (English)
SPLASH/OOPSLA Companion, 11-18 (2010).
18
A complete set of object modeling laws for alloy. (English)
Oliveira, Marcel Vinícius Medeiros (ed.) et al., Formal methods: Foundations and applications. 12th Brazilian symposium on formal methods, SBMF 2009, Gramado, Brazil, August 19‒21, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-10451-0/pbk). Lecture Notes in Computer Science 5902, 204-219 (2009).
19
Modeling scenario variability as crosscutting mechanisms (English)
AOSD, 125-136 (2009).
20
Result 1 to 20 of 74 total
Start
Contact
Print
General Help
