Vítor Estêvão Silva Souza

Idiomas

Áreas de atuação

Organização de eventos

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• BERNABÉ, CÉSAR H. ; QUERALT-ROSINACH, NÚRIA ; Silva Souza, Vítor E. ; BONINO DA SILVA SANTOS, LUIZ OLAVO ; MONS, BAREND ; JACOBSEN, ANNIKA ; ROOS, MARCO . The use of foundational ontologies in biomedical research. Journal of Biomedical Semantics , v. 14, p. 21, 2023.

• REGINATO, CÁSSIO C. ; SALAMON, JORDANA S. ; NOGUEIRA, GABRIEL G. ; BARCELLOS, MONALESSA P. ; Souza, Vítor E. Silva ; MONTEIRO, MAXWELL E. ; Guizzardi, Renata . A goal-oriented framework for ontology reuse. APPLIED ONTOLOGY (ONLINE) , v. 17, p. 365-399, 2022.

• DUARTE, BRUNO BORLINI ; de Almeida Falbo, Ricardo ; GUIZZARDI, GIANCARLO ; Guizzardi, Renata ; Souza, Vítor E. Silva . An ontological analysis of software system anomalies and their associated risks. DATA & KNOWLEDGE ENGINEERING , v. 134, p. 101892, 2021.

• CAMPOS, PATRICIA M.C. ; REGINATO, CASSIO C. ; ALMEIDA, JOÃO PAULO A. ; BARCELLOS, MONALESSA P. ; de Almeida Falbo, Ricardo ; Silva Souza, Vítor E. ; GUIZZARDI, GIANCARLO . Finding reusable structured resources for the integration of environmental research data. ENVIRONMENTAL MODELLING & SOFTWARE , v. 133, p. 104813, 2020.

• RODRIGUES, ALEXANDRE ; MARTINUZZO, LUCAS ; VAREJAO, FLAVIO MIGUEL ; Silva Souza, Vítor E. ; OLIVEIRA-SANTOS, THIAGO . Reducing power companies billing costs via empirical bayes and seasonality remover. ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE , v. 81, p. 387-396, 2019.

• FREITAS, M. L. ; GUIZZARDI, R. S. S. ; Souza, Vitor E. Silva . GRALD: an Approach for Goal and Risk Analysis in the Development of Information Systems for the Web of Data. JOURNAL OF SOFTWARE ENGINEERING RESEARCH AND DEVELOPMENT , v. 7, p. 1-22, 2019.

• Angelopoulos, Konstantinos ; Papadopoulos, Alessandro ; Souza, Vítor E. Silva ; Mylopoulos, John . Engineering Self-Adaptive Software Systems. ACM Transactions on Autonomous and Adaptive Systems , v. 13, p. 1-27, 2018.

• DUARTE, B. B. ; SOUZA, V. E. S. ; LEAL, A. L. C. ; FALBO, R. A. ; GUIZZARDI, G. ; GUIZZARDI, R. S. S. . Ontological foundations for software requirements with a focus on requirements at runtime. APPLIED ONTOLOGY (ONLINE) , v. 13, p. 73-105, 2018.

• PECANHA, C. C. ; DUARTE, B. B. ; FALBO, R. A. ; SOUZA, V. E. S. . RASO: an Ontology on Requirements for the Development of Adaptive Systems. CADERNOS DO IME. SÉRIE INFORMÁTICA , v. 41, p. 57-76, 2018.

• SILVA'SOUZA, VÍTOR E. ; Mylopoulos, John . Designing an adaptive computer-aided ambulance dispatch system with Zanshin: an experience report. Software, Practice & Experience (Print) , v. 45, p. n/a-n/a, 2013.

• SOUZA, VÍTOR E. SILVA ; Lapouchnian, Alexei ; ANGELOPOULOS, KONSTANTINOS ; Mylopoulos, John . Requirements-driven software evolution. Computer Science (Berlin. Print) , v. 2034, p. 1, 2012.

• SOUZA, V. E. S. . The FrameWeb Approach to Web Engineering: Past, Present and Future. In: João Paulo A. Almeida; Giancarlo Guizzardi. (Org.). Engineering Ontologies and Ontologies for Engineering: Celebrating Ricardo Falbo?s Career. 1ed.Vitória, ES: NEMO, 2020, v. , p. 100-124.

• Souza, Vítor E. Silva ; Lapouchnian, Alexei ; Robinson, William N. ; Mylopoulos, John . Awareness Requirements. In: Rogério de Lemos; Holger Giese; Hausi A. Müller; Mary Shaw. (Org.). Lecture Notes in Computer Science. 1ed.Heidelberg, Alemanha: Springer Berlin Heidelberg, 2013, v. 7475, p. 133-161.

• SOUZA, V. E. S. ; FALBO, R. A. ; GUIZZARDI, G. . Designing Web Information Systems for a Framework-based Construction. In: Terry Halpin; John Krogstie; Erik Proper. (Org.). Innovations in Information Systems Modeling: Methods and Best Practices. 1ed.Hershey, Pennsylvania, EUA: IGI Global, 2009, v. , p. 203-237.

• Souza, Vítor Estêvão Silva . Novidades do Hibernate 4. Java Magazine, p. 30 - 39, 01 maio 2013.

• Souza, Vitor Estêvão Silva . Java EE 6 Web Profile. Java Magazine, p. 12 - 25, 01 fev. 2012.

• Souza, Vitor Estêvão Silva . Spring Social: Introdução. Java Magazine, p. 38 - 50, 01 jan. 2012.

• Souza, Vitor Estêvão Silva . HTML 5 e Java. Java Magazine, 01 nov. 2011.

• Souza, Vitor Estêvão Silva . Além da IDE - Parte 4. Java Magazine, 01 out. 2011.

• Souza, Vitor Estêvão Silva . Java 7: Aperfeiçoando o Java. Java Magazine, 01 set. 2011.

• Souza, Vitor Estêvão Silva . Além da IDE - Parte 3. Java Magazine, 01 ago. 2011.

• Souza, Vitor Estêvão Silva . Além da IDE - Parte 2. Java Magazine, 01 jul. 2011.

• Souza, Vitor Estêvão Silva . Além da IDE - Parte 1. Java Magazine, 01 jun. 2011.

• Souza, Vitor Estêvão Silva . Novidades do GlassFish 3.1. Java Magazine, 01 maio 2011.

• Souza, Vitor Estêvão Silva . Eclipse Orion. Java Magazine, 01 abr. 2011.

• Souza, Vitor Estêvão Silva . ICEfaces 2.0. Java Magazine, 01 mar. 2011.

• Souza, Vitor Estêvão Silva . Novidades do NetBeans 7.0. Java Magazine, 01 jan. 2011.

• Souza, Vitor Estêvão Silva . CDI ? Contextos e Dependências - Parte 2. Java Magazine, 01 nov. 2010.

• Souza, Vitor Estêvão Silva . CDI ? Contextos e Dependências - Parte 1. Java Magazine, 01 out. 2010.

• Souza, Vitor Estêvão Silva . Java EE 6 na Prática ? Parte 3. Java Magazine, 01 ago. 2010.

• Souza, Vitor Estêvão Silva . Java EE 6 na Prática ? Parte 2. Java Magazine, 01 jul. 2010.

• Souza, Vitor Estêvão Silva . Java EE 6 na Prática ? Parte 1. Java Magazine, 01 jun. 2010.

• Souza, Vitor Estêvão Silva . WebApps com Struts2 ? Parte 3. Java Magazine, 01 fev. 2010.

• Souza, Vitor Estêvão Silva . WebApps com Struts2 ? Parte 2. Java Magazine, 01 jan. 2010.

• Souza, Vitor Estêvão Silva . WebApps com Struts2 ? Parte 1. Java Magazine, 01 dez. 2009.

• Souza, Vitor Estêvão Silva . JBoss Tools 3.0. Java Magazine, 01 set. 2009.

• Souza, Vitor Estêvão Silva . Closures em Java. Java Magazine, p. 40 - 47, 01 jan. 2009.

• GOMES, C. A. D. ; MONFARDINI, G. K. Q. ; SALAMON, J. S. ; SANGALI, R. S. ; TIMOTEO, I. S. R. ; BARCELLOS, M. P. ; SOUZA, V. E. S. . Investigating Tool Usage in Ontology Engineering: a Survey. In: 17th Seminar on Ontology Research in Brazil (ONTOBRAS 2024), 2024, Vitória, ES. Proc. of the 17th Seminar on Ontology Research in Brazil (ONTOBRAS 2024), 2024.

• BARCELLOS, M. P. ; SOUZA, V. E. S. ; COSTA, P. D. ; AGUIAR, C. Z. . Using Extension Projects to Improve Software Engineering Education and Software Quality: The Experience of the ?Ricardo de Almeida Falbo? Software Engineering Practices Laboratory. In: 23rd Brazilian Symposium on Software Quality, 2024, Salvador, BA, Brazil. SBQS '24: Proceedings of the XXIII Brazilian Symposium on Software Quality, 2024.

• AGUIAR, C. Z. ; SOUZA, V. E. S. . SABiOx: the Extended Systematic Approach for Building Ontologies. In: 17th Seminar on Ontology Research in Brazil (ONTOBRAS 2024), 2024, Vitória, ES. Proc. of the 17th Seminar on Ontology Research in Brazil (ONTOBRAS 2024), 2024.

• GUTERRES, C. S. ; SOUZA, V. E. S. . DepIn-O: an Ontology on Dependency Injection Software Frameworks. In: 16th Seminar on Ontology Research in Brazil (ONTOBRAS 2023), 2023, Brasília, DF, Brasil. Proc. of the 16th Seminar on Ontology Research in Brazil (ONTOBRAS 2023), 2023.

• HOPPE, PEDRO HENRIQUE BRUNORO ; Souza, Vítor Estêvão Silva . Support for Single Page Application Frameworks on FrameWeb. In: WebMedia '23: Brazilian Symposium on Multimedia and the Web, 2023, Ribeirão Preto Brazil. Proceedings of the 29th Brazilian Symposium on Multimedia and the Web. New York: ACM, 2023. p. 260-268.

• AGUIAR, C. Z. ; ZANETTI, F. L. ; SOUZA, V. E. S. . Source Code Interoperability based on Ontology. In: 17º Simpósio Brasileiro de Sistemas de Informação, 2021, Uberlândia, MG. Proc. of the 17th Brazilian Symposium on Information Systems, 2021.

• NOGUEIRA, GABRIEL ; BARCELLOS, M. P. ; SOUZA, V. E. S. . Towards a Characterization to Aid in Ontology Reuse. In: 14th Seminar on Ontology Research in Brazil (ONTOBRAS 2021), 2021. Proc. of the 14th Seminar on Ontology Research in Brazil (ONTOBRAS 2021), 2021.

• REGINATO, CASSIO ; SALAMON, JORDANA ; NOGUEIRA, GABRIEL ; BARCELLOS, MONALESSA ; SOUZA, VITOR ; MONTEIRO, MAXWELL . GO-FOR: A Goal-Oriented Framework for Ontology Reuse. In: 2019 IEEE 20th International Conference on Information Reuse and Integration for Data Science (IRI), 2019, Los Angeles. 2019 IEEE 20th International Conference on Information Reuse and Integration for Data Science (IRI), 2019. p. 99-106.

• ZANETTI, F. L. ; AGUIAR, C. Z. ; SOUZA, V. E. S. . Representação Ontológica de Frameworks de Mapeamento Objeto/Relacional. In: 12th Seminar on Ontology Research in Brazil (ONTOBRAS 2019), 2019, Porto Alegre, RS, Brazil. Proc. of the 12th Seminar on Ontology Research in Brazil (ONTOBRAS 2019), 2019.

• AGUIAR, C. Z. ; FALBO, R. A. ; SOUZA, V. E. S. . OOC-O: A Reference Ontology on Object-Oriented Code. In: 38th International Conference on Conceptual Modeling (ER 2019), 2019, Salvador, BA, Brazil. Conceptual Modeling - 38th International Conference, ER 2019, Salvador, Brazil, November 4?7, 2019, Proceedings, 2019. p. 13-27.

• ALMENDRA, C. ; SILVA, C. ; SOUZA, V. E. S. ; GUIZZARDI, R. S. S. ; BERNABÉ, C. H. . iStar2.0-OWL: an Operational Ontology for iStar. In: 12th International i* Workshop (iStar 2019), 2019, Salvador, BA, Brazil. Proc. of the 12th International i* Workshop (iStar 2019), 2019. p. 1-7.

• BERNABÉ, C. H. ; NEGRI, P. N. ; SOUZA, V. E. S. ; GUIZZARDI, R. S. S. ; SILVA, C. . Using GORO to Provide Ontological Interpretations of iStar Constructs. In: 12th International i* Workshop (iStar 2019), 2019, Salvador, BA, Brazil. Proc. of the 12th International i* Workshop (iStar 2019), 2019. p. 1-7.

• BERNABÉ, C. H. ; SOUZA, V. E. S. ; FALBO, R. A. ; GUIZZARDI, R. S. S. ; SILVA, C. . GORO 2.0: Evolving an Ontology for Goal-Oriented Requirements Engineering. In: 2019 International Workshop on Ontologies and Conceptual Modelling (Onto.com 2019), 2019, Salvador, BA, Brazil. Advances in Conceptual Modeling. ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, 2019. p. 169-179.

• FREITAS, M. L. ; GUIZZARDI, R. S. S. ; SOUZA, V. E. S. . Goal and Risk Analysis in the Development of Information Systems for the Web of Data. In: 21st Ibero-American Conference on Software Engineering (CIbSE 2018), 2018, Bogotá, Colômbia. Proceedings of the 21st Ibero-American Conference on Software Engineering (CIbSE 2018), 2018. p. 473-486.

• MONJARDIM, G. E. ; RODRIGUES, A. ; VAREJAO, F. M. ; SOUZA, V. E. S. ; RIBEIRO, M. P. . A Domain-Specific Language for Fault Diagnosis in Electrical Submersible Pumps. In: IEEE 16th International Conference on Industrial Informatics (INDIN 2018), 2018, Porto, Portugal. Proceedings of the IEEE 16th International Conference on Industrial Informatics (INDIN 2018), 2018.

• DUARTE, B. B. ; FALBO, R. A. ; GUIZZARDI, G. ; GUIZZARDI, R. S. S. ; SOUZA, V. E. S. . Towards an Ontology of Software Defects, Errors and Failures. In: 37th International Conference on Conceptual Modeling (ER 2018), 2018, Xi?an, China. Proceedings of the 37th International Conference on Conceptual Modeling (ER 2018), 2018. p. 349-362.

• DO PRADO, RODOLFO COSTA ; Souza, Vítor E. Silva . Securing FrameWeb. In: the 24th Brazilian Symposium, 2018, Salvador. Proceedings of the 24th Brazilian Symposium on Multimedia and the Web - WebMedia '18. New York: ACM Press, 2018. p. 213-220.

• AGUIAR, C. Z. ; FALBO, R. A. ; SOUZA, V. E. S. . Ontological Representation of Relational Databases. In: 11th Seminar on Ontology Research in Brazil (ONTOBRAS 2018), 2018, São Paulo, SP, Brasil. Proceedings of the 11th Seminar on Ontology Research in Brazil (ONTOBRAS 2018), 2018. p. 140-151.

• SANTOS, L. A. ; MIRANDA, G. M. ; CAMPOS, S. L. ; FALBO, R. A. ; BARCELLOS, M. P. ; SOUZA, V. E. S. ; ALMEIDA, J. P. A. . Using an Ontology Network for Data Integration: A Case in the Public Security Domain. In: 11th Seminar on Ontology Research in Brazil (ONTOBRAS 2018), 2018, São Paulo, SP, Brasil. Proceedings of the 11th Seminar on Ontology Research in Brazil (ONTOBRAS 2018), 2018. p. 209-220.

• PECANHA, C. C. ; DUARTE, B. B. ; SOUZA, V. E. S. . RASO: an Ontology on Requirements for the Development of Adaptive Systems,. In: 21st Workshop on Requirements Engineering (WER 2018), 2018, Rio de Janeiro, RJ, Brasil. Proceedings of the 21st Workshop on Requirements Engineering (WER 2018), 2018. p. 1-14.

• ZUPELI, B. L. ; SOUZA, V. E. S. . Integração de um Gerador de Código ao FrameWeb Editor. In: 7º Workshop de Ferramentas e Aplicações, 24º Simpósio Brasileiro de Sistemas Multimedia e Web (WFA/WebMedia 2018),, 2018, Salvador, BA, Brasil. Anais Estendidos do 24º Simpósio Brasileiro de Sistemas Multimedia e Web - Workshop de Ferramentas e Aplicações (WFA/WebMedia 2018), 2018. p. 109-113.

• NEGRI, P. N. ; SOUZA, V. E. S. ; LEAL, A. L. C. ; FALBO, R. A. ; GUIZZARDI, G. . Towards an Ontology of Goal-Oriented Requirements. In: WER - Workshop on Requirements Engineering, 2017, Buenos Aires, Argentina. Proceedings of WER - Workshop on Requirements Engineering, 2017.

• BERNABÉ, C. H. ; NEGRI, P. N. ; DUARTE, B. B. ; LEAL, A. L. C. ; GUIZZARDI, R. S. S. ; SOUZA, V. E. S. . Unagi: Uma ferramenta para suporte à Modelagem de Requisitos de Sistemas Adaptativos. In: Sessão de Ferramentas do Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2017), 2017, Fortaleza, CE. Anais da Sessão de Ferramentas do 8º Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2017), 2017. p. 1-8.

• DE ALMEIDA, NILBER VITTORAZZI ; CAMPOS, SILAS LOUZADA ; Souza, Vítor E. Silva . A Model-Driven Approach for Code Generation for Web-based Information Systems Built with Frameworks. In: 23rd Brazillian Symposium on Multimedia and the Web, 2017, Gramado. Proceedings of the 23rd Brazillian Symposium on Multimedia and the Web - WebMedia '17. New York: ACM Press, 2017. p. 245-252.

• CAMPOS, S. L. ; SOUZA, V. E. S. . FrameWeb Editor: Uma Ferramenta CASE para suporte ao Método FrameWeb. In: 16º Workshop de Ferramentas e Aplicações, 23º Simpósio Brasileiro de Sistemas Multimedia e Web, 2017, Gramado, RS. Anais do 16º Workshop de Ferramentas e Aplicações, 23º Simpósio Brasileiro de Sistemas Multimedia e Web, 2017. p. 199-203.

• DUARTE, B. B. ; Souza, Vitor E. Silva ; LEAL, A. L. C. ; FALBO, R. A. ; GUIZZARDI, G. ; GUIZZARDI, R. S. S. . Towards an Ontology of Requirements at Runtime. In: 9th International Conference on Formal Ontology in Information Systems (FOIS 2016), 2016, Annecy, França. Formal Ontology in Information Systems. Amsterdã, Holanda: IOS Press, 2016. v. 283. p. 255-268.

• ANGELOPOULOS, KONSTANTINOS ; PAPADOPOULOS, ALESSANDRO V. ; Silva Souza, Vítor E. ; Mylopoulos, John . Model predictive control for software systems with CobRA. In: the 11th International Workshop, 2016, Austin. Proceedings of the 11th International Workshop on Software Engineering for Adaptive and Self-Managing Systems - SEAMS '16. New York: ACM Press, 2016. p. 35-46.

• CELINO, DANILLO R. ; REIS, LUANA VETTER ; MARTINS, BEATRIZ FRANCO ; Souza, Vítor E. Silva . A Framework-based Approach for the Integration of Web-based Information Systems on the Semantic Web. In: the 22nd Brazilian Symposium, 2016, Teresina. Proceedings of the 22nd Brazilian Symposium on Multimedia and the Web - Webmedia '16. New York: ACM Press, 2016. p. 231-238.

• Angelopoulos, Konstantinos ; Souza, Vitor E. Silva ; Mylopoulos, John . Capturing Variability in Adaptation Spaces: A Three-Peaks Approach. In: 34th International Conference on Conceptual Modeling, 2015, Estocolmo, Suécia. Conceptual Modeling - ER 2015. Cham, Suíça: Springer, 2015. v. 9381. p. 384-398.

• MARTINS, BEATRIZ FRANCO ; Souza, Vítor E. Silva . A Model-Driven Approach for the Design of Web Information Systems based on Frameworks. In: the 21st Brazilian Symposium, 2015, Manaus. Proceedings of the 21st Brazilian Symposium on Multimedia and the Web - WebMedia '15. New York: ACM Press. p. 41-48.

• ANGELOPOULOS, KONSTANTINOS ; Souza, Vítor E. Silva ; Mylopoulos, John . Dealing with multiple failures in zanshin: a control-theoretic approach. In: the 9th International Symposium, 2014, Hyderabad. Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems - SEAMS 2014. New York: ACM Press, 2014. p. 165-174.

• Pimentel, João ; Castro, Jaelson ; Mylopoulos, John ; Angelopoulos, Konstantinos ; Souza, Vitor E. Silva . From requirements to state charts via design refinement. In: 29th Annual ACM Symposium on Applied Computing (ACM SAC'14), 2014, Gyeongju, Coréia do Sul. SAC '14 Proceedings of the 29th Annual ACM Symposium on Applied Computing. Nova Iorque, NY, EUA: ACM, 2014. p. 995-1000.

• Genci Tallabaci ; Souza, Vitor E. Silva . Engineering adaptation with zanshin: an experience report. In: 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2013, San Francisco, CA, USA. Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. Piscataway, NJ, USA: IEEE Press, 2013. p. 93-102.

• Angelopoulos, Konstantinos ; Souza, Vitor E. Silva ; Pimentel, João . Requirements and architectural approaches to adaptive software systems: a comparative study. In: 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2013, San Francisco, CA, EUA. Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. Piscataway, NJ, USA: IEEE Press, 2013. p. 23-32.

• Souza, Vitor E. Silva ; Mazón, Jose-Norberto ; Garrigós, Irene ; Trujillo, Juan ; Mylopoulos, John . Monitoring strategic goals in data warehouses with awareness requirements. In: 27th Annual ACM Symposium on Applied Computing (SAC?12) ? Requirements Engineering track, 2012, Riva del Garda, Itália. SAC '12 Proceedings of the 27th Annual ACM Symposium on Applied Computing. Nova Iorque, Estados Unidos: ACM Press, 2012. p. 1075-1082.

• Souza, Vitor E. Silva ; Lapouchnian, Alexei ; Mylopoulos, John . (Requirement) evolution requirements for adaptive systems. In: 2012 7th International Symposium on Software Engineering for Adaptive and SelfManaging Systems (SEAMS), 2012, Zurich. 2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). p. 155-164.

• Souza, Vítor E. Silva ; Lapouchnian, Alexei ; Mylopoulos, John . Requirements-Driven Qualitative Adaptation. In: 20th International Conference on Cooperative Information Systems, 2012, Roma, Itália. On the Move to Meaningful Internet Systems: OTM 2012, Lecture Notes in Computer Science. Heidelberg, Alemanha: Springer, 2012. v. 7565. p. 342-361.

• SOUZA, V. E. S. ; LAPOUCHNIAN, A. ; ROBINSON, W. N. ; MYLOPOULOS, J. . Awareness Requirements for Adaptive Systems. In: SEAMS '11: 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2011, Honolulu, Estados Unidos. Proceeding of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. Nova Iorque, Estados Unidos: ACM Press, 2011. p. 60-69.

• Silva Souza, Vítor E. ; Lapouchnian, Alexei ; Mylopoulos, John . System Identification for Adaptive Software Systems: A Requirements Engineering Perspective. In: 30th International Conference on Conceptual Modeling, ER 2011, 2011, Bruxelas, Bélgica. Conceptual Modeling ? ER 2011, Lecture Notes in Computer Science. Heidelberg, Alemanha: Springer, 2011. v. 6998. p. 346-361.

• Ali, Raian ; Dalpiaz, Fabiano ; Giorgini, Paolo ; Souza, Vítor E. Silva . Requirements Evolution: From Assumptions to Reality. In: Exploring Modelling Methods for Systems Analysis and Design, 2011, Londres, Reino Unido. Enterprise, Business-Process and Information Systems Modeling, Lecture Notes in Business Information Processing. Heidelberg, Alemanha: Springer, 2011. v. 81. p. 372-382.

• Souza, Vítor E. Silva ; Mylopoulos, John . Monitoring and Diagnosing Malicious Attacks with Autonomic Software. In: 28th International Conference on Conceptual Modeling, ER 2009, 2009, Gramado, RS, Brasil. Conceptual Modeling - ER 2009, Lecture Notes in Computer Science. Heidelberg, Alemanha: Springer, 2009. v. 5829. p. 84-98.

• Souza, Vitór ; Zeni, Nicola ; Kiyavitskaya, Nadzeya ; Andritsos, Periklis ; Mich, Luisa ; Mylopoulos, John . Automating the Generation of Semantic Annotation Tools Using a Clustering Technique. In: 13th International Conference on Applications of Natural Language to Information Systems, NLDB 2008, 2008, Londres, Reino Unido. Natural Language and Information Systems, Lecture Notes in Computer Science. Heidelberg, Alemanha: Springer, 2008. v. 5039. p. 91-96.

• SOUZA, V. E. S. ; FALBO, R. A. . FrameWeb: a framework-based design method for web engineering. In: 2007 Euro American Conference On Telematics and Information Systems, 2007, Faro, Portugal. EATIS '07 Proceedings of the 2007 Euro American conference on Telematics and information systems. Nova Iorque, Estados Unidos: ACM Press, 2007.

• SOUZA, V. E. S. ; FALBO, R. A. ; GUIZZARDI, G. . A UML Profile for Modeling Framework-based Web Information Systems. In: 2007 Workshop on Exploring Modeling Methods for Systems Analysis and Design (EMMSAD'07), 2007, Trondheim, Noruega. Proceedings of the Workshop on Exploring Modeling Methods for Systems Analysis and Design (EMMSAD'07), held in conjunctiun with the 19th Conference on Advanced Information Systems (CAiSE'07). Trondheim, Noruega: Tapir Academic Press, 2007. p. 149-158.

• SOUZA, V. E. S. ; LOURENÇO, T. W. ; FALBO, R. A. ; GUIZZARDI, G. . S-FrameWeb ? a Framework-based Design Method for Web Engineering with Semantic Web Support. In: International Workshop on Web Information Systems Modeling (WISM 2007), 2007, Trondheim, Noruega. Proceedings of the 4th International Workshop on Web Information Systems Modeling, 2007. p. 55-66.

• SOUZA, V. E. S. ; FALBO, R. A. . Supporting Ontology Axiomatization and Evaluation in ODEd. In: 8º Workshop Iberoamericano de Ingeniería de Requisitos y Ambientes de Software (IDEAS 05), 2005, Valparaiso, Chile. Actas IDEAS '05 - 8º Workshop Iberoamericano de Ingeniería de Requisitos y Ambientes de Software. Valparaiso, Chile: IDEAS '05, 2005. p. 59-70.

• Souza, Vitor Estêvão Silva ; de Almeida Falbo, Ricardo . An agile approach for web systems engineering. In: 11th Brazilian Symposium on Multimedia and the Web (WebMedia?05), 2005, Poços de Caldas, MG. WebMedia '05 Proceedings of the 11th Brazilian Symposium on Multimedia and the web. Nova Iorque, Estados Unidos: ACM Press, 2005. p. 1-3.

• SOUZA, V. E. S. ; FALBO, R. A. . Construindo Axiomas e Avaliando Ontologias em ODEd. In: XVII Simpósio Brasileiro de Engenharia de Software, 2003, Manaus, AM.. Sessão de Ferramentas do Simpósio Brasileiro de Engenharia de Software (17.:2003 out. 8-9: Manaus). Manaus, AM: Editora da Universidade Federal do Amazonas, 2003. p. 7-12.

• Dalpiaz, Fabiano ; Souza, Vitor E. Silva ; Mylopoulos, John . The many faces of operationalization in goal-oriented requirements engineering. In: Tenth Asia-Pacific Conference on Conceptual Modelling, 2014, Auckland, New Zealand. Proceedings of the 10th Asia-Pacific Conference on Conceptual Modelling. Darlinghurst, Australia: Australian Computer Society, 2014. v. 154. p. 3-7.

• Pimentel, João ; Angelopoulos, Konstantinos ; Souza, Vitor E. Silva ; Mylopoulos, John ; Castro, Jaelson . From Requirements to Architectures for Better Adaptive Software Systems. In: 6th International i* Workshop (iStar 2013), 2013, Valencia, Espanha. Proceedings of the 6th International i* Workshop (iStar 2013). Aachen, Alemanha: CEUR, 2013. v. 978. p. 91-96.

• Souza, Vitor E. Silva ; Guizzardi, Renata . Usando Modelos de Requisitos em Tempo de Execução: Potencial e Desafios. In: Requirements Engineering@Brazil 2013, 2013, Rio de Janeiro, RJ. Requirements Engineering@Brazil - ER@BR2013. Aachen, Alemanha: CEUR, 2013. v. 1005. p. 1-6.

• SOUZA, V. E. S. . A requirements-based approach for the design of adaptive systems. In: 34th International Conference on Software Engineering ? Student Research Competition (ICSE SRC?12), 2012, Zurique, Suíça. Software Engineering (ICSE), 2012 34th International Conference on, 2012. p. 1635-1637.

• SOUZA, V. E. S. ; MYLOPOULOS, J. . From awareness requirements to adaptive systems: A control-theoretic approach. In: 2nd International Workshop on requirements@run.time (RRT?11), 2011, Trento, Itália. Requirements@Run.Time (RE@RunTime), 2011 2nd International Workshop on, 2011. p. 9-15.

• ALI, R. ; CHOPRA, A. ; DALPIAZ, F. ; GIORGINI, P. ; MYLOPOULOS, J. ; SOUZA, V. E. S. . The Evolution of Tropos: Contexts, Commitments and Adaptivity. In: istar?10: 4th International i* Workshop, 2010, Hammamet, Tunisia. 4th i* Workshop Program, 2010.

• BERNABÉ, C. H. ; JACOBSEN, A. ; ROSINACH, N. Q. ; SANTOS, L. O. B. S. ; SOUZA, V. E. S. ; MONS, B. ; ROOS, M. . Goal-models to support communication, planning and guiding of FAIRification. In: International Conference on Intelligent Systems for Molecular Biology (ISMB) / European Conference on Computational Biology (ECCB), 2021, Evento Online. Proc. of the 2021 International Conference on Intelligent Systems for Molecular Biology (ISMB) / European Conference on Computational Biology (ECCB) - Poster Session, 2021.

• Ingolfo, Silvia ; Souza, Vitor E. Silva . Law and adaptivity in requirements engineering. In: 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2013, San Franscisco, CA, EUA. Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. Piscataway, NJ, USA: IEEE Press, 2013. p. 163-168.

• SOUZA, V. E. S. . Uso de Ontologias no Desenvolvimento de Software. In: XIII Jornada de Iniciação Científica, 2003, Vitória, ES. Caderno de Resumos - XIII Jornada de Iniciação Científica. Vitória, ES: Departamento de Pesquisa - PRPPG / UFES, 2003. p. 72-72.

• GHOSE, A. ; HORKOFF, J. ; SOUZA, V. E. S. ; PARSONS, J. ; EVERMANN, J. . Data & Knowledge Engineering, special issue on the 40th International Conference on Conceptual Modeling. Elsevier, 2023 (Edição de special issue de periódico).

• VAREJAO, F. M. ; FALBO, R. A. ; SOUZA, V. E. S. . Modelagem e Projetos Baseados em Objetos com UML 2. Campus Elsevier, 2006 (Revisão técnica de tradução).

Outras produções

Projetos de pesquisa

• 2023 - Atual

  Evolução do método FrameWeb (Framework-based Design Method for Web Engineering): aprimoramentos para uso na prática, Descrição: FrameWeb (Framework-based Design Method for Web Engineering https://nemo.inf.ufes.br/projects/frameweb/) é um método para o desenvolvimento de sistemas de informação Web que define uma arquitetura padrão para facilitar a integração com frameworks, cujos modelos trazem para o projeto arquitetural do sistema conceitos inerentes a estes, além de propor atividades e diretrizes para a publicação de dados interligados (linked data). O método vem sendo desenvolvido e aprimorado desde 2013, com bons resultados. No entanto, para promover sua adoção na prática por organizações de desenvolvimento de sistemas Web, vislumbra-se melhorias em dois aspectos: a aplicabilidade do método aos diferentes frameworks de desenvolvimento de software; e a usabilidade e utilidade das ferramentas associadas. No contexto da aplicabilidade, usaremos (como já temos usado) técnicas e ferramentas de Modelagem Conceitual, em particular Ontologias, para a contínua evolução do método FrameWeb. Ontologias vêm sendo reconhecidas como ferramentas conceituais de grande importância em Computação, e em especial na Engenharia de Software, sendo utilizadas para estabelecer um entendimento comum sobre um domínio de interesse, promovendo a interoperabilidade entre modelos e sistemas. Ao elaborarmos ontologias sobre as diferentes categorias de frameworks, podemos evoluir FrameWeb para que dê suporte a uma quantidade maior de frameworks. Tais ontologias compõem a SFWON Software Frameworks Ontology Network (https://nemo.inf.ufes.br/projects/sfwon/), uma base formal para os meta-modelos que definem a linguagem de modelagem de FrameWeb e suas ferramentas. No contexto das ferramentas, continuaremos os esforços para seu desenvolvimento, de modo que sejam úteis para desenvolvedores de software na prática. É essencial que as mesmas tenham alta usabilidade e ofereçam benefícios que compensem os custos de modelagem, muitas vezes considerados muito altos por praticantes e organizações de desenvolvimento de software.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (3) . , Integrantes: Vítor Estêvão Silva Souza - Coordenador / Cleisson Santos Guterres - Integrante / Gabriel Gatti da Silva - Integrante / Pedro Henrique Brunoro Hoppe - Integrante / Rausth Borges Junqueira - Integrante.

• 2022 - Atual

  Aplicação de técnicas de Modelagem Conceitual no contexto da Engenharia de Software, Descrição: O Núcleo de Estudos em Modelagem Conceitual e Ontologias (NEMO, https://nemo.inf.ufes.br/) investiga a aplicação de técnicas de modelagem conceitual, em especial o uso de ontologias, nas diversas áreas da Computação. Este projeto visa aplicar tais técnicas em particular Ontologias e Desenvolvimento Orientado a Modelos no contexto da Engenharia de Software.Ontologias vêm sendo reconhecidas como ferramentas conceituais de grande importância em Computação, e em especial na Engenharia de Software, sendo utilizadas para estabelecer um entendimento comum sobre um domínio de interesse, promovendo a interoperabilidade entre modelos e sistemas [1]. O Desenvolvimento Orientado a Modelos (Model Driven Development ou MDD) [2] concentra os esforços na construção de modelos conceituais para representação das características dos sistemas e, por meio de técnicas de análise e transformação, promovem características como produtividade, interoperabilidade, manutenibilidade, corretude, etc.Estas técnicas seriam aplicadas em pesquisas de subáreas da Engenharia de Software em que o coordenador do projeto possui experiência pregressa, como as áreas de Engenharia de Requisitos e Engenharia Web, bem como em novas pesquisas no contexto da Engenharia de Software Contínua [3], área de atuação da prof Monalessa, também participante deste projeto.[1] Guizzardi, G. The Role of Foundational Ontology for Conceptual Modeling and Domain Ontology Representation, 7th International Baltic Conference on Databases and Information Systems, 2006[2] PASTOR, O. et al. Model-driven development. Informatik-Spektrum, v. 31, p. 394-407, 2008[3] M. P. Barcellos, Towards a Framework for Continuous Software Engineering, in 34th Brazilian Symposium on Software Engineering (SBES 2020), 2020, p. 626631.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (4) / Doutorado: (2) . , Integrantes: Vítor Estêvão Silva Souza - Coordenador / Monalessa Perini Barcellos - Integrante / Gabriel Silva de Oliveira - Integrante / Symone de Deus Miranda Gonçalves - Integrante.

• 2022 - Atual

  Avanços em Tecnologias Semânticas: Contribuições Metodológicas e Aplicações, Projeto certificado pelo(a) coordenador(a) João Paulo Andrade Almeida em 26/01/2023., Descrição: O presente projeto contribuirá para o fortalecimento de grupo de pesquisa líder internacional no desenvolvimento de tecnologias semânticas, tendo nas últimas décadas desenvolvido programa de pesquisa centrado na ontologia de fundamentação UFO (Unified Foundational Ontology) e na linguagem de modelagem conceitual ontológica e cognitivamente bem fundamentada OntoUML, ambos artefatos de grande impacto. O projeto consolidará a colaboração entre o Núcleo de Estudos em Modelagem Conceitual e Ontologias (NEMO/UFES), diversos pesquisadores atuando em Tecnologias Semânticas no IFES e DTI/UFES, e o grupo de pesquisas SCS (Services and Cybersecurity Semantics) da Universidade de Twente (Holanda) que concentra pesquisadores de renome que mantém um ecossistema de ferramentas semânticas com base em UFO/OntoUML. O grupo proponente investigará avanços nos métodos e ferramentas para engenharia de ontologias, redes de ontologias e sua implementação com tecnologias semânticas. Adicionalmente, investigará o desenvolvimento de métodos e ferramentas para engenharia dos chamados 'data lakes' semânticos (que viabilizam estratégias de 'big data' mantendo a capacidade de interoperabilidade semântica). São previstas no projeto aplicações destas tecnologias em áreas-chave da Transformação Digital, a saber, E-health, Big Data, Data-Driven Software Engineering, e E-government.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Vítor Estêvão Silva Souza - Integrante / Giancarlo Guizzardi - Integrante / Monalessa Perini Barcellos - Integrante / Maxwell Eduardo Monteiro - Integrante / João Paulo Andrade Almeida - Coordenador / Camila Zacché de Aguiar - Integrante / Tiago Prince Sales - Integrante / Luiz Olavo Bonino da Silva Santos - Integrante / Anilton Salles Garcia - Integrante / Claudenir M. Fonseca - Integrante / Wilian Hiroshi Hisatugu - Integrante / Renato Elias Nunes de Moraes - Integrante / Veruska Carretta Zamborlini - Integrante.

• 2021 - 2023

  Evolução da rede de ontologias SFWON (Software Frameworks Ontology Network) e do método FrameWeb (Framework-based Design Method for Web Engineering), Descrição: FrameWeb (Framework-based Design Method for Web Engineering https://nemo.inf.ufes.br/projects/frameweb/) é um método baseado em frameworks para o desenvolvimento de sistemas de informação Web (Web-based Information Systems ou WISs) que define uma arquitetura padrão para facilitar a integração com frameworks populares, cujos modelos trazem para o projeto arquitetural do sistema conceitos inerentes a estes frameworks, além de propor atividades e diretrizes para a publicação de dados interligados (linked data). Nos últimos anos, o método passou por uma série de evoluções, tendo sua linguagem de modelagem definida por meta-modelos, ferramentas CASE (editor gráfico, gerador de código) desenvolvidas e novos tipos de framework integrados ao método.Um aspecto importante do método é que seus modelos se aplicam a qualquer framework que se encaixe em uma das categorias às quais o método dá suporte, a saber: controladores frontais, injeção de dependência, mapeamento objeto/relacional e autenticação/autorização. Tal pressuposição, apesar de verificada informalmente por meio da aplicação do método no desenvolvimento de WISs com diferentes frameworks, não possui uma base formal completa que a sustente.Para tal fim, há alguns anos temos aplicado técnicas e ferramentas de Modelagem Conceitual, em particular Ontologias, para a contínua evolução do método FrameWeb. Ontologias vêm sendo reconhecidas como ferramentas conceituais de grande importância em Computação, e em especial na Engenharia de Software, sendo utilizadas para estabelecer um entendimento comum sobre um domínio de interesse, promovendo a interoperabilidade entre modelos e sistemas.A evolução da rede de ontologias sobre frameworks de software (SFWON Software Frameworks Ontology Network, https://nemo.inf.ufes.br/projects/sfwon/) proverá uma base formal para os meta-modelos da linguagem FrameWeb, bem como permitirá a construção de outras ferramentas que tenham tais modelos de referência como base.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (3) . , Integrantes: Vítor Estêvão Silva Souza - Coordenador.

• 2020 - Atual

  DSYNE: Digital System Requirements for Natural Resources Engineering, Projeto certificado pelo(a) coordenador(a) João Paulo Andrade Almeida em 26/01/2023., Descrição: O projeto visa desenvolver pesquisa na área de gestão digital de requisitos em projetos de engenharia de grande escala com base em ontologias, e a transferência de conhecimento através do desenvolvimento de material educacional e workshops. Projeto multi-institucional internacional Noruega-Brasil-EUA com financiamento do Norway Research Council.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Vítor Estêvão Silva Souza - Integrante / Giancarlo Guizzardi - Integrante / Monalessa Perini Barcellos - Integrante / João Paulo Andrade Almeida - Coordenador / Renata Silva Souza Guizzardi - Integrante / David Cameron - Integrante / Arild Waaler - Integrante / Martin Giese - Integrante / Kristin Falk - Integrante / Satyanarayana Kokkula - Integrante / Gerrit Muller - Integrante / Karin Becker - Integrante / Mara Abel - Integrante / Gino Lim - Integrante / Mo Mansouri - Integrante / Martin G. Skjaeveland - Integrante / Marcelo Pimenta - Integrante.

• 2019 - 2022

  Evolução de Software baseada em Requisitos e Ontologias, Descrição: Evolução é um tema de grande importância na Engenharia de Software e os requisitos de software possuem papel central neste âmbito. No contexto de GORE (Goal-Oriented Requirements Engineering), muitas abordagens e ferramentas já foram propostas, no entanto falta-lhes um arcabouço semântico para lidar com problemas conceituais, como, por exemplo, sobrecarga, excesso, redundância e incompletude de construtos. Esses problemas levam a não compreensão e mal uso das linguagem GORE, além de comprometer sua expressividade. Este projeto tem por objetivo utilizar ontologias como ferramentas conceituais no domínio da Engenharia de Requisitos de Software, particularmente no contexto da Engenharia de Requisitos Orientada a Objetivos (GORE) e com foco em questões relacionadas à Evolução de Software. Dentre os resultados esperados, destacam-se: interoperabilidade semântica entre linguagens GORE e abordagens para desenvolvimento de sistemas adaptativos, proposta de linguagem GORE unificada, métodos e ferramentas para gerência de configuração e evolução de software, bem como para o desenvolvimento de sistemas adaptativos, além das ontologias de núcleo e de domínio associadas. Acredita-se que esses resultados terão forte impacto em futuras pesquisas nos domínios analisados.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (3) / Doutorado: (2) . , Integrantes: Vítor Estêvão Silva Souza - Coordenador / Ricardo de Almeida Falbo - Integrante / Giancarlo Guizzardi - Integrante / John Mylopoulos - Integrante / Monalessa Perini Barcellos - Integrante / João Paulo Andrade Almeida - Integrante / Renata Silva Souza Guizzardi - Integrante / Nicola Guarino - Integrante / César Henrique Bernabé - Integrante / MONTEIRO, MAXWELL - Integrante / Carla Silva - Integrante / Joana Santos Martins - Integrante / Iagoh Ribeiro Lima - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2019 - 2021

  A rede de ontologias SFWON (Software Frameworks Ontology Network) e sua aplicação no método FrameWeb (Framework-based Design Method for Web Engineering), Descrição: FrameWeb (Framework-based Design Method for Web Engineering https://nemo.inf.ufes.br/projects/frameweb/) é um método baseado em frameworks para o desenvolvimento de sistemas de informação Web (Web-based Information Systems ou WISs) que define uma arquitetura padrão para facilitar a integração com frameworks populares, cujos modelos trazem para o projeto arquitetural do sistema conceitos inerentes a estes frameworks, além de propor atividades e diretrizes para a publicação de dados interligados (linked data). Nos últimos anos, o método passou por uma série de evoluções, tendo sua linguagem de modelagem definida por meta-modelos, ferramentas CASE (editor gráfico, gerador de código) desenvolvidas e novos tipos de framework integrados ao método. Um aspecto importante do método é que seus modelos se aplicam a qualquer framework que se encaixe em uma das categorias às quais o método dá suporte, a saber: controladores frontais, injeção de dependência, mapeamento objeto/relacional e autenticação/autorização. Tal pressuposição, apesar de verificada informalmente por meio da aplicação do método no desenvolvimento de WISs com diferentes frameworks, não possui uma base formal que a sustente. Para tal fim, neste projeto aplicaremos técnicas e ferramentas de Modelagem Conceitual, em particular Ontologias, para a contínua evolução do método FrameWeb. Ontologias vêm sendo reconhecidas como ferramentas conceituais de grande importância em Computação, e em especial na Engenharia de Software, sendo utilizadas para estabelecer um entendimento comum sobre um domínio de interesse, promovendo a interoperabilidade entre modelos e sistemas. A construção de uma rede de ontologias sobre frameworks de software (SFWON Software Frameworks Ontology Network, https://nemo.inf.ufes.br/projects/sfwon/) proverá uma base formal para os meta-modelos da linguagem FrameWeb, bem como permitirá a construção de outras ferramentas que tenham tais modelos de referência como base.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Vítor Estêvão Silva Souza - Coordenador / Ricardo de Almeida Falbo - Integrante / Silas Louzada Campos - Integrante / Camila Zacché de Aguiar - Integrante / Félix Luiz Zanetti - Integrante / Kaio Silva Rosa - Integrante / Lucas Ribeiro Mendes Silva - Integrante.

• 2017 - 2019

  Aplicação de técnicas de Modelagem Conceitual no desenvolvimento de métodos e ferramentas de Engenharia de Software, Descrição: O Núcleo de Estudos em Modelagem Conceitual e Ontologias (NEMO) investiga a aplicação de técnicas de modelagem conceitual, em especial o uso de ontologias, nas diversas áreas da Computação. Este projeto visa aplicar tais técnicas em particular Ontologias e Desenvolvimento Orientado por Modelos em duas áreas específicas da Engenharia de Software: a Engenharia de Requisitos e a Engenharia Web. Ontologias vêm sendo reconhecidas como ferramentas conceituais de grande importância em Computação, e em especial na Engenharia de Software, sendo utilizadas para estabelecer um entendimento comum sobre um domínio de interesse, promovendo a interoperabilidade entre modelos e sistemas. O Desenvolvimento Dirigido por Modelos concentra os esforços na construção de modelos conceituais para representação das características dos sistemas e, por meio de técnicas de análise e transformação, promovem características como produtividade, interoperabilidade, manutenibilidade, corretude, etc.Estas técnicas seriam aplicadas para evolução das abordagens: (a) FrameWeb, método de Engenharia Web que propõe incorporar em modelos conceitos de frameworks de desenvolvimento Web e de ferramentas para publicação de dados interligados (linked data); e (b) Zanshin, um controlador que oferece características de adaptabilidade a sistemas baseado na interpretação de seus modelos de requisitos em tempo de execução.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (3) / Doutorado: (1) . , Integrantes: Vítor Estêvão Silva Souza - Coordenador / Bruno Borlini Duarte - Integrante / César Henrique Bernabé - Integrante / Nilber Vittorazzi de Almeida - Integrante / Silas Louzada Campos - Integrante / Camila Zacché de Aguiar - Integrante / Rodolfo Costa do Prado - Integrante / Cássio Capucho Peçanha - Integrante / Breno Leite Zupeli - Integrante / Félix Luiz Zanetti - Integrante / Lucas Ribeiro Mendes Silva - Integrante / Iagoh Ribeiro Lima - Integrante.

• 2015 - 2019

  Interoperabilidade Semântica de Informações em Segurança Pública, Descrição: Considerando a relevância da disponibilidade de informações de qualidade na elaboração de políticas públicas voltadas para Prevenção, Proteção e Defesa Social, este projeto investigará uma abordagem de governança de informações de Segurança Pública com base em modelos conceituais de referência. Será dada ênfase à interoperabilidade semântica de sistemas de informação heterogêneos, os quais contém informações atualmente desarticuladas (sistemas mantidos pela Secretaria de Segurança Pública e demais secretarias e órgãos do Governo do Estado). A abordagem proposta prevê o alinhamento de fontes heterogêneas de dados com base em ontologias de referência, além da publicação de dados usando formatos abertos em conformidade com tecnologias de Dados Abertos na Web (Web Semântica, W3C), de modo a possibilitar a efetiva integração com Linked Open Data (LOD). O projeto será desenvolvido em parceria com a Universidade Federal do Estado do Rio de Janeiro (UNIRIO) e o Instituto Federal de Educação, Ciência e Tecnologia do Espírito Santo (IFES).. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (5) / Mestrado acadêmico: (6) / Doutorado: (2) . , Integrantes: Vítor Estêvão Silva Souza - Coordenador / Ricardo de Almeida Falbo - Integrante / Giancarlo Guizzardi - Integrante / Monalessa Perini Barcellos - Integrante / Maxwell Eduardo Monteiro - Integrante / João Paulo Andrade Almeida - Integrante / Renata Silva Souza Guizzardi - Integrante / Fernanda Araújo Baião Amorim - Integrante / Andre Luiz de Castro Leal - Integrante / Archimedes Alves Detoni - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Espírito Santo - Auxílio financeiro.

• 2015 - 2017

  Interoperabilidade Semântica Baseada em Ontologias, Projeto certificado pelo(a) coordenador(a) Monalessa Perini Barcellos em 10/02/2015., Descrição: Artefatos e aplicações de software, implícita ou explicitamente, possuem uma conceituação subjacente que define a semântica dos conceitos e relações por eles utilizados. Quando essa semântica está implícita, tarefas como integração de sistemas e harmonização de normas e modelos tornam-se mais complexas, uma vez que nesses casos é necessário estabelecer um nível de concordância semântica entre os elementos envolvidos. Este projeto tem por objetivo investigar abordagens baseadas em ontologias para interoperabilidade semântica, com ênfase em métodos e ferramentas visando ao uso de ontologias no problema de interoperabilidade semântica. Dentre os resultados esperados, destacam-se: abordagens metodológicas para a integração semântica de sistemas baseada em ontologias, integração semântica de ferramentas de apoio ao processo de software em um ambiente de desenvolvimento de software, harmonização de normas e modelos de Engenharia de Software, abordagens metodológicas para a Engenharia de Ontologias baseadas em padrões (patterns) e desenvolvimento de ontologias core, definidas como linguagens de padrões de ontologias, e ontologias de domínio.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Vítor Estêvão Silva Souza - Integrante / Ricardo de Almeida Falbo - Integrante / Giancarlo Guizzardi - Integrante / Monalessa Perini Barcellos - Coordenador / João Paulo Andrade Almeida - Integrante / Renata Silva Souza Guizzardi - Integrante.

• 2015 - 2017

  Uso de Modelos de Requisitos em Tempo de Execução, Descrição: Pesquisadores têm cada vez mais direcionado sua atenção ao uso de modelos em tempo de execução (runtime), provendo ferramentas e frameworks que auxiliam os desenvolvedores na tarefa de construir software alinhado a seus requisitos/arquitetura. Em particular, algumas pesquisas em Engenharia de Requisitos concentraram-se em desenvolver sistemas de software que possuam a capacidade de ler seus próprios modelos de requisitos e tomar decisões a partir de uma análise do mesmo. É uma tendência comum, por exemplo, na área de sistemas adaptativos, para a qual contribuímos recentemente. Este projeto tem por objetivo definir uma linguagem para a criação de modelos de requisitos para sistemas de software que possam ser utilizados em tempo de execução pelo próprio sistema, dando suporte a algum tipo de processo de tomada de decisão; além de propor um processo sistemático para a criação destes modelos em diferentes fases do processo de software.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) . , Integrantes: Vítor Estêvão Silva Souza - Coordenador / Ricardo de Almeida Falbo - Integrante / Monalessa Perini Barcellos - Integrante / Renata Silva Souza Guizzardi - Integrante / Pedro Pignaton Negri - Integrante / Bruno Borlini Duarte - Integrante / César Henrique Bernabé - Integrante.

• 2015 - 2017

  Evolução do Método FrameWeb para o Desenvolvimento de Aplicações baseadas em Frameworks para a Web e Web Semântica, Descrição: Com a rápida ascensão da Web como plataforma para implantação de sistemas de informação distribuídos e a crescente demanda por formas eficientes de acesso à gigantesca quantidade de dados disponíveis, surge a demanda por métodos que contribuam para o desenvolvimento de aplicações de qualidade, de forma eficiente e preparadas para a Web Semântica. Em 2007, propusemos um método chamado FrameWeb, que traz aos modelos de projeto arquitetural da aplicação Web conceitos dos frameworks comumente utilizados no desenvolvimento deste tipo de aplicação e, por meio de sua extensão S-FrameWeb, prepara o sistema resultante para integração com a Web Semântica. Dados a recente evolução dos frameworks Web, os últimos avanços das tecnologias ligadas à Web Semântica e os resultados de pesquisa das áreas de Modelagem Conceitual e Ontologias alcançados pelo nosso grupo de pesquisa, consideramos oportuno evoluir, também, as propostas de FrameWeb e S-FrameWeb.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (3) . , Integrantes: Vítor Estêvão Silva Souza - Coordenador / Giancarlo Guizzardi - Integrante / Beatriz Franco Martins - Integrante / Danillo Ricardo Celino - Integrante / Luana Vettler Reis - Integrante / Odair José Tanes - Integrante / Silas Louzada Campos - Integrante., Financiador(es): Universidade Federal do Espírito Santo - Auxílio financeiro.

• 2015 - 2016

  Modelos de requisitos orientados a objetivos apoiados por ontologias para raciocínio de software em tempo de execução, Projeto certificado pelo(a) coordenador(a) Ricardo de Almeida Falbo em 24/03/2016., Descrição: O objetivo geral do projeto de pesquisa é definir uma abordagem para associar ontologias a modelos de requisitos orientados a objetivos, de modo que tais ontologias provejam suporte semântico capaz de apoiar a tomada de decisão de sistemas adaptativos que utilizam tais modelos como entrada para autoanálise, reconfiguração e decisão de conduta de software em tempo de execução.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Vítor Estêvão Silva Souza - Integrante / Ricardo de Almeida Falbo - Coordenador / Renata Silva Souza Guizzardi - Integrante / Andre Luiz de Castro Leal - Integrante.

• 2013 - 2015

  Semântica dos Aspectos Estratégicos de Arquiteturas Corporativas, Descrição: A importância do conceito de Arquitetura Corporativa está refletida nos diversos frameworks para estruturação de Arquiteturas Corporativas que seguiram o trabalho seminal de John Zachman em 1987 e que são propostos ou adotados por organizações internacionais de padronização e organizações governamentais. A descrição de Arquiteturas Corporativas tem tipo importante papel na gestão de organizações em especial no que toca o alinhamento estratégico entre negócio e a Tecnologia de Informação (TI) empregada para atingir objetivos de negócio. Apesar dos vários avanços no que se refere à definição de linguagens e frameworks de modelagem de arquiteturas corporativas, há diversos desafios no uso destas linguagens no que se refere aos aspectos estratégicos de arquiteturas corporativas abrangendo, dentre outros a representação de: (i) objetivos de uma organização, de seus atores e parceiros; (ii) os valores atribuídos a uma organização, seus serviços, capacidades (capabilities), recursos, assim como as trocas de valores na realização de serviços; (iii) requisitos para processos de negócio; (iv) requisitos para sistemas de informação e serviços eletrônicos que apoiam processos organizacionais. Em particular, podemos observar várias limitações no emprego dos conceitos estratégicos em arquiteturas corporativas: (i) os conceitos de objetivo, valor e requisitos têm tratamento limitado em diversas linguagens e frameworks de modelagem (como por exemplo ARIS, ArchiMate e RM-ODP); (ii) vários frameworks e linguagens de modelagem empregam tais conceitos em um sentido predominantemente informal e restrito ao nível organizacional (como por exemplo BMM e DODAF); e, (iii) os conceitos, quando usados (por exemplo em ArchiMate e suas extensões), carecem de uma definição precisa e de diretrizes metodológicas para seu uso e relação com outros elementos da arquitetura. Este projeto concentra-se em avanços nas técnicas de modelagem de arquiteturas corporativas para mitigar estas limitações. Será desenvolvida uma ontologia núcleo para aspectos estratégicos de arquiteturas corporativas. A ontologia será aplicada na análise e reprojeto de técnicas de modelagem de arquiteturas corporativas.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Vítor Estêvão Silva Souza - Integrante / Ricardo de Almeida Falbo - Integrante / Giancarlo Guizzardi - Integrante / Monalessa Perini Barcellos - Integrante / João Paulo Andrade Almeida - Coordenador / Renata Silva Souza Guizzardi - Integrante / Patrícia Dockhorn Costa - Integrante / Nicola Guarino - Integrante / Maria-Eugenia Iacob - Integrante.

• 2013 - 2015

  Interoperabilidade Semântica Baseada em Ontologias, Descrição: Artefatos e aplicações de software, implícita ou explicitamente, possuem uma conceituação subjacente que define a semântica dos conceitos e relações por eles utilizados. Quando esta semântica está implícita, tarefas como integração de sistemas e harmonização de normas e modelos tornam-se mais complexas, uma vez que nestes casos é necessário estabelecer um nível de concordância semântica entre os elementos envolvidos. Este projeto tem por objetivo investigar abordagens baseadas em ontologias para interoperabilidade semântica, com ênfase em métodos e ferramentas visando ao uso de ontologias no problema de interoperabilidade semântica.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Vítor Estêvão Silva Souza - Integrante / Ricardo de Almeida Falbo - Coordenador / Monalessa Perini Barcellos - Integrante.

• 2013 - 2013

  Adaptive Software Systems, Descrição: There is growing interest in software systems that operate in highly open, distributed dynamic and unpredictable environments. In such settings, uncertainty is the only constant, and the challenge for Software Engineering is to develop techniques for building software that can cope. Adaptation mechanisms constitute a general solution to this problem, consisting of a feedback loop that monitors the system?s output, compares it to its requirements (?reference target? in Control Theory) and adjusts control inputs if errors are detected. In Control Theory, quantifying the effects of controlled input on measured output is a process known as System Identification. This process relies either on detailed and complex system models or on system experimentation and observation. In this project, we revisit such control-theoretic ideas adopting a Requirements Engineering perspective, while relying on ideas from Qualitative Reasoning to represent incomplete knowledge about the system?s behavior. We envisage a language and a systematic process for conducting system identification grounded on augmented requirements models. These models should then be used as input by a framework in order to provide run-time adaptation to base systems. Such proposal should be evaluated using well-known exemplars from the literature.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Vítor Estêvão Silva Souza - Integrante / Mylopoulos, John - Coordenador.

Prêmios