-
1Academic Journal
المؤلفون: Caio Alberto Nunes Marques, Maria Adriana Ferreira da Silva, José Lucas Santana de Andrade, Alysson Filgueira Milanez
المصدر: Revista Principia, Vol 62, Iss 0 (2025)
مصطلحات موضوعية: especificação de software, métodos formais, modelagem formal, validação de software, verificação formal, Technology (General), T1-995, Science, Science (General), Q1-390
وصف الملف: electronic resource
-
2
المؤلفون: Araújo, Diogo João Silva de
المساهمون: Oliveira, José Nuno Fonseca, Universidade do Minho
مصطلحات موضوعية: Blockchain, Bitcoin, Formal methods, Formal verification, Model checking, Alloy, Métodos formais, Verificação formal, Validação de modelo, Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
وصف الملف: application/pdf
Relation: 203669240
الاتاحة: https://hdl.handle.net/1822/93206
-
3
المؤلفون: Pereira, Paulo Ricardo Antunes
المساهمون: Oliveira, José Nuno Fonseca, Universidade do Minho
مصطلحات موضوعية: Software engineering, Formal methods, Correct-by-construction, Engenharia de software, Métodos formais, Correção-por-construção, Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
وصف الملف: application/pdf
Relation: 203617991
الاتاحة: https://hdl.handle.net/1822/92806
-
4
المؤلفون: Neto, Henrique Gabriel dos Santos
المساهمون: Cunha, Alcino, Macedo, Nuno, Universidade do Minho
مصطلحات موضوعية: Alloy, Geração de dicas automáticas, Métodos formais, Mineração de dados, Automated hint generation, Data mining, Formal methods, Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
وصف الملف: application/pdf
Relation: 203618416
الاتاحة: https://hdl.handle.net/1822/92831
-
5
المؤلفون: Carvalho, Rui Carlos Azevedo
المساهمون: Neves, Renato Jorge Araújo, Universidade do Minho
مصطلحات موضوعية: Formal methods, Hybrid systems, Cyber-physical systems, Theory of Programming Languages, Functional programming, Métodos formais, Sistemas híbridos, Sistemas ciber-físicos, Teoria das Linguagens de Programação, Programação funcional, Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
وصف الملف: application/pdf
Relation: 203561775
الاتاحة: https://hdl.handle.net/1822/91568
-
6
المؤلفون: Azevedo, Rui Filipe Brito
المساهمون: Oliveira, José Nuno Fonseca, Universidade do Minho
مصطلحات موضوعية: Formal methods, Master’s dissertation, Spreadsheets, Typed linear algebra of programming, Álgebra linear tipada da programação, Dissertação de mestrado, Folhas de cálculo, Métodos formais, Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
وصف الملف: application/pdf
Relation: 203501926
الاتاحة: https://hdl.handle.net/1822/88586
-
7
المؤلفون: Cerqueira, Jorge Gabriel Alves
المساهمون: Cunha, Alcino, Macedo, Nuno, Universidade do Minho
مصطلحات موضوعية: Formal methods, Behavioural specifications, Automatic specification repair, Alloy, Métodos formais, Especificações temporais, Reparação automatica de especificações, Engenharia e Tecnologia::Outras Engenharias e Tecnologias
وصف الملف: application/pdf
Relation: 203261224
الاتاحة: https://hdl.handle.net/1822/84347
-
8
المؤلفون: Pereira, Ricardo Ribeiro
المساهمون: Cunha, Alcino, Universidade do Minho
مصطلحات موضوعية: Formal methods, High Assurance ROS (HAROS), JavaScript, NodeJS, Robot Operating System (ROS), Software Product Line (SPL), Text-based Variability Language (TVL), Variability, Linha de Produtos de Software (LPS), Métodos formais, Variabilidade, Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
وصف الملف: application/pdf
Relation: 203202066
الاتاحة: https://hdl.handle.net/1822/82998
-
9Academic Journal
المؤلفون: Solsona, José E.
المصدر: Memoria Investigaciones en Ingeniería; No. 24 (2023); 105-116 ; Memoria Investigaciones en Ingeniería; Núm. 24 (2023); 105-116 ; Memoria Investigaciones en Ingenieria; n. 24 (2023); 105-116 ; 2301-1106 ; 2301-1092 ; 10.36561/ING.24
مصطلحات موضوعية: Algoritmos paralelos, Patrones de diseño, Métodos formales, TLA, Parallel algorithms, Design patterns, Formal Methods, Padrões de design, Métodos Formais
وصف الملف: application/pdf; application/epub+zip
Relation: http://revistas.um.edu.uy/index.php/ingenieria/article/view/1146/1462; http://revistas.um.edu.uy/index.php/ingenieria/article/view/1146/1463; http://revistas.um.edu.uy/index.php/ingenieria/article/view/1146
-
10
المؤلفون: Silva, Pedro Faria Durães da
المساهمون: Oliveira, José Nuno Fonseca, Macedo, Nuno, Universidade do Minho
مصطلحات موضوعية: Alloy, Category theory, Quantitative formal methods, Relational algebra, Typed linear algebra, Álgebra relacional, Métodos formais quantitativos, Teoria das categorias, Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
وصف الملف: application/pdf
Relation: 202995631
الاتاحة: https://hdl.handle.net/1822/80919
-
11
المؤلفون: Santos, André Filipe Faria
المساهمون: Cunha, Alcino, Macedo, Nuno, Universidade do Minho
مصطلحات موضوعية: Engenharia de software, Métodos formais, Robótica, Lightweight formal methods, Software engineering, Robotics, Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
وصف الملف: application/pdf
Relation: 101545509
الاتاحة: http://hdl.handle.net/1822/75537
-
12
المؤلفون: Miranda, Marcelo
المساهمون: Pinto, Jorge Sousa, Universidade do Minho
مصطلحات موضوعية: Formal methods, Runtime monitoring, Temporal logics, SALT, SpeAR, Métodos formais, Lógicas temporais, Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
وصف الملف: application/pdf
Relation: 203018265
الاتاحة: https://hdl.handle.net/1822/79962
-
13
المؤلفون: Neto, Paulo Miguel Ferreira
المساهمون: Sousa, Simão Patricio Melo de, uBibliorum
مصطلحات موضوعية: Análise de Fluxo, Design-By-Contract, Exomars, Métodos Formais, Sistemas Safety Mission-Critical, Verificação Formal de Código, Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
وصف الملف: application/pdf
الاتاحة: http://hdl.handle.net/10400.6/10052
-
14
المساهمون: Belo, Orlando, Universidade do Minho
مصطلحات موضوعية: What-If Analysis, Business Intelligence, on-Line Analytical Processing, usage preferences, OLAP mining, Multidimensional Databases, Decision Support Systems, Formal Methods, Alloy, Análise What-If, Mineração de dados em sistemas OLAP, Bases de dados multidimensionais, Sistemas de suporte à Decisão, Métodos Formais, Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
وصف الملف: application/pdf
Relation: 101451113
الاتاحة: http://hdl.handle.net/1822/66886
-
15Academic Journal
المؤلفون: Castro Henriques, Gonçalo, Franco, Juarez Moara
المصدر: Gestão & Tecnologia de Projetos (Gestión y tecnología de proyectos); Vol. 17 Núm. 1 (2022): número especial en alianza con la Sociedad Iberoamericana de Gráfica Digital (SIGraDi); 81-95 ; Gestão & Tecnologia de Projetos; v. 17 n. 1 (2022): número especial em parceria com a Sociedade Ibero-americana de Gráfica Digital (SIGraDi); 81-95 ; Gestão & Tecnologia de Projetos (Design Management and Technology); Vol. 17 No. 1 (2022): special issue in partnership with the Ibero-American Society of Digital Graphics (SIGraDi); 81-95 ; 1981-1543
مصطلحات موضوعية: Métodos formales e informales, Concha reticulada, Kangaroo, Gridshells, Karamba, Formal and informal design, Casca reticulada, Métodos formais e informais
وصف الملف: application/pdf
-
16Dissertation/ Thesis
المؤلفون: Neto, Henrique Gabriel dos Santos
المساهمون: Cunha, Alcino, Macedo, Nuno
مصطلحات موضوعية: Alloy, Geração de dicas automáticas, Métodos formais, Mineração de dados, Automated hint generation, Data mining, Formal methods, Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
وصف الملف: application/pdf
Relation: info:eu-repo/grantAgreement/FCT/3599-PPCDT/EXPL%2FCCI-COM%2F1637%2F2021/PT; https://hdl.handle.net/1822/92831; 203618416
الاتاحة: https://hdl.handle.net/1822/92831
-
17Dissertation/ Thesis
المؤلفون: Aguchiku, Fábio Seiti
Thesis Advisors: Maruyama, Newton
مصطلحات موضوعية: Air traffic management systems, Formal methods, Lógica temporal, Métodos formais, Safety-critical system, Sistemas críticos, Temporal logic, Tráfego Aéreo (Automação, Gerenciamento)
وصف الملف: application/pdf
-
18Academic Journal
المصدر: Revista Ingenierías Universidad de Medellín; Vol 19 No 37 (2020): julio-diciembre; 119-136 ; Revista Ingenierías Universidad de Medellín; Vol. 19 Núm. 37 (2020): julio-diciembre; 119-136 ; Revista Ingenierías Universidad de Medellín; v. 19 n. 37 (2020): julio-diciembre; 119-136 ; 2248-4094 ; 1692-3324
مصطلحات موضوعية: Formal methods, requirements engineering, software quality, mathematic language, métodos formales, ingeniería de requisitos, calidad del software, lenguaje matemático, métodos formais, engenharia de requisitos, qualidade do software, linguagem matemática
وصف الملف: application/pdf
Relation: https://revistas.udem.edu.co/index.php/ingenierias/article/view/3020/3147; https://revistas.udem.edu.co/index.php/ingenierias/article/view/3020
-
19
المؤلفون: Nobre, Sandra, Amado, Nélia, Ponte, João Pedro da
المساهمون: Sapientia
مصطلحات موضوعية: Pensamento algébrico, sistemas de equações, métodos formais, representações matemáticas, folha de cálculo
وصف الملف: application/pdf
Relation: 978-989-8525-24-6; AUT: NAM01269
الاتاحة: http://hdl.handle.net/10400.1/3457
-
20
المؤلفون: Neves, Renato Jorge Araújo
المساهمون: Martins, Manuel A., Barbosa, L. S., Universidade do Minho
مصطلحات موضوعية: Formal methods, Modelling, Reconfigurable systems, Hybrid logics, Institutions, Métodos formais, Modelação, Sistemas reconfiguráveis, Lógicas híbridas, Instituições, 681.3
وصف الملف: application/pdf
Relation: 201195860
الاتاحة: https://hdl.handle.net/1822/28077