関連のトピックス ...
関連のトピックス ...
提案スペルによる検索:
integration specifications » interaction specifications, integrating specification, integrated specifications
specifications programs » specifications program, specification program, specifications process
program constructs » program construction, program constructing, programming constructs
programs program » programming program
constructs https » construction https, constructs loops, constructs arti
integration specifications » interaction specifications, integrating specification, integrated specifications
specifications programs » specifications program, specification program, specifications process
program constructs » program construction, program constructing, programming constructs
programs program » programming program
constructs https » construction https, constructs loops, constructs arti
1
出版事項 2012
目次:
“... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”全文の入手
電子媒体
eBook
2
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
出版事項 2013
目次:
“... and Verification of GPU Kernels -- Verifying Concurrent Programs against Sequential Specifications...”全文の入手
電子媒体
eBook
3
出版事項 2006
目次:
“... Combined B and CSP Specification to Java Programs -- Symmetry Reduction for B by Permutation Flooding...”全文の入手
電子媒体
eBook
4
出版事項 2005
目次:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”全文の入手
電子媒体
eBook
5
出版事項 2013
目次:
“... -- Analysis of Boolean Programs -- Weighted Pushdown Systems with Indexed Weight Domains -- Underapproximation...”全文の入手
電子媒体
eBook
6
出版事項 2013
目次:
“... framework -- Code generators for jABC -- Verification and validation of code generators -- Domain-specific...”全文の入手
電子媒体
eBook
7
出版事項 2011
目次:
“..., and NMR: Answer Set Programming’s Contributions to Classical Logic: An Analysis of ASP Methodology...”全文の入手
電子媒体
eBook
8
出版事項 2014
目次:
“... Side-Channel Attacks -- Detecting Unrealizable Specifications of Distributed Systems -- Synthesizing...”全文の入手
電子媒体
eBook
9
出版事項 2005
目次:
“... Transformation Invariants Under Retiming and Resynthesis -- Specification, Program Synthesis -- Compositional...”全文の入手
電子媒体
eBook
10
出版事項 2008
目次:
“... Modeling and Validation Using SystemC -- On Construction of Cycle Approximate Bus TLMs -- Combinatorial...”全文の入手
電子媒体
eBook
11
出版事項 2006
目次:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”全文の入手
電子媒体
eBook
12
目次:
“...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
全文の入手
全文の入手
電子媒体
eBook
13
出版事項 2010
目次:
“... Empirical Assessment of the Practical Value of GQM+Strategies -- Determining Organization-Specific Process...”全文の入手
電子媒体
eBook
14
出版事項 2010
主題:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”全文の入手
電子媒体
eBook
15
出版事項 2007
目次:
“... Psychological Theory -- Model Driven Development -- Integrating Performance and Reliability Analysis in a Non...”全文の入手
電子媒体
eBook
16
出版事項 2005
目次:
“... and Verification -- Tracing Integration Analysis in Component-Based Formal Specifications -- CompAr: Ensuring Safe...”全文の入手
電子媒体
eBook
17
出版事項 2008
目次:
“... -- Modular Reasoning in Object-Oriented Programming -- Scalable Specification and Reasoning: Challenges...”全文の入手
電子媒体
eBook
18
出版事項 2007
目次:
“...Context-Awareness I -- The Context-Dependent Role Model -- Integrating Facts and Beliefs to Model...”全文の入手
電子媒体
eBook
19
出版事項 2013
目次:
“...Invited Papers -- Executing Specifications using Synthesis and Constraint Solving -- Runtime...”全文の入手
電子媒体
eBook
20
目次:
“... Tier Design Patterns -- Exploring Integration Tier Design Patterns -- Exploring Crosscutting Design...”
全文の入手
全文の入手
電子媒体
eBook