Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
integration specifications » interaction specifications, integrating specification, integrated specifications
specifications programs » specifications program, specification program, specifications process
programs program » programming program
constructs https » construction https, constructs arti, constructs steve
constructs loops » constructs lists, constructs coders, constructs core
integration specifications » interaction specifications, integrating specification, integrated specifications
specifications programs » specifications program, specification program, specifications process
programs program » programming program
constructs https » construction https, constructs arti, constructs steve
constructs loops » constructs lists, constructs coders, constructs core
1
Опубликовано 2013
Оглавление:
“... -- Analysis of Boolean Programs -- Weighted Pushdown Systems with Indexed Weight Domains -- Underapproximation...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2014
Оглавление:
“... Specifications with Observational Semantics -- Synthesis for Human-in-the-Loop Control Systems -- Learning...”Полный текст
Электронный ресурс
eКнига
3
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...”Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2012
Оглавление:
“... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2006
Оглавление:
“... Combined B and CSP Specification to Java Programs -- Symmetry Reduction for B by Permutation Flooding...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2005
Оглавление:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2013
Оглавление:
“... framework -- Code generators for jABC -- Verification and validation of code generators -- Domain-specific...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2011
Оглавление:
“..., and NMR: Answer Set Programming’s Contributions to Classical Logic: An Analysis of ASP Methodology...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2005
Оглавление:
“... Transformation Invariants Under Retiming and Resynthesis -- Specification, Program Synthesis -- Compositional...”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2008
Оглавление:
“... Modeling and Validation Using SystemC -- On Construction of Cycle Approximate Bus TLMs -- Combinatorial...”Полный текст
Электронный ресурс
eКнига
11
Опубликовано 2006
Оглавление:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”Полный текст
Электронный ресурс
eКнига
12
Оглавление:
“...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
Полный текст
Полный текст
Электронный ресурс
eКнига
13
Опубликовано 2010
Оглавление:
“... Empirical Assessment of the Practical Value of GQM+Strategies -- Determining Organization-Specific Process...”Полный текст
Электронный ресурс
eКнига
14
Опубликовано 2010
Предметы:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Полный текст
Электронный ресурс
eКнига
15
Опубликовано 2007
Оглавление:
“... Psychological Theory -- Model Driven Development -- Integrating Performance and Reliability Analysis in a Non...”Полный текст
Электронный ресурс
eКнига
16
Опубликовано 2005
Оглавление:
“... and Verification -- Tracing Integration Analysis in Component-Based Formal Specifications -- CompAr: Ensuring Safe...”Полный текст
Электронный ресурс
eКнига
17
Опубликовано 2008
Оглавление:
“... -- Modular Reasoning in Object-Oriented Programming -- Scalable Specification and Reasoning: Challenges...”Полный текст
Электронный ресурс
eКнига
18
Опубликовано 2007
Оглавление:
“...Context-Awareness I -- The Context-Dependent Role Model -- Integrating Facts and Beliefs to Model...”Полный текст
Электронный ресурс
eКнига
19
Опубликовано 2013
Оглавление:
“...Invited Papers -- Executing Specifications using Synthesis and Constraint Solving -- Runtime...”Полный текст
Электронный ресурс
eКнига
20
Оглавление:
“... Tier Design Patterns -- Exploring Integration Tier Design Patterns -- Exploring Crosscutting Design...”
Полный текст
Полный текст
Электронный ресурс
eКнига