skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Transactions on Modularity and Composition I
Transactions on Modularity and Composition I
Material Type:
Livro 		Adicionar ao Meu Espaço

Transactions on Modularity and Composition I

Shigeru. Chiba Patrick Eugster; Gary T Leavens; Mario Südholt; Lukasz Ziarek

Cham Springer International Publishing 2016

Acesso online

2
Behavioral Interface Specification Languages
Behavioral Interface Specification Languages
Material Type:
Artigo 		Adicionar ao Meu Espaço

Behavioral Interface Specification Languages

HATCLIFF, John ; LEAVENS, Gary T ; LEINO, K. Rustan M ; MULLER, Peter ; PARKINSON, Matthew

ACM computing surveys, 2012-06, Vol.44 (3), p.1-58 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
3
Automated translation of VDM to JML-annotated Java
Automated translation of VDM to JML-annotated Java
Material Type:
Artigo 		Adicionar ao Meu Espaço

Automated translation of VDM to JML-annotated Java

Tran-Jørgensen, Peter W. V. ; Larsen, Peter Gorm ; Leavens, Gary T.

International journal on software tools for technology transfer, 2018-04, Vol.20 (2), p.211-235 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
4
What kinds of contracts do ML APIs need?
What kinds of contracts do ML APIs need?
Material Type:
Artigo 		Adicionar ao Meu Espaço

What kinds of contracts do ML APIs need?

Khairunnesa, Samantha Syeda ; Ahmed, Shibbir ; Imtiaz, Sayem Mohammad ; Rajan, Hridesh ; Leavens, Gary T.

Empirical software engineering : an international journal, 2023-11, Vol.28 (6), p.142, Article 142 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

Citações Citado por
5
A Simple and Practical Approach to Unit Testing: The JML and JUnit Way
A Simple and Practical Approach to Unit Testing: The JML and JUnit Way
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Simple and Practical Approach to Unit Testing: The JML and JUnit Way

Cheon, Yoonsik ; Leavens, Gary T. Magnusson, Boris

ECOOP 2002 — Object-Oriented Programming, 2002, p.231-255 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
Specification and verification challenges for sequential object-oriented programs
Specification and verification challenges for sequential object-oriented programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Specification and verification challenges for sequential object-oriented programs

LEAVENS, Gary T ; RUSTAN, K ; LEINO, M ; MÜLLER, Peter

Formal aspects of computing, 2007-06, Vol.19 (2), p.159-189 [Periódico revisado por pares]

London: Springer

Texto completo disponível

Citações Citado por
7
Unifying separation logic and region logic to allow interoperability
Unifying separation logic and region logic to allow interoperability
Material Type:
Artigo 		Adicionar ao Meu Espaço

Unifying separation logic and region logic to allow interoperability

Bao, Yuyan ; Leavens, Gary T. ; Ernst, Gidon

Formal aspects of computing, 2018-08, Vol.30 (3-4), p.381-441 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

Citações Citado por
8
Transactions on Modularity and Composition I
Transactions on Modularity and Composition I
Material Type:
Livro 		Adicionar ao Meu Espaço

Transactions on Modularity and Composition I

Chiba, Shigeru ; Südholt, Mario ; Eugster, Patrick ; Ziarek, Lukasz ; Leavens, Gary T Chiba, Shigeru ; Eugster, Patrick ; S'dholt, Mario ; Ziarek, Lukasz

Cham: Springer Nature 2016

Texto completo disponível

Citações Citado por
9
More Reliable Test Suites for Dynamic APR by using Counterexamples
More Reliable Test Suites for Dynamic APR by using Counterexamples
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

More Reliable Test Suites for Dynamic APR by using Counterexamples

Nilizadeh, Amirfarhad ; Calvo, Marlon ; Leavens, Gary T. ; Le, Xuan-Bach D.

2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE), 2021, p.208-219

IEEE

Sem texto completo

Citações Citado por
10
Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2
Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2

Chalin, Patrice ; Kiniry, Joseph R. ; Leavens, Gary T. ; Poll, Erik de Roever, Willem-Paul ; Bonsangue, Marcello M. ; Graf, Susanne ; de Boer, Frank S.

Formal Methods for Components and Objects, 2006, p.342-363 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (186)
  2. Revistas revisadas por pares (98)

Refinar Meus Resultados

Tipo de Recurso 

  1. Web Resources  (124)
  2. Book Chapters  (83)
  3. Anais de Congresso  (72)
  4. Artigos  (68)
  5. Livros  (9)
  6. Reports  (5)
  7. Resenhas  (2)
  8. Verbetes  (1)
  9. Mais opções open sub menu

Autor/Criador 

  1. Chiba, S  (1)
  2. Eugster, P  (1)
  3. Ziarek, L  (1)
  4. Südholt, M  (1)
  5. Leavens, G  (1)
  6. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1993  (21)
  2. 1993Até1999  (69)
  3. 2000Até2006  (96)
  4. 2007Até2014  (112)
  5. Após 2014  (59)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Chiba, S
  2. Eugster, P
  3. Ziarek, L
  4. Südholt, M
  5. Leavens, G

Neste Assunto:

  1. Software Engineering
  2. Computer Science
  3. Science & Technology
  4. Technology
  5. Computer Science, Software Engineering

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

Buscando em bases de dados remotas. Favor aguardar.