関連のトピックス ...
関連のトピックス ...
提案スペルによる検索:
programming programming » programming programmed, programming program
computers programming » computer programming, computer program, computer programs
programming contracts » programming contract, programming constructs, programming constraints
services computers » services computer, service computer, services computing
https » http
programming programming » programming programmed, programming program
computers programming » computer programming, computer program, computer programs
programming contracts » programming contract, programming constructs, programming constraints
services computers » services computer, service computer, services computing
https » http
1
目次:
“...Contracts -- Intellectual Property Rights -- Consumer Protection -- Privacy -- Conclusions....”
全文の入手
全文の入手
電子媒体
eBook
2
出版事項 2013
目次:
“... Logic Programming -- Opening Doors: An Initial SRL Approach -- Probing the Space of Optimal Markov Logic...”全文の入手
電子媒体
eBook
3
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
出版事項 2010
目次:
“... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”全文の入手
電子媒体
eBook
4
出版事項 2013
目次:
“... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”全文の入手
電子媒体
eBook
5
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
出版事項 2013
目次:
“... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”全文の入手
電子媒体
eBook
6
出版事項 2006
目次:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”全文の入手
電子媒体
eBook
7
出版事項 2006
目次:
“... Basic Contract Language for Web Services -- Types for Dynamic Reconfiguration -- Size-Change Termination...”全文の入手
電子媒体
eBook
8
出版事項 2010
目次:
“...Refinement Calculus as a Theory of Contracts (Invited Paper) -- Transaction Calculus -- UTP...”全文の入手
電子媒体
eBook
9
出版事項 2011
目次:
“...SENSORIA – Software Engineering for Service-Oriented Overlay Computers -- A Unifying Formal Basis...”全文の入手
電子媒体
eBook
10
主題:
“...Business and Management, general. https://scigraph.springernature.com/ontologies/product-market...”
全文の入手
全文の入手
電子媒体
eBook
11
12
出版事項 2010
目次:
“... to Achieve Predictability of Service Execution -- Aggregate Quality of Service Computation for Composite...”全文の入手
電子媒体
eBook
13
出版事項 2014
目次:
“...Extreme Accuracy in Symbolic Regression -- Exploring Interestingness in a Computational Evolution...”全文の入手
電子媒体
eBook
14
出版事項 2010
目次:
“... of Overloading in Java Programs -- Falling Back on Executable Specifications -- Contract-Based Data Structure...”全文の入手
電子媒体
eBook
15
出版事項 2013
目次:
“... and Fault-Tolerant Restful Service Consumption.- Contract Compliance Monitoring of Web Services.- Service...”全文の入手
電子媒体
eBook
16
出版事項 2005
目次:
“... of the Equator: An eXPerience Implementing XP in Brazil -- Introducing Extreme Programming into a Software...”全文の入手
電子媒体
eBook
17
出版事項 2014
目次:
“... System Development -- Agile Software Development in Practice -- Part Agile Challenges and Contracting...”全文の入手
電子媒体
eBook
18
出版事項 2005
目次:
“... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...”全文の入手
電子媒体
eBook
19
出版事項 2006
目次:
“... and Non-functional Requirements -- SOCK: A Calculus for Service Oriented Computing -- A Priori Conformance...”全文の入手
電子媒体
eBook
20