Home‎ > ‎

Publications


[Papers]  [Thesis] 

  Papers [Top]
    • José Eduardo Fernandes, Ricardo J. Machado, João Álvaro Carvalho. Design Methodologies for Pervasive Information Systems. Soraya Kouadri Mostéfaoui, Zakaria Maamar, George M. Giaglis (Eds.), Advances in Ubiquitous Computing: Future Paradigms and Directions, Idea Group Publishing, Hershey, U.S.A., 2007. [in print]
    • João M. Fernandes, Ricardo J. Machado. Teaching Embedded Systems Engineering in a Software-Oriented Computing Degree. Proceedings of the 37th ASEE/IEEE Annual Frontiers in Education Conference – FIE 2007, Milwaukee, U.S.A., October, 2007, IEEE Computer Society Press, Los Alamitos, California, U.S.A. [in print]
    • Alexandre Bragança, Ricardo J. Machado. Automating Mappings between Use Case Diagrams and Feature Models for Software Product Lines. Proceedings of the 11th International Software Product Line Conference – SPLC 2007, Kyoto, Japan, September, 2007, IEEE Computer Society Press, Los Alamitos, California, U.S.A. [in print]
    • Ricardo J. Machado, Kristian Bisgaard Lassen, Sérgio Oliveira, Marco Couto, Patrícia Pinto. Requirements Validation: Execution of UML Models with CPN Tools. International Journal on Software Tools for Technology Transfer (STTT), vol. 9, no. 3-4, pp. 353-370, June, 2007, Springer-Verlag, [ISSN-1433-2779]. [© Springer link]
    • Alexandre Bragança, Ricardo J. Machado. Adopting Computational Independent Models for Derivation of Architectural Requirements of Software Product Lines. João M. Fernandes, Ricardo J. Machado, Ridha Khedri, Shiobán Clark (Eds.), Proceedings of the 4th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software - MOMPES’07 (within the 7th European Joint Conferences on Theory and Practice of Software - ETAPS 2007), Braga, Portugal, March, 2007, pp. 91-101, IEEE Computer Society Press, Los Alamitos, California, U.S.A., [ISBN-0-7695-2769-8]. [© IEEE link]
    • Francisco Duarte, João M. Fernandes, Ricardo J. Machado. Business Modeling in Process-Oriented Organizations for RUP-based Software Development. Peter Loos, Peter Fettke (Eds.), Reference Modeling for Business Systems Analysis, section II: Reference Modeling Models, chap. V, pp. 98-117, Idea Group Publishing, Hershey, U.S.A., October, 2006, [ISBN-1-59904-054-9]. [© IGP link]
    • João M. Fernandes, Ricardo J. Machado. A Two-Year Software Engineering M.Sc. Degree Designed under the Bologna Declaration Principles. Proceedings of the 1st International Conference on Software Engineering Advances - ICSEA’06, Track on Software Economics, Adoption, and Education, Tahiti, October, 2006, IEEE Computer Society Press, Los Alamitos, California, U.S.A., [ISBN-0-7695-2703-5]. [© IEEE link]
    • João M. Fernandes, Ricardo J. Machado, Paula Monteiro, Helena Rodrigues. A Demonstration Case on the Transformation of Software Architectures for Service Specification. Bernd Kleinjohann, Lisa Kleinjohann, Ricardo J. Machado, Carlos Eduardo Pereira, P. S. Thiagarajan (Eds.). From Model-Driven Design to Resource Management for Distributed Embedded Systems, pp. 235-244, IFIP Series vol. 225, Springer-Verlag, New York, U.S.A., October, 2006, [ISBN-0-387-39361-7]. (Proceedings of the 5th IFIP Working Conference on Distributed and Parallel Embedded Systems - DIPES 2006, Braga, Portugal, October, 2006) [© Springer link]
    • Alexandre Bragança, Ricardo J. Machado. Extending the UML2 Metamodel for Complementary Usages of the «extend» Relationship in Use Case Variability Specification. Proceedings of the 10th International Software Product Line Conference - SPLC 2006, Session of Variability Management, Baltimore, Maryland, U.S.A., August, 2006, pp. 123-130, IEEE Computer Society Press, Los Alamitos, California, U.S.A., [ISBN-0-7695-2599-7]. [© IEEE link]
    • Ricardo J. Machado, João M. Fernandes, Paula Monteiro, Helena Rodrigues. Refinement of Software Architectures by Recursive Model Transformations. Jürgen Münch, Matias Vierimaa (Eds.), Proceedings of the 7th International Conference on Product Focused Software Process Improvement - PROFES’06, Amsterdam, Netherland, June, 2006, pp. 422-428, LNCS Series vol. 4034, Springer-Verlag, Berlin Heidelberg, Germany, [ISBN-3-540-34682-1]. [© Springer link]
    • Johan Lilius, Ricardo J. Machado, Dragos Truscan, João M. Fernandes, Ivan Porres. Guest Editors' Foreword: Editorial NJC Special Section on Model-Based Methodologies for Pervasive and Embedded Software. Nordic Journal of Computing (NJC), vol. 12, no. 3, pp. 198-199, Fall, 2005, Helsinki, Finland, [ISSN-1236-6064]. [© NJC link]
    • Ricardo J. Machado, Kristian Bisgaard Lassen, Sérgio Oliveira, Marco Couto, Patrícia Pinto. Execution of UML Models with CPN Tools for Workflow Requirements Validation. Kurt Jensen (Ed.), Proceedings of the 6th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools - CPN’05, pp. 231-250, Aarhus, Denmark, October, 2005, DAIMI PB-576, [ISSN-0105-8517]. [© DAIMI link]
    • Ricardo J. Machado, João M. Fernandes. Integration of Embedded Software with Corporate Information Systems. Achim Rettberg, Mauro C. Zanella, Franz J. Rammig (Eds.), From Specification to Embedded Systems Application, pp. 169-178, IFIP Series vol. 184, Springer-Verlag, New York, U.S.A., August, 2005, [ISBN-0-387-27557-6]. (Proceedings of the IFIP/SBC International Embedded Systems Symposium - IESS 2005, Session of Network and Communication Systems, Manaus, Brazil, August, 2005) [© Springer link]
    • Ricardo J. Machado, Isabel Ramos, João M. Fernandes. Specification of Requirements Models. Aybüke Aurum, Claes Wohlim (Eds.), Engineering and Managing Software Requirements, chap. 3, pp. 47-68, Springer-Verlag, Berlin Heidelberg, Germany, July, 2005, [ISBN-3-540-25043-3]. [© Springer link]
    • Luís Pinto Ferreira, Guilherme A. Pereira, Ricardo J. Machado. Geração Automática de Modelos de Simulação de uma Linha de Montagem de Auto Rádios. Investigação Operacional, Revista da Associação Portuguesa de Investigação Operacional, vol. 25, no. 1, pp. 37-62. Lisboa, Portugal, Junho, 2005, [ISSN-0874-5161].
    • Alexandre Bragança, Ricardo J. Machado. Deriving Software Product Line’s Architectural Requirements from Use Cases: An Experimental Approach. Johan Lilus, Ricardo J. Machado, Dragus Truscan, João M. Fernandes (Eds.), Proceedings of the 2nd International Workshop on Model-Based Methodologies for Pervasive and Embedded Software - MOMPES’05 (within the 5th IEEE/ACM International Conference on Application of Concurrency to System Design - ACSD 2005), Session of Modeling with UML, Rennes, France, June, 2005, pp. 77-91, TUCS General Publication no. 39, Turku, Finland, [ISBN-952-12-1556-9], [ISSN-1239-1905]. [© TUCS link]
    • Ricardo J. Machado, João M. Fernandes, Paula Monteiro, Helena Rodrigues. Transformation of UML Models for Service-Oriented Software Architectures. Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems - ECBS 2005, Session of Requirements Engineering, Greenbelt, Maryland, U.S.A., April, 2005, pp. 173-182, IEEE Computer Society Press, Los Alamitos, California, U.S.A., [ISBN-0-7695-2308-0]. [© IEEE link]
    • Alexandre Bragança, Ricardo J. Machado. A Methodological Approach to Domain Engineering for Software Variability Enhancement. Magdy Serour (Ed.), Proceedings of the 2nd Workshop on Method Engineering for Object Oriented and Component Based Development - ME’04 (within the 19th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA’04), Vancouver, Canada, October, 2004, pp. 39-50, COTAR Edition, Sydney, Australia, [ISBN-0-9581915-3-0].
    • Ricardo J. Machado, João M. Fernandes. A Multi-level Design Pattern for Embedded Software. Bernd Kleinjohann, Guang R. Gao, Hermann Kopetz, Lisa Kleinjohann, Achim Rettberg (Eds.), Design Methods and Applications for Distributed Embedded Systems, pp. 247-256, IFIP Series vol. 150, Kluwer Academic Publishers, Boston, U.S.A., August, 2004, [ISBN-1-4020-8148-0]. (Proceedings of the 18th IFIP World Computer Congress - IFIP WCC 2004, 4th IFIP Working Conference on Distributed and Parallel Embedded Systems - DIPES’04, Session of Design Methodologies and User Interfaces, Toulouse, France, August, 2004) [© Springer link]
    • Alexandre Bragança, Ricardo J. Machado. Run-time Variability Issues in Software Product Lines. Stan Jarzabek, Dirk Muthig (Eds.), Proceedings of the Workshop on Implementation of Software Product Lines and Reusable Components (within the 8th International Conference on Software Reuse - ICRS 8), Madrid, Spain, July, 2004, pp. 6-15, Fraunhofer IESE Report no. 122.04/E, Keiserslautern, Germany. [© IESE link]
    • Alexandre Bragança, Ricardo J. Machado. Engenharia de Domínio no Suporte ao Aumento de Flexibilidade nos Sistemas de Software. Actas do 5o Encontro para a Qualidade nas Tecnologias da Informação e Comunicações - QUATIC’2004, Technical Session of Software Product Quality, Porto, Portugal, Outubro, 2004, pp. 15-21, Edição IPQ, [ISBN-972-763-069-3].
    • José Eduardo Fernandes, Ricardo J. Machado, João Álvaro Carvalho. Model-Driven Methodologies for Pervasive Information Systems Development. João M. Fernandes, Johan Lilus, Ricardo J. Machado, Ivan Porres (Eds.), Proceedings of the 1st International Workshop on Model-Based Methodologies for Pervasive and Embedded Software - MOMPES’04 (within the 4th IEEE International Conference on Application of Concurrency to System Design - ACSD 2004), Session of Software Methodologies and Pervasive Systems, Hamilton, Ontario, Canada, June, 2004, pp. 15-23, TUCS General Publication no. 29, Turku, Finland, [ISBN-952-12-1359-0], [ISSN-1239-1905]. [© TUCS link]
    • David Arouca, Carlos Figueiredo, Rui José, Ricardo J. Machado, Paula Monteiro, Adriano Moreira, Jason Pascoe, Luís Pinheiro, Helena Rodrigues, Leonel Santos, Maribel Santos, Abílio Silva, Dirk Tilsner. Os Sistemas de Informação Geográfica no Suporte a Serviços Móveis para o Cidadão. Actas do VIII Encontro de Utilizadores de Informação Geográfica - eSIG 2004, Sessão de Transportes e Redes de Utilidade Pública, Oeiras, Portugal, Junho, 2004.
    • Luís Pinto Ferreira, Guilherme A. Pereira, Ricardo J. Machado. A Simulação como Ferramenta de Apoio à Decisão em Engenharia de Produção – o Sistema GAMS. VI Congreso Galego de Estatística e Investigación de Operacións - SGAPEIO’03, Sesión de Probabilidad: Aplicacións e Métodos, Vigo, Espanha, Novembro, 2003, pp. 239-244.
    • Ricardo J. Machado, João M. Fernandes. Heterogeneous Information Systems Integration: Organizations and Methodologies. Markku Oivo, Seija Komi-Sirviö (Eds.), Proceedings of the 4th International Conference on Product Focused Software Process Improvement - PROFES’02, Session of Methods and Techniques, Rovaniemi, Finland, December, 2002, pp. 629-643, LNCS Series vol. 2559, Springer-Verlag, Berlin Heidelberg, Germany, [ISBN-3-540-00234-0]. [© Springer link]
    • João M. Fernandes, Ricardo J. Machado. Can UML be a System-Level Language for Embedded Software? Bernd Kleinjohann, K.H. (Kane) Kim, Lisa Kleinjohann, Achim Rettberg (Eds.), Design and Analysis of Distributed Embedded Systems, chap. 1, pp. 1-10, IFIP Series vol. 91, Kluwer Academic Publishers, Boston, U.S.A., August, 2002, [ISBN-1-4020-7156-6]. (Proceedings of the 7th IFIP World Computer Congress - IFIP WCC 2002, 3rd Stream of Distributed and Parallel Embedded Systems - DIPES'02, Session of Modelling and Specification, Montreal, Canada, August, 2002) [© Springer link]
    • João M. Fernandes, Ricardo J. Machado. System-Level Object-Orientation in the Specification and Validation of Embedded Systems. Proceedings of the 14th SBC/IFIP/ACM Symposium on Integrated Circuits and System Design - SBCCI’01, Session of Embedded Systems, Pirenópolis, Brazil, August, 2001, pp. 8-13, IEEE Computer Society Press, Los Alamitos, California, U.S.A., [ISBN-0-7695-1333-6]. [© IEEE link]
    • João M. Fernandes, Ricardo J. Machado. From Use Cases to Objects: An Industrial Information Systems Case Study Analysis. X. Wang, S. Patel, R.H. Johnston (Eds.), Proceedings of the 7th International Conference on Object-Oriented Information Systems - OOIS 2001, Session of Use Case for Requirement Analysis, Calgary, Canada, August, 2001, pp. 319-328, Springer-Verlag, London, U.K., [ISBN-1-85233-546-7].
    • Ricardo J. Machado, João M. Fernandes. A Petri Net Meta-Model to Develop Software Components for Embedded Systems. Proceedings of the 2nd IEEE/FME International Conference on Application of Concurrency to System Design - ACSD 2001, Session of Codesign and Embedded Systems, Newcastle Upon Tyne, U.K., June, 2001, pp. 113-122, IEEE Computer Society Press, Los Alamitos, California, U.S.A., [ISBN-0-7695-1071-x]. [© IEEE link]
    • Sérgio J. Dias, Ricardo J. Machado, João M. Fernandes. Multithreading em Supervisão Industrial: Descrição de um Kernel de Tempo Real. Actas do 5º Encontro Nacional do Colégio de Engenharia Electrotécnica da Ordem dos Engenheiros - ENCEE’01, Sessão de Automação Industrial, Matosinhos, Portugal, Abril, 2001, pp. 109-116.
    • Manuel M. Carvalho, João M. Fernandes, Ricardo J. Machado. Componentes de Software em LabVIEW para Integração em Sistemas de Informação Industriais. Actas do 5º Encontro Nacional do Colégio de Engenharia Electrotécnica da Ordem dos Engenheiros - ENCEE’01, Sessão de Controlo e Instrumentação, Matosinhos, Portugal, Abril, 2001, pp. 27-34.
    • João M. Fernandes, Ricardo J. Machado. Object-Oriented Inheritance of Statecharts for Control Applications. Proceedings of the 4th APCA Portuguese Conference on Automatic Control - CONTROLO’2000, Session of Modelling, Identification and Simulation, Guimarães, Portugal, October, 2000, pp. 232-237, [ISBN-972-98603-0-0].
    • Ricardo J. Machado, João M. Fernandes, Henrique D. Santos. An Object Oriented Approach to the Co -Design of Industrial Control-Based Information Systems. Proceedings of the 4th APCA Portuguese Conference on Automatic Control - CONTROLO’2000, Special Session of Methodologies for Embedded Control Systems Codesign - MESC, Guimarães, Portugal, October, 2000, pp. 570-575 [ISBN-972-98603-0-0].
    • Ricardo J. Machado, João M. Fernandes, Henrique D. Santos. A Methodology for Complex Embedded Systems Design: Petri Nets within a UML Approach. Bernd Kleinjohann (Ed.), Architecture and Design of Distributed Embedded Systems, chap. 1, pp. 1-10, IFIP Series vol. 61, Kluwer Academic Publishers, Boston, U.S.A., April, 2001, [ISBN-0-7923-7345-6]. (Proceedings of the 2nd IFIP International Workshop on Distributed and Parallel Embedded Systems - DIPES’00, Session of Methodologies, Paderborn, Germany, October, 2000) [© Springer link]
    • Ricardo J. Machado, João M. Fernandes, Henrique D. Santos. Sistemas de Informação Industriais Orientados ao Controlo: Perspectivas Metodológicas para Tecnologias Reconfiguráveis. Ingenium, Revista da Ordem dos Engenheiros, II série, no. 50, pp. 88-92, Lisboa, Portugal, July/August, 2000, [ISSN-0870-5968].
    • João M. Fernandes, Ricardo J. Machado, Henrique D. Santos. Modeling Industrial Embedded Systems with UML. Proceedings of the 8th IEEE/IFIP/ACM International Workshop on Hardware/Software Co-Design - CODES’00, Session of System Level Modeling and Integration, San Diego, California, U.S.A., May, 2000, pp. 18-22, ACM Press, New York, U.S.A., [ACM-ISBN-1-58113-214-x], [IEEE-ISSN-1092-6100]. [© ACM link] [© IEEE link]
    • Ricardo J. Machado, João M. Fernandes, António J. Esteves, Henrique D. Santos. An Evolutionary Approach to the Use of Petri Net based Models: From Parallel Controllers to HW/SW Co-Design. Alex Yakovlev, Luís Gomes, Lucciano Lavagno (Eds.), Hardware Design and Petri Nets, chap. 11, pp. 205-222, Kluwer Academic Publishers, Boston, U.S.A., February, 2000, [ISBN-0-7923-7791-5]. [© Springer link]
  Thesis [Top]
  • O Risco e a Gestão do Risco em Projectos de Desenvolvimento de Sistemas de Informação, apresentada por António Soares Gomes Miguel para obtenção do grau de Doutor em Tecnologias e Sistemas de Informação, Universidade do Minho, Julho de 2002.
  • Gestão Temporal de Processos Suportados por Sistemas Workflow, apresentada por, Susana Maria Almeida Silva para obtenção do grau de Mestre, Mestrado em Sistemas de Informação, Universidade do Minho, Janeiro de 2002.
  • TAXSI: Taxionomia de Sistemas Informáticos, apresentada por Maria Paula Coutinho Dias de Morais para obtenção do grau de Doutor em Tecnologias e Sistemas de Informação, área de conhecimento de Engenharia e Gestão de Sistemas de Informação, Universidade do Minho, Janeiro 2002.
  • Os Sistemas de Bases de Dados no Contexto WWW: O Papel da Linguagem XML, apresentada por Artur Jorge Afonso de Sousa, para obtenção do grau de Mestre, Mestrado em Sistemas de Informação, Universidade do Minho, Outubro de 2001.
  • Influência da Maturidade da Função Sistema de Informação na Abordagem à Engenharia de Requisitos, apresentada por Álvaro Manuel Reis da Rocha para obtenção do grau de Doutor em Tecnologias e Sistemas de Informação, área de conhecimento de Engenharia e Gestão de Sistemas de Informação, Universidade do Minho, Janeiro 2001.