Resultados de 1 a 10 de 4.253 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
- Recursos Online (4.251)
- Revistas revisadas por pares (1.360)
- Disponível na Biblioteca (1)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Tese de Doutorado
|
|
Um método de refinamento para desenvolvimento de software embarcado: uma abordagem baseada em UML-RT e especificações formais.Polido, Marcelo FigueiredoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2007-05-18Acesso online. A biblioteca também possui exemplares impressos. |
| 2 |
Material Type: Tese de Doutorado
|
|
Framework formal para composição automática de serviços em sistemas de internet das coisas.Silva, André Luís MenesesBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2018-03-01Acesso online |
| 3 |
Material Type: Artigo
|
|
Formal Specification and Verification of Autonomous Robotic Systems: A SurveyLuckcuck, Matt ; Farrell, Marie ; Dennis, Louise A. ; Dixon, Clare ; Fisher, MichaelACM computing surveys, 2020-09, Vol.52 (5), p.1-41 [Periódico revisado por pares]Baltimore: Association for Computing MachineryTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Finding a collective set of items: From proportional multirepresentation to group recommendationSkowron, Piotr ; Faliszewski, Piotr ; Lang, JérômeArtificial intelligence, 2016-12, Vol.241 (241), p.191-216 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
A Survey of Smart Contract Formal Specification and VerificationTolmach, Palina ; Li, Yi ; Lin, Shang-Wei ; Liu, Yang ; Li, ZengxiangACM computing surveys, 2022-09, Vol.54 (7), p.1-38, Article 148 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
| 6 |
Material Type: Artigo
|
|
Formal specification and verification of a team formation protocol using TLA+Niyogi, Rajdeep ; Nath, AmarSoftware, practice & experience, 2024-06, Vol.54 (6), p.961-984 [Periódico revisado por pares]Bognor Regis: Wiley Subscription Services, IncTexto completo disponível |
| 7 |
Material Type: Artigo
|
|
Automatic refactoring of conditions and substitutions for B state transition modelsCai, Cheng‐Hao ; Sun, Jing ; Dobbie, GillianSoftware, practice & experience, 2023-11, Vol.53 (11), p.2241-2270 [Periódico revisado por pares]Bognor Regis: Wiley Subscription Services, IncTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Ontology network to support the integration of planning and scheduling activities in batch process industriesVegetti, Marcela ; Henning, GabrielaJournal of industrial information integration, 2022-01, Vol.25, p.100254, Article 100254Elsevier IncTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Evaluation of visual property specification languages based on practical model-checking experiencePakonen, Antti ; Buzhinsky, Igor ; Vyatkin, ValeriyThe Journal of systems and software, 2024-10, Vol.216, p.112153, Article 112153 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
A review on security requirements specification by formal methodsMishra, Aditya Dev ; Mustafa, KhurramConcurrency and computation, 2022-02, Vol.34 (5), p.n/a [Periódico revisado por pares]Hoboken, USA: John Wiley & Sons, IncTexto completo disponível |
Resultados de 1 a 10 de 4.253 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (4.251)
- Revistas revisadas por pares (1.360)
- Disponível na Biblioteca (1)
Refinar Meus Resultados
Tipo de Recurso
- Anais de Congresso (2.173)
- Artigos (1.821)
- Book Chapters (163)
- Reports (34)
- magazinearticle (20)
- Conjunto de Dados (13)
- Livros (6)
- Newsletter Articles (5)
- Standards (5)
- Recursos Textuais (4)
- Dissertações (4)
- Resenhas (3)
- Produções Acadêmicas (2)
-
Mais opções
Assunto
- Formal Specifications (3.190)
- Computer Science (2.338)
- Science & Technology (2.296)
- Technology (2.268)
- Computer Science, Software Engineering (1.163)
- Formal Specification (1.083)
- Engineering (952)
- Engineering, Electrical & Electronic (822)
- Software Engineering (680)
- Computer Science, Theory & Methods (606)
- Software (534)
- Computer Science, Information Systems (466)
- Application Software (381)
- Specification Languages (334)
- Software Systems (331)
- Exact Sciences And Technology (327)
- Applied Sciences (321)
- Logic (312)
- Computer Science, Hardware & Architecture (300)
- Computer Science, Artificial Intelligence (300)
- Uml (43)
- Knowledge Engineering (29)
- Internet Of Things (24)
- Intelligent Systems (19)
- Program Refinement (3)
- Uml-Rt (2)
- Especificação Formal (2)
- Sistemas De Tempo-Real (1)
- Engenharia De Conhecimento (1)
- Internet Of Things (1)
- Uml-Rt (1)
- Sistemas Inteligentes (1)
- Internet Das Coisas (1)
- Sistemas De Tempo Real Não Crítico (1)
- Sistemas Embutidos (1)
- Frameworks (1)
- Program Refinement (1)
- Intelligent Systems (1)
- Soft Real-Time Systems (1)
- Refinamento De Programas (1)
- Uml (1)
- Verificação E Validação De Software (1)
- Knowledge Engineering (1)
- Verificação De Modelos (1)
- Especificação De Sistemas E Programas (1)
-
Mais opções
Autor/Criador
- Silva, A (1)
- Maruyama, N (1)
- Polido, M (1)
- Kofuji, S (1)
-
Mais opções
Data de Publicação
- Antes de1983 (43)
- 1983Até1992 (440)
- 1993Até2002 (1.211)
- 2003Até2013 (1.533)
- Após 2013 (1.017)
-
Mais opções
Base de Dados/Biblioteca
- IEEE Electronic Library (IEL) Conference Proceedings (2.025)
- Science Citation Index Expanded (Web of Science) (1.005)
- ROAD: Directory of Open Access Scholarly Resources (570)
- EBSCOhost Computers and Applied Sciences Complete (545)
- IEEE Electronic Library (IEL) Journals (462)
- ACM Digital Library (418)
- Free E- Journals (410)
- arXiv.org (393)
- EZB Electronic Journals Library (349)
- SpringerLink Journals - AutoHoldings (308)
- ScienceDirect (276)
- Springer Nature - Springer Journals All 2022 (246)
- DOAJ Directory of Open Access Journals (198)
- ANTE: Abstracts in New Technology & Engineering (167)
- SpringerLink_回溯丛书_Lecture Notes in Computer Science Archive（NSTL购买） (158)
- Gale Academic OneFile (Gale Reference Complete) (156)
- SpringerLINK Lecture Notes in Computer Science (2015) (128)
- Journals@Ovid Full Text (104)
- Springer Books (99)
- Wiley-Blackwell Journals (96)
-
Mais opções
Idioma
Nome da Publicação
- arXiv.org (393)
- Ieee Transactions On Software Engineering (182)
- Arxiv (122)
- Formal Aspects Of Computing (44)
- Information And Software Technology (36)
- Electronic Notes In Theoretical Computer Science (30)
- Iet Software (29)
- Ieee Software (28)
- International Journal Of Software Engineering And Knowledge Engineering (28)
- International Journal On Software Tools For Technology Transfer (27)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 