- Visitante
- Meu Espaço
- Minha Conta
- Sair
- Identificação
Sua busca inicial resultou em poucos registros ou nenhum resultado. Os resultados abaixo foram encontrados ao expandir sua busca.
Resultados de 1 a 10 de 7.878 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 (7.877)
- Revistas revisadas por pares (130)
- Disponível na Biblioteca (1)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Software
|
|
Thermal comfort toolMarc E Fountain; Charles Huizenga; Environmental Analytics (Firm); American Society of Heating, Refrigerating and Air-Conditioning EngineersAtlanta, GA American Society of Heating, Refrigerating and Air-Conditioning Engineers c1997Localização: EPBC - Esc. Politécnica-Bib Central (CD 697 As36 )(Acessar) |
| 2 |
Material Type: Ata de Congresso
|
|
Fast Parametric Model Checking through Model FragmentationFang, Xinwei ; Calinescu, Radu ; Gerasimou, Simos ; Alhwikem, Faisal2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.835-846IEEETexto completo disponível |
| 3 |
Material Type: Ata de Congresso
|
|
Scalable Quantitative Verification for Deep Neural NetworksBaluta, Teodora ; Chua, Zheng Leong ; Meel, Kuldeep S. ; Saxena, Prateek2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.312-323IEEETexto completo disponível |
| 4 |
Material Type: Ata de Congresso
|
|
A static verification framework for message passing in Go using behavioural typesLange, Julien ; Ng, Nicholas ; Toninho, Bernardo ; Yoshida, Nobuko2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 2018, p.1137-1148New York, NY, USA: ACMTexto completo disponível |
| 5 |
Material Type: Ata de Congresso
|
|
The influence of organizational structure on software quality: an empirical case studyNagappan, Nachiappan ; Murphy, Brendan ; Basili, VictorInternational Conference on Software Engineering 2008, 2008, Vol.2008 (24), p.521-530New York, NY, USA: ACMTexto completo disponível |
| 6 |
Material Type: Ata de Congresso
|
|
Proving Liveness of Parameterized ProgramsFarzan, Azadeh ; Kincaid, Zachary ; Podelski, AndreasProceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016, p.185-196New York, NY, USA: ACMTexto completo disponível |
| 7 |
Material Type: Ata de Congresso
|
|
Bounded Exhaustive Search of Alloy Specification RepairsGutierrez Brida, Simon ; Regis, German ; Zheng, Guolong ; Bagheri, Hamid ; Nguyen, ThanhVu ; Aguirre, Nazareno ; Frias, Marcelo2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.1135-1147IEEETexto completo disponível |
| 8 |
Material Type: Ata de Congresso
|
|
A framework for evaluating quality-driven self-adaptive software systemsVillegas, Norha M. ; Müller, Hausi A. ; Tamura, Gabriel ; Duchien, Laurence ; Casallas, RubbyProceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2011, p.80-89New York, NY, USA: ACMTexto completo disponível |
| 9 |
Material Type: Ata de Congresso
|
|
Formal verification of an autonomous wheel loader by model checkingGu, Rong ; Marinescu, Raluca ; Seceleanu, Cristina ; Lundqvist, Kristina2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE), 2018, p.74-83New York, NY, USA: ACMTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
Symbolic Refinement for CPSde Niz, Dionisio ; Wrage, LutzACM SIGAda Ada Letters, 2023-10, Vol.43 (1), p.88-93New York, NY, USA: ACMTexto completo disponível |
Resultados de 1 a 10 de 7.878 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 (7.877)
- Revistas revisadas por pares (130)
- Disponível na Biblioteca (1)
Refinar Meus Resultados
Tipo de Recurso
- Anais de Congresso (7.636)
- Artigos (190)
- magazinearticle (32)
- Book Chapters (19)
- Software (1)
-
Mais opções
Assunto
- Computer Science (2.428)
- Technology (2.340)
- Science & Technology (2.337)
- General And Reference -- Cross-Computing Tools And Techniques -- Performance (1.931)
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Verification (1.909)
- General And Reference -- Cross-Computing Tools And Techniques -- Verification (1.763)
- Computer Science, Software Engineering (1.509)
- Computer Science, Theory & Methods (1.099)
- General And Reference -- Cross-Computing Tools And Techniques -- Reliability (692)
- Software And Its Engineering (604)
- Theory Of Computation -- Logic -- Verification By Model Checking (562)
- Theory Of Computation -- Semantics And Reasoning (462)
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning (450)
- Engineering (434)
- Engineering, Electrical & Electronic (420)
- Computer Science, Hardware & Architecture (411)
- Theory Of Computation -- Logic (408)
- Information Systems -- Information Systems Applications (352)
- Software And Its Engineering -- Software Creation And Management -- Designing Software (339)
- Theory Of Computation -- Logic -- Proof Theory (327)
- Buildings (10)
- Buildings (1)
- Conforto Térmico (1)
- Human Engineering (1)
- Engenharia Humana (1)
-
Mais opções
Autor/Criador
Data de Publicação
- Antes de1981 (52)
- 1981Até1990 (324)
- 1991Até2000 (650)
- 2001Até2011 (3.712)
- Após 2011 (3.232)
-
Mais opções
Base de Dados/Biblioteca
- ACM Digital Library【Remote access available】 (7.822)
- IEEE Electronic Library (IEL) Conference Proceedings (1.109)
- EBSCOhost Computers and Applied Sciences Complete (545)
- Science Citation Index Expanded (Web of Science) (124)
- Gale Academic OneFile Select (68)
- BSC : Business Source Complete - Base de données (66)
- EZB Electronic Journals Library (23)
- SpringerLINK Lecture Notes in Computer Science (2015) (20)
- Lecture Notes in Computer Science Archive (through to 1996) (20)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (20)
- Springer Books (20)
- SpringerLink Books Lecture Notes in Computer Science Archive (19)
- Springer Books Online Archive (19)
- ROAD: Directory of Open Access Scholarly Resources (18)
- Recercat (7)
- IngentaConnect Journals (2)
- ScienceDirect® (1)
- Wiley Online Library (1)
- ANTE: Abstracts in New Technology & Engineering (1)
- Open Access: Wiley-Blackwell Open Access Journals (1)
-
Mais opções
Idioma
- Japonês (232)
- Português (13)
- Espanhol (1)
-
Mais opções
Nome da Publicação
- Sigplan Notices (49)
- Sigbed Review (33)
- Acm Transactions On Programming Languages And Systems (33)
- Communications Of The Acm (28)
- Proceedings Of Acm On Programming Languages (18)
- Software Engineering Notes (16)
- Acm Sigplan Notices (15)
- Proceedings Of The Acm Sigplan 2003 Conference On Programming Language Design And Implementation (6)
- Issta 98: Issta: International Symposium On Software Testing And Analysis (5)
- Siglog News (4)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 