Resultados de 1 a 10 de 12 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 (11)
- Revistas revisadas por pares (11)
Refinado por:
tipo de recurso:
Artigos
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
From parametric trace slicing to rule systemsReger, Giles ; Rydeheard, DavidInternational journal on software tools for technology transfer, 2021-04, Vol.23 (2), p.209-228 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
Rule Systems for Run-time Monitoring: from Eagle to RuleRBarringer, Howard ; Rydeheard, David ; Havelund, KlausJournal of logic and computation, 2010-06, Vol.20 (3), p.675-706 [Periódico revisado por pares]Oxford University PressTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Reactivity and Grammars: An ExplorationBarringer, Howard ; Rydeheard, David ; Gabbay, DovLanguage, Culture, Computation. Computing - Theory and Technology, p.103-155 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Modelling evolvable component systemsBarringer, Howard ; Gabbay, Dov ; Rydeheard, DavidLogic journal of the IGPL, 2009-12, Vol.17 (6), p.631-696 [Periódico revisado por pares]Oxford University PressTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
Modelling evolvable component systems: Part I: A logical frameworkBarringer, Howard ; Gabbay, Dov ; Rydeheard, David2009-08Texto completo disponível |
| 6 |
Material Type: Artigo
|
|
Modelling evolvable component systems: Part I: A logical frameworkBarringer, H. ; Gabbay, D. ; Rydeheard, D.Logic journal of the IGPL, 2009-12, Vol.17 (6), p.631-696 [Periódico revisado por pares]Texto completo disponível |
| 7 |
Material Type: Artigo
|
|
The Semantic Processing of Continuous Quantities for Discrete Terms in OntologiesWang, Shenghui ; Rydeheard, David ; Pan, Jeff Z.Journal of logic and computation, 2008-06, Vol.18 (3), p.341-359 [Periódico revisado por pares]Oxford: Oxford University PressTexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Automata-based Pattern Mining from Imperfect TracesReger, Giles ; Barringer, Howard ; Rydeheard, DavidSoftware engineering notes, 2015-02, Vol.40 (1), p.1-8Texto completo disponível |
| 9 |
Material Type: Artigo
|
|
A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer ScienceRYDEHEARD, DAVID E. ; SANNELLA, DONALD T.Formal aspects of computing, 2002-07, Vol.13 (3-5), p.187-193 [Periódico revisado por pares]Texto completo disponível |
| 10 |
Material Type: Artigo
|
|
A theory of classes: proofs and modelsHILKEN, BARNABY P. ; RYDEHEARD, DAVID E.Mathematical structures in computer science, 1997-04, Vol.7 (2), p.95-127 [Periódico revisado por pares]Cambridge University PressTexto completo disponível |
Resultados de 1 a 10 de 12 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 (11)
- Revistas revisadas por pares (11)
Refinar Meus Resultados
Assunto
- Science & Technology (5)
- Computer Science (4)
- Technology (4)
- Evolvable Systems (3)
- Reconfigurable Component Systems (3)
- Revision-Based Logic (3)
- Logical Frameworks (3)
- Computer Science, Theory & Methods (3)
- Minimum Models (3)
- Logic (3)
- Science & Technology - Other Topics (3)
- Rule Systems (2)
- Temporal Logic (2)
- Specifications (2)
- Computer Science, Software Engineering (1)
- Computer Science, Information Systems (1)
- Computer Science, Artificial Intelligence (1)
- Applied Sciences (1)
- Category Theory (1)
- Computer Science, Interdisciplinary Applications (1)
-
Mais opções
Data de Publicação
- Antes de1993 (2)
- 1993Até2001 (2)
- 2002Até2008 (2)
- 2009Até2014 (5)
- Após 2014 (2)
-
Mais opções
Base de Dados/Biblioteca
- EBSCOhost Computers and Applied Sciences Complete (8)
- Oxford Journals (5)
- Oxford University Press Journals Current (5)
- Science Citation Index Expanded (Web of Science) (4)
- SpringerLink Journals (MCLS) (3)
- ACM Digital Library Complete (3)
- EBSCOhost Business Source Complete (3)
- EZB Free E-Journals (2)
- Academic Search Premier (1)
- IngentaConnect Journals (1)
- SpringerOpen (1)
- Manchester University Research Explorer (1)
- SpringerLINK Lecture Notes in Computer Science Archive (Through 1996) (1)
- SpringerLINK Lecture Notes in Computer Science (2015) (1)
- Springer Nature - Springer Journals All 2022 (1)
- Cambridge Journals (1)
-
Mais opções
Nome da Publicação
- Formal Aspects Of Computing (2)
- Logic Journal Of The Igpl (2)
- Journal Of Logic And Computation (2)
- Mathematical Structures In Computer Science (1)
- Fundamenta Informaticae (1)
- International Journal On Software Tools For Technology Transfer (1)
- Language, Culture, Computation. Computing - Theory And Technology (1)
- Lecture Notes In Computer Science (1)
- Software Engineering Notes (1)
- Acm Sigsoft Software Engineering Notes (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 