skip to main content
Idioma:
Refinado por: Nome da Publicação: Electronic proceedings in theoretical computer science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
jsCoq: Towards Hybrid Theorem Proving Interfaces
jsCoq: Towards Hybrid Theorem Proving Interfaces
Material Type:
Artigo 		Adicionar ao Meu Espaço

jsCoq: Towards Hybrid Theorem Proving Interfaces

Gallego Arias, Emilio Jesús ; Pin, Benoît ; Jouvelot, Pierre

Electronic proceedings in theoretical computer science, 2017-01, Vol.239 (Proc. UITP 2016), p.15-27

Open Publishing Association

Texto completo disponível

Citações Citado por
2
Contract Aware Components, 10 years after
Contract Aware Components, 10 years after
Material Type:
Artigo 		Adicionar ao Meu Espaço

Contract Aware Components, 10 years after

Beugnard, Antoine ; Jézéquel, Jean-Marc ; Plouzeau, Noël

Electronic proceedings in theoretical computer science, 2010-10 (37), p.86-100

EPTCS

Texto completo disponível

Citações Citado por
3
Normalization by Evaluation in the Delay Monad: A Case Study for Coinduction via Copatterns and Sized Types
Normalization by Evaluation in the Delay Monad: A Case Study for Coinduction via Copatterns and Sized Types
Material Type:
Artigo 		Adicionar ao Meu Espaço

Normalization by Evaluation in the Delay Monad: A Case Study for Coinduction via Copatterns and Sized Types

Abel, Andreas ; Chapman, James

Electronic Proceedings in Theoretical Computer Science, EPTCS, 2014-06, Vol.153 (Proc. MSFP 2014), p.51-67

Open Publishing Association

Texto completo disponível

Citações Citado por
4
Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web
Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web
Material Type:
Artigo 		Adicionar ao Meu Espaço

Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web

Fayollas, Camille ; Martinie, Célia ; Palanque, Philippe ; Masci, Paolo ; Harrison, Michael D. ; Campos, José C. ; Rodrigues e Silva, Saulo

Electronic proceedings in theoretical computer science, 2017-01, Vol.240 (Proc. F-IDE 2016), p.1-19

Open Publishing Association

Texto completo disponível

Citações Citado por
5
Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules
Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules
Material Type:
Artigo 		Adicionar ao Meu Espaço

Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules

Pham, Thi-Kim-Zung ; Dubois, Catherine ; Levy, Nicole

Electronic proceedings in theoretical computer science, 2015-04, Vol.182 (Proc. FMSPLE 2015), p.44-55

Open Publishing Association

Texto completo disponível

Citações Citado por
6
Towards a Step Semantics for Story-Driven Modelling
Towards a Step Semantics for Story-Driven Modelling
Material Type:
Artigo 		Adicionar ao Meu Espaço

Towards a Step Semantics for Story-Driven Modelling

Kulcsár, Géza ; Anjorin, Anthony

2nd Graphs as Models Workshop, GaM 2016, Eindhoven, Germany, 2016-01, Vol.231 (231), p.42-56

Open Publishing Association

Texto completo disponível

Citações Citado por
7
Model the System from Adversary Viewpoint: Threats Identification and Modeling
Model the System from Adversary Viewpoint: Threats Identification and Modeling
Material Type:
Artigo 		Adicionar ao Meu Espaço

Model the System from Adversary Viewpoint: Threats Identification and Modeling

Sabir Idrees, Muhammad ; Roudier, Yves ; Apvrille, Ludovic

Electronic proceedings in theoretical computer science, 2014-10, Vol.165 (Proc. AIDP 2014), p.45-58

Open Publishing Association

Texto completo disponível

Citações Citado por
8
Translating UML State Machines to Coloured Petri Nets Using Acceleo: A Report
Translating UML State Machines to Coloured Petri Nets Using Acceleo: A Report
Material Type:
Artigo 		Adicionar ao Meu Espaço

Translating UML State Machines to Coloured Petri Nets Using Acceleo: A Report

André, Étienne ; Benmoussa, Mohamed Mahdi ; Choppy, Christine

Electronic proceedings in theoretical computer science, 2014-05, Vol.150 (Proc. ESSS 2014), p.1-7

Open Publishing Association

Texto completo disponível

Citações Citado por
9
Coverage Criteria for Model-Based Testing using Property Patterns
Coverage Criteria for Model-Based Testing using Property Patterns
Material Type:
Artigo 		Adicionar ao Meu Espaço

Coverage Criteria for Model-Based Testing using Property Patterns

Castillos, Kalou Cabrera ; Dadeau, Frédéric ; Julliand, Jacques

Electronic proceedings in theoretical computer science, 2014-03, Vol.141 (Proc. MBT 2014), p.29-43

Open Publishing Association

Texto completo disponível

Citações Citado por
10
Constraint-based reachability
Constraint-based reachability
Material Type:
Artigo 		Adicionar ao Meu Espaço

Constraint-based reachability

Gotlieb, Arnaud ; Denmat, Tristan ; Lazaar, Nadjib

Electronic proceedings in theoretical computer science, 2013-01, Vol.107 (Proc. Infinity 2012), p.25-43

Open Publishing Association

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de2009  (1)
  2. 2009Até2009  (1)
  3. 2010Até2010  (2)
  4. 2011Até2013  (2)
  5. Após 2013  (8)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.