Rekommenderade teman
Rekommenderade teman
Menade du:
alternating specifications » alternative specifications, integrating specification, lighting specifications
specifications programming » specification programming, specifications program, verification programming
programming programming » programming programmed, programming program
programming contracts » programming contract, programming constructs, programming constraints
contracts http » contracts act, contracts etc, contracts have
alternating specifications » alternative specifications, integrating specification, lighting specifications
specifications programming » specification programming, specifications program, verification programming
programming programming » programming programmed, programming program
programming contracts » programming contract, programming constructs, programming constraints
contracts http » contracts act, contracts etc, contracts have
1
Publicerad 2013
Innehållsförteckning:
“... Theories.-Bi-abduction with Pure Properties for Specification Inference -- Laws of Programming...”Hämta fulltext
Elektronisk
E-bok
2
Publicerad 2010
Innehållsförteckning:
“... Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating...”Hämta fulltext
Elektronisk
E-bok
3
Publicerad 2007
Innehållsförteckning:
“... -- A Model of Component-Based Programming -- Contract Based Multi-party Service Composition...”Hämta fulltext
Elektronisk
E-bok
4
Publicerad 2007
Innehållsförteckning:
“... to DA Research -- Toward Property-Driven Abstraction for Heap Manipulating Programs -- Branching vs...”Hämta fulltext
Elektronisk
E-bok
5
Publicerad 2005
Innehållsförteckning:
“... of Models: From Abstract Views to Concrete Specifications -- Flexible Business Process Management Using...”Hämta fulltext
Elektronisk
E-bok
6
Publicerad 2005
Innehållsförteckning:
“...-Based Declarative Access Control -- VCD: A Visual Formalism for Specification of Heterogeneous Software...”Hämta fulltext
Elektronisk
E-bok