Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
verification programming » specification programming, identification programming, verification program
programming programming » programming programmed, programming program
interface verification » interface specification, inference verification, interactive verification
programming contracts » programming contract, programming constructs, programming constraints
https » http
verification programming » specification programming, identification programming, verification program
programming programming » programming programmed, programming program
interface verification » interface specification, inference verification, interactive verification
programming contracts » programming contract, programming constructs, programming constraints
https » http
1
Autor Almeida, José Bacelar., Almeida, José Bacelar., Frade, Maria João., Pinto, Jorge Sousa., Melo de Sousa, Simão.
Vydáno 2011
Obsah:
“.... Safety Properties -- 8. Procedures and Contracts -- 9. Specifying C Programs -- 10. Verifying C Programs...”Vydáno 2011
Získat plný text
Elektronický zdroj
E-kniha
2
Vydáno 2010
Obsah:
“... the Security in the GSM Radio Network Using Attack Jungles -- Formal Modeling and Verification of Sensor...”Získat plný text
Elektronický zdroj
E-kniha
3
Vydáno 2007
Obsah:
“... of Component-Based Systems -- Performance-Driven Interface Contract Enforcement for Scientific Components...”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2006
Obsah:
“... Composability -- Static Verification of Indirect Data Sharing in Loosely-coupled Component Systems -- Enforcing...”Získat plný text
Elektronický zdroj
E-kniha
5
Vydáno 2008
Obsah:
“... -- Proofs and Refutations for Probabilistic Refinement -- Assume-Guarantee Verification for Interface...”Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2006
Obsah:
“...Full Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A...”Získat plný text
Elektronický zdroj
E-kniha
7
Vydáno 2005
Obsah:
“... Application of Geometric Semantics to Static Analysis of Concurrent Programs -- Verification of Qualitative...”Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2014
Obsah:
“... by Fixing Contracts -- Dynamic Package Interfaces -- SMT-Based Checking of SOLOIST over Sparse Traces...”Získat plný text
Elektronický zdroj
E-kniha
9
Vydáno 2005
Obsah:
“... -- Lessons Learned Applying UML in the Design of Mission Critical Software -- System-on-Chip Verification...”Získat plný text
Elektronický zdroj
E-kniha
10
Vydáno 2007
Obsah:
“... -- Architectural Verification of Black-Box Component-Based Systems -- Systematic Generation of XML Instances...”Získat plný text
Elektronický zdroj
E-kniha
11
Vydáno 2008
Obsah:
“... Abstract Graph Views as Module Interfaces -- Programmed Graph Rewriting with DEVS -- Relational Growth...”Získat plný text
Elektronický zdroj
E-kniha
12
Vydáno 2005
Obsah:
“... Contract Layered Architecture for Regulating Cross-Organisational Business Processes -- An Effective...”Získat plný text
Elektronický zdroj
E-kniha
13
Vydáno 2007
Obsah:
“... Networks with Collision Detection -- An Approach to Modelling and Verification of Component Based Systems...”Získat plný text
Elektronický zdroj
E-kniha
14
Vydáno 2013
Obsah:
“... Their Procurement Spending and Introduce Greater Competition in Public Sector Contracting.-Models for Some Smart...”Získat plný text
Elektronický zdroj
E-kniha
15
Vydáno 2005
Obsah:
“... Verification in Polar Frequency Domain: A Biologically Motivated Approach -- Face Alignment and Adaptive Weight...”Získat plný text
Elektronický zdroj
E-kniha