الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
interactive specification » interaction specifications, interactive sonification, interactive verification
specification program » specifications program, verification program, purification program
program constructing » program construction, diagram constructing, programs conducting
constructing https » construction https, consulting https, constructing better
program program » programs program, programming program
interactive specification » interaction specifications, interactive sonification, interactive verification
specification program » specifications program, verification program, purification program
program constructing » program construction, diagram constructing, programs conducting
constructing https » construction https, consulting https, constructing better
program program » programs program, programming program
1
منشور في 2005
جدول المحتويات:
“... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2005
جدول المحتويات:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
جدول المحتويات:
“...Preliminaries -- The Technical Background -- On Programming -- Fundamentals -- Algorithm Extraction...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2008
جدول المحتويات:
“... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2006
جدول المحتويات:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2012
جدول المحتويات:
“..., the Reals, and the Real Algebraic Numbers -- Construction of Real Algebraic Numbers in Coq -- A Refinement...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2005
جدول المحتويات:
“... Usability Testing in a Component-Based Environment: Improving Test Efficiency with Component-Specific...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2015
جدول المحتويات:
“... in Construction: Sludge and Recycling -- Recycling of waste plastics -- Recent resource and environmental issues...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
الموضوعات:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
10
جدول المحتويات:
“...Basics -- Introducing Categories -- Building Categories -- Universal Constructions -- Functors...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
11
جدول المحتويات:
“...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2008
جدول المحتويات:
“... -- Modular Reasoning in Object-Oriented Programming -- Scalable Specification and Reasoning: Challenges...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2007
جدول المحتويات:
“... and Reason About Context -- Situation Specification and Realization in Rule-Based Context-Aware Applications...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2005
جدول المحتويات:
“...Socio-Technical Interaction Networks in Free/Open Source Software Development Processes -- Open...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2006
جدول المحتويات:
“...Invited Talks -- Incremental Software Construction with Refinement Diagrams -- Recursive Program...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2008
جدول المحتويات:
“... -- Distributed AI: Autonomous Agents, Multi-Agent Systems and Game Theory -- Enhancing the Interaction between...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
منشور في 2010
جدول المحتويات:
“... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2007
جدول المحتويات:
“... in HALO -- Runtime Verification of Interactions: From MSCs to Aspects -- Towards a Tool for Generating...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2008
جدول المحتويات:
“... Sacrificing Productivity -- The High Road to Formal Validation: -- Modeling Workflows, Interaction Patterns...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2008
جدول المحتويات:
“... -- Everything Is PSPACE-Complete in Interaction Systems -- A New Approach for the Construction of Multiway...”احصل على النص الكامل
الكتروني
كتاب الكتروني