Rezultati - integrated specifications program program constructs https

Poišči alternative:
integrated specifications » integrated specification , inherited specifications , interface specifications
specifications program » specification program , specifications property , specifications from
program constructs » program construction , program constructing , programming constructs
constructs https » construction https , constructs loops , constructs arti
program program » programs program , programming program

Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings /

Izdano 2012

Kazalo: “... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”
Polni tekst

Elektronski eKnjiga

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...

Izdano 2013

Kazalo: “... and Verification of GPU Kernels -- Verifying Concurrent Programs against Sequential Specifications...”
Polni tekst

Elektronski eKnjiga

B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings /

Izdano 2006

Kazalo: “... Combined B and CSP Specification to Java Programs -- Symmetry Reduction for B by Permutation Flooding...”
Polni tekst

Elektronski eKnjiga

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Izdano 2005

Kazalo: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Polni tekst

Elektronski eKnjiga

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference...

Izdano 2013

Kazalo: “... -- Analysis of Boolean Programs -- Weighted Pushdown Systems with Indexed Weight Domains -- Underapproximation...”
Polni tekst

Elektronski eKnjiga

Construction and Evolution of Code Generators A Model-Driven and Service-Oriented Approach /

Izdano 2013

Kazalo: “... framework -- Code generators for jABC -- Verification and validation of code generators -- Domain-specific...”
Polni tekst

Elektronski eKnjiga

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday /

Izdano 2011

Kazalo: “..., and NMR: Answer Set Programming’s Contributions to Classical Logic: An Analysis of ASP Methodology...”
Polni tekst

Elektronski eKnjiga

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference...

Izdano 2014

Kazalo: “... Side-Channel Attacks -- Detecting Unrealizable Specifications of Distributed Systems -- Synthesizing...”
Polni tekst

Elektronski eKnjiga

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference...

Izdano 2005

Kazalo: “... Transformation Invariants Under Retiming and Resynthesis -- Specification, Program Synthesis -- Compositional...”
Polni tekst

Elektronski eKnjiga

Embedded Systems Specification and Design Languages Selected Contributions from FDL’07 /

Izdano 2008

Kazalo: “... Modeling and Validation Using SystemC -- On Construction of Cycle Approximate Bus TLMs -- Combinatorial...”
Polni tekst

Elektronski eKnjiga

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference...

Izdano 2006

Kazalo: “... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”
Polni tekst

Elektronski eKnjiga

Principles of the Spin Model Checker

od Ben-Ari, Mordechai., Ben-Ari, Mordechai.
Izdano 2008

Kazalo: “...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
Polni tekst

Elektronski eKnjiga

New Modeling Concepts for Today's Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings /

Izdano 2010

Kazalo: “... Empirical Assessment of the Practical Value of GQM+Strategies -- Determining Organization-Specific Process...”
Polni tekst

Elektronski eKnjiga

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /

Izdano 2010

Teme: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Polni tekst

Elektronski eKnjiga

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007...

Izdano 2007

Kazalo: “... Psychological Theory -- Model Driven Development -- Integrating Performance and Reliability Analysis in a Non...”
Polni tekst

Elektronski eKnjiga

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /

Izdano 2005

Kazalo: “... and Verification -- Tracing Integration Analysis in Component-Based Formal Specifications -- CompAr: Ensuring Safe...”
Polni tekst

Elektronski eKnjiga

Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings /

Izdano 2007

Kazalo: “...Context-Awareness I -- The Context-Dependent Role Model -- Integrating Facts and Beliefs to Model...”
Polni tekst

Elektronski eKnjiga

Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /

Izdano 2008

Kazalo: “... -- Modular Reasoning in Object-Oriented Programming -- Scalable Specification and Reasoning: Challenges...”
Polni tekst

Elektronski eKnjiga

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings /

Izdano 2013

Kazalo: “...Invited Papers -- Executing Specifications using Synthesis and Constraint Solving -- Runtime...”
Polni tekst

Elektronski eKnjiga

Pro Java EE Spring Patterns Best Practices and Design Strategies Implementing Java EE Patterns with the Spring Framework /

od Kayal, Dhrubojyoti., Kayal, Dhrubojyoti.
Izdano 2008

Kazalo: “... Tier Design Patterns -- Exploring Integration Tier Design Patterns -- Exploring Crosscutting Design...”
Polni tekst

Elektronski eKnjiga

1
2
3
4
5
6
Naslednji »
[6]

Zoži iskanje