Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
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 ; proceedingsInternational 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 c2005Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3712 ) e outros locais(Acessar) |
2 |
Material Type: Artigo
|
![]() |
CHARMY: A Framework for Designing and Verifying Architectural SpecificationsPelliccione, 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: IEEETexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
A classification and comparison of model checking software architecture techniquesZhang, Pengcheng ; Muccini, Henry ; Li, BixinThe Journal of systems and software, 2010-05, Vol.83 (5), p.723-744 [Periódico revisado por pares]New York: Elsevier IncTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC VerificationSubramanyan, Pramod ; Huang, Bo-Yuan ; Vizel, Yakir ; Gupta, Aarti ; Malik, SharadIEEE 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: IEEETexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
The ins and outs of the probabilistic model checker MRMCKatoen, 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.VTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Model Checking Higher-Order ProgramsKOBAYASHI, NaokiJournal of the ACM, 2013-06, Vol.60 (3), p.1-62 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Integrated Formal Tools for Software Architecture Smell DetectionChondamrongkul, Nacha ; Sun, Jing ; Warren, Ian ; Lee, Scott Uk-JinInternational journal of software engineering and knowledge engineering, 2020-06, Vol.30 (6), p.723-763 [Periódico revisado por pares]Singapore: World Scientific Publishing CompanyTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model CheckingBaouya, Abdelhakim ; Mohamed, Otmane Ait ; Ouchani, Samir ; Bennouar, DjamalExpert systems with applications, 2021-07, Vol.174, p.114572, Article 114572 [Periódico revisado por pares]New York: Elsevier LtdTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Formalizing and verifying stochastic system architectures using Monterey PhoenixSong, Songzheng ; Zhang, Jiexin ; Liu, Yang ; Auguston, Mikhail ; Sun, Jun ; Dong, Jin Song ; Chen, TiemingSoftware and systems modeling, 2016-05, Vol.15 (2), p.453-471 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Verifying Full Regular Temporal Properties of Programs via Dynamic Program ExecutionWang, Meng ; Tian, Cong ; Zhang, Nan ; Duan, ZhenhuaIEEE transactions on reliability, 2019-09, Vol.68 (3), p.1101-1116 [Periódico revisado por pares]IEEETexto completo disponível |