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