Contract-based slicing Artigo de Conferência Livro

• http://www.scopus.com/inward/record.url?eid=2-s2.0-78650287722&partnerID=MN8TOARS
• full text

•  
• Visão geral
•  
• Pesquisas
•  
• Identidade
•  
• Informação adicional documento
•  
• Ver Todos
•  

Visão geral

autores

• Pedro Manuel Rangel Santos Henriques
• Cruz, Daniela da
• Da Cruz, D.
• Henriques, P.R.
• Pinto, Jorge Sousa
• Sousa Pinto, J.

data de publicação

• 2010

publicada em

• Computational Methods in Applied Sciences  Revista

Pesquisas

palavras-chave

• Design-by-contract
• Slicing
• Specification-based slicing

Identidade

Digital Object Identifier (DOI)

• https://doi.org/10.1007/978-3-642-16558-0_11

Informação adicional documento

Página Inicial

• 106

página final

• 120

Volume

• 6415 LNCS