Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
integration specifications » interaction specifications, integrating specification, integrated specifications
specifications process » specification process, specification processes, specifications precise
program constructing » program construction, diagram constructing, programs conducting
constructing https » construction https, consulting https, constructing better
process program » progress program, process programmed, processing program
integration specifications » interaction specifications, integrating specification, integrated specifications
specifications process » specification process, specification processes, specifications precise
program constructing » program construction, diagram constructing, programs conducting
constructing https » construction https, consulting https, constructing better
process program » progress program, process programmed, processing program
1
Published 2013
Table of Contents:
“... framework -- Code generators for jABC -- Verification and validation of code generators -- Domain-specific...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... Combined B and CSP Specification to Java Programs -- Symmetry Reduction for B by Permutation Flooding...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“... -- Analysis of Boolean Programs -- Weighted Pushdown Systems with Indexed Weight Domains -- Underapproximation...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“... Side-Channel Attacks -- Detecting Unrealizable Specifications of Distributed Systems -- Synthesizing...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Transformation Invariants Under Retiming and Resynthesis -- Specification, Program Synthesis -- Compositional...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Empirical Assessment of the Practical Value of GQM+Strategies -- Determining Organization-Specific Process...”View full text
Electronic
eBook
8
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... and Verification of GPU Kernels -- Verifying Concurrent Programs against Sequential Specifications...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... and a Use Case -- Integrating Users in Object-Aware Process Management Systems: Issues and Challenges...”View full text
Electronic
eBook
11
Natural Language Processing and Information Systems 10th International Conference on Applications...
Published 2005
Table of Contents:
“... Data-Driven Systems for Improving Named Entity Recognition -- Natural Language Processing: Mature...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... -- An Integrated Approach to Battlefield Situation Assessment -- Negotiation Based on Personality -- MIAM: A Robot...”View full text
Electronic
eBook
14
Business Process Management Workshops BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM...
Published 2006
Table of Contents:
“... in Business-Driven Development -- ERP Reference Process Models: From Generic to Specific -- Business Process...”View full text
Electronic
eBook
15
Published 2015
Table of Contents:
“...BORM-II and UML as accessibility process in knowledge and business modelling -- Planning-Context...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... and Verification -- Tracing Integration Analysis in Component-Based Formal Specifications -- CompAr: Ensuring Safe...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“...Context-Awareness I -- The Context-Dependent Role Model -- Integrating Facts and Beliefs to Model...”View full text
Electronic
eBook
18
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... – A European Project on Integrating Timing Technology -- Processes, Methods and Tools for Developing...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“..., Web Services and Business Processes: The ASM-Based Approach -- Refinement of State-Based Systems: ASMs...”View full text
Electronic
eBook