PhD Thesis
Nuno F. Rodrigues. Slicing Techniques Applied to Architectural Analysis of Legacy Software. PhD thesis, Escola de Engenharia, Universidade do Minho, Braga, 2008.
Thesis digital attachments
Haskel toy bank account systemHigher-order lazy slicing
CoordInspector
Graph isomorphism algorithm
2008
Nuno F. Rodrigues and Luís S. Barbosa. Coordinspector a tool for extracting coordination data from legacy code. In SCAM'08: Proceedings of the Eighth IEEE International Working Conference on Source Code Analysis and Manipulation, Washington, DC, USA, 2008. IEEE Computer Society. (To appear).
Nuno F. Rodrigues. Discovering coordination patterns. In Proc. of FACS 2008: 5th International Workshop on Formal Aspects of Component Software, Malaga, SP, 10-12 September 2008. (To appear).
Nuno F. Rodrigues and Luís S. Barbosa. Extracting and verifying coordination models from source code. In Proc. of the OpenCert 2008: 2nd International Workshop on Foundations and Techniques for Open Source Software Certi cation, pages 64-78, September 2008.
Nuno F. Rodrigues and Luís S. Barbosa. On the discovery of business processes orchestration patterns. In 2008 IEEE Congress on Services, pages 391-398, Washington, DC, USA, July 2008. IEEE Computer Society, IEEE Computer Society Press.
2007
Nuno F. Rodrigues and Luíss S. Barbosa. Higher-order lazy functional slicing. Journal of Universal Computer Science, 13(6):854-873, jun 2007. http://www.jucs.org/jucs_13_6/higher_order_lazy_functional.
2006
N. F. Rodrigues and M. B. Coelho. Medicis: A Personal Health Care Assistant. In Proc. Second International Conference of Innovative Views of .NET Technologies (IVNET'06). Springer-Verlag, 2006.
N.F. Rodrigues and L.S. Barbosa. Program Slicing by Calculation. Journal of Universal Computer Science, 12(7):828-848, 5 2006.
Silvia Breu, Marc Schlickling, and Nuno F. Rodrigues. 05451 group 5 Bananas, Dark Worlds, and AspectH. In David W. Binkley, Mark Harman, and Jens Krinke, editors, Beyond Program Slicing, number 05451 in Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
Nuno F. Rodrigues and Luís S. Barbosa. Slicing Functional Programs by Calculation. In David W. Binkley, Mark Harman, and Jens Krinke, editors, Be- yond Program Slicing, number 05451 in Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
2005
N. Rodrigues and L. S. Barbosa. Component Identification Through Program Slicing. In Proc. Formal Aspects of Component Software (FACS’05). ENTCS (to appear), Elsevier, 2005.
N. F. Rodrigues, E. Sousa, J. Rodrigues, and F. Santos. A mobile systems interface protocol. In Proc. Innovative Views of .NET Technologies (IVNET’2005). 2005.
N. Rodrigues and L. S. Barbosa. Prototyping concurrent systems in c omega. In Proc. Innovative Views of .NET Technologies (IVNET’2005). 2005.
N. Rodrigues and L. S. Barbosa. Architectural prototyping: From ccs to .net. In Proc. 7th Brazilian Symposium on Formal Methods (SBMF'2004). ENTCS (to appear), Elsevier, 2005.
L. S. Barbosa, M. Sun, B. K. Aichernig, and N. Rodrigues. On the semantics of componentware: a coalgebraic perspective. In Jifeng He and Zhiming Liu, editors, Mathematical Frameworks for Component Software: Models for Analysis and Synthesis, Series on Component- Based Development. World Scientific, (in print), 2005.
2004
N. Rodrigues and L. S. Barbosa. Prototyping Behavioural Specifications in the .Net Framework. In A. Mota and A. Moura, editors, Proc. 7th Brazilian Symposium on Formal Methods (SBMF’2004), pages 108-118. UFPE, November 2004.
2003
On the Specification of a Component Repository, Rodrigues, N. and Barbosa, L., FACS’03 (Int. Workshop on Formal Aspects of Component Software), FME, Pisa. September, 2003.
Drafts
An Interactive State Monad Example, Rodrigues, N. 2005.