在您的搜寻 主题建议
在您的搜寻 主题建议
搜索替代词:
programming programming » programming programmed, programming program
integration programming » integrated programming, interactive programming, integration program
integrals integration » integral integration, integration integration, interface integration
programming contracts » programming contract, programming constructs, programming constraints
https » http
programming programming » programming programmed, programming program
integration programming » integrated programming, interactive programming, integration program
integrals integration » integral integration, integration integration, interface integration
programming contracts » programming contract, programming constructs, programming constraints
https » http
1
书本目录:
“...Contracts -- Intellectual Property Rights -- Consumer Protection -- Privacy -- Conclusions....”
获取全文
获取全文
电子
电子书
2
出版 2006
书本目录:
“... Aspects Implement Contracts? -- Aspects-Classes Integration Testing Strategy: An Incremental Approach...”获取全文
电子
电子书
3
出版 2007
书本目录:
“... Architecture -- Build, Configuration, Integration and Testing Tools for Large Software Projects: ETICS...”获取全文
电子
电子书
4
出版 2008
书本目录:
“...Concepts and Approaches of Integrated Water Management -- Filling the Information Gap between Water...”获取全文
电子
电子书
5
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
出版 2013
书本目录:
“... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...”获取全文
电子
电子书
6
出版 2013
书本目录:
“... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”获取全文
电子
电子书
7
出版 2005
书本目录:
“... Integration of Jester – The JUnit Test Tester -- Extreme Programming: The Genesys Experience -- Shared Code...”获取全文
电子
电子书
8
出版 2014
书本目录:
“... System Development -- Agile Software Development in Practice -- Part Agile Challenges and Contracting...”获取全文
电子
电子书
9
书本目录:
“...Introduction -- Contracts and Aspects -- Expressions -- Structure and Visibility -- Tasking...”
获取全文
获取全文
电子
电子书
10
书本目录:
“...OOP and Patterns -- Abstract Classes, Interfaces, and Programming by Contract -- Static Variables...”
获取全文
获取全文
电子
电子书
11
出版 2007
书本目录:
“... for e-Government Services: An Experience Report -- An Approach for QoS Contract Negotiation...”获取全文
电子
电子书
12
出版 2006
书本目录:
“... Different Contracts in Hierarchical Component-Based Systems -- Automated Pattern-Based Pointcut Generation...”获取全文
电子
电子书
13
出版 2006
书本目录:
“...Full Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A...”获取全文
电子
电子书
14
出版 2011
书本目录:
“... Calculi -- Static Analysis Techniques for Session-Oriented Calculi -- Call-by-Contract for Service...”获取全文
电子
电子书
15
书本目录:
“...-in Contract Testing -- Built-in Contract Testing and Implementation Technologies -- Reuse and Related...”
获取全文
获取全文
电子
电子书
16
书本目录:
“... Demand and Substitution -- Empirical Newsvendor Decisions under a Service Contract -- Conclusions....”
获取全文
获取全文
电子
电子书
17
出版 2015
书本目录:
“...Towards Smart Systems of Systems -- Automated Integration of Service-oriented Software Systems...”获取全文
电子
电子书
18
出版 2007
书本目录:
“...Invited Contributions -- Software Product Families: Towards Compositionality -- Contract-Driven...”获取全文
电子
电子书
19
出版 2011
书本目录:
“....- Analyzing Contract Robustness through a Model of Commitments.- A Case for New Directions in Agent-Oriented...”获取全文
电子
电子书
20
出版 2013
书本目录:
“... -- Using Contracts to Guide the Search-Based Verification of Concurrent Programs -- Planning Global...”获取全文
电子
电子书