skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: assunto: Software remover Model Checking remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Quality of software architectures and software quality First International Conference on the Quality of Software Architectures QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005 ; proceedings
Quality of software architectures and software quality First International Conference on the Quality of Software Architectures QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Quality of software architectures and software quality First International Conference on the Quality of Software Architectures QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005 ; proceedings

International Conference on the Quality of Software Architectures (1st 2005 Erfurt, Germany) Ralf Reussner; International Workshop on Software Quality (2nd 2005 Erfurt, Germany)

Berlin Springer New York c2005

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.3712 ) e outros locais(Acessar)

2
CHARMY: A Framework for Designing and Verifying Architectural Specifications
CHARMY: A Framework for Designing and Verifying Architectural Specifications
Material Type:
Artigo 		Adicionar ao Meu Espaço

CHARMY: A Framework for Designing and Verifying Architectural Specifications

Pelliccione, P. ; Inverardi, P. ; Muccini, H.

IEEE transactions on software engineering, 2009-05, Vol.35 (3), p.325-346 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
3
A classification and comparison of model checking software architecture techniques
A classification and comparison of model checking software architecture techniques
Material Type:
Artigo 		Adicionar ao Meu Espaço

A classification and comparison of model checking software architecture techniques

Zhang, Pengcheng ; Muccini, Henry ; Li, Bixin

The Journal of systems and software, 2010-05, Vol.83 (5), p.723-744 [Periódico revisado por pares]

New York: Elsevier Inc

Texto completo disponível

Citações Citado por
4
Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification
Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification
Material Type:
Artigo 		Adicionar ao Meu Espaço

Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification

Subramanyan, Pramod ; Huang, Bo-Yuan ; Vizel, Yakir ; Gupta, Aarti ; Malik, Sharad

IEEE transactions on computer-aided design of integrated circuits and systems, 2018-08, Vol.37 (8), p.1692-1705 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
5
The ins and outs of the probabilistic model checker MRMC
The ins and outs of the probabilistic model checker MRMC
Material Type:
Artigo 		Adicionar ao Meu Espaço

The ins and outs of the probabilistic model checker MRMC

Katoen, Joost-Pieter ; Zapreev, Ivan S. ; Hahn, Ernst Moritz ; Hermanns, Holger ; Jansen, David N.

Performance evaluation, 2011-02, Vol.68 (2), p.90-104 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
6
Model Checking Higher-Order Programs
Model Checking Higher-Order Programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Model Checking Higher-Order Programs

KOBAYASHI, Naoki

Journal of the ACM, 2013-06, Vol.60 (3), p.1-62 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
7
Integrated Formal Tools for Software Architecture Smell Detection
Integrated Formal Tools for Software Architecture Smell Detection
Material Type:
Artigo 		Adicionar ao Meu Espaço

Integrated Formal Tools for Software Architecture Smell Detection

Chondamrongkul, Nacha ; Sun, Jing ; Warren, Ian ; Lee, Scott Uk-Jin

International journal of software engineering and knowledge engineering, 2020-06, Vol.30 (6), p.723-763 [Periódico revisado por pares]

Singapore: World Scientific Publishing Company

Texto completo disponível

Citações Citado por
8
Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking
Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking
Material Type:
Artigo 		Adicionar ao Meu Espaço

Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking

Baouya, Abdelhakim ; Mohamed, Otmane Ait ; Ouchani, Samir ; Bennouar, Djamal

Expert systems with applications, 2021-07, Vol.174, p.114572, Article 114572 [Periódico revisado por pares]

New York: Elsevier Ltd

Texto completo disponível

Citações Citado por
9
Formalizing and verifying stochastic system architectures using Monterey Phoenix
Formalizing and verifying stochastic system architectures using Monterey Phoenix
Material Type:
Artigo 		Adicionar ao Meu Espaço

Formalizing and verifying stochastic system architectures using Monterey Phoenix

Song, Songzheng ; Zhang, Jiexin ; Liu, Yang ; Auguston, Mikhail ; Sun, Jun ; Dong, Jin Song ; Chen, Tieming

Software and systems modeling, 2016-05, Vol.15 (2), p.453-471 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
Verifying Full Regular Temporal Properties of Programs via Dynamic Program Execution
Verifying Full Regular Temporal Properties of Programs via Dynamic Program Execution
Material Type:
Artigo 		Adicionar ao Meu Espaço

Verifying Full Regular Temporal Properties of Programs via Dynamic Program Execution

Wang, Meng ; Tian, Cong ; Zhang, Nan ; Duan, Zhenhua

IEEE transactions on reliability, 2019-09, Vol.68 (3), p.1101-1116 [Periódico revisado por pares]

IEEE

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (54)
  2. Anais de Congresso  (25)
  3. Livros  (2)
  4. Book Chapters  (2)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1999  (8)
  2. 1999Até2007  (14)
  3. 2008Até2012  (23)
  4. 2013Até2018  (30)
  5. Após 2018  (9)
  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.