Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
interaction specifications » instruction specifications, operation specifications, insulation 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
interaction specifications » instruction specifications, operation specifications, insulation 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
1
Argitaratua 2005
Aurkibidea:
“... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2005
Aurkibidea:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2008
Aurkibidea:
“... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...”Testu osoa
Baliabide elektronikoa
eBook
4
Aurkibidea:
“...Preliminaries -- The Technical Background -- On Programming -- Fundamentals -- Algorithm Extraction...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2006
Aurkibidea:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2012
Aurkibidea:
“..., the Reals, and the Real Algebraic Numbers -- Construction of Real Algebraic Numbers in Coq -- A Refinement...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2005
Aurkibidea:
“... Usability Testing in a Component-Based Environment: Improving Test Efficiency with Component-Specific...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2015
Aurkibidea:
“... in Construction: Sludge and Recycling -- Recycling of waste plastics -- Recent resource and environmental issues...”Testu osoa
Baliabide elektronikoa
eBook
9
Gaiak:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
10
Aurkibidea:
“...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
11
Aurkibidea:
“...Basics -- Introducing Categories -- Building Categories -- Universal Constructions -- Functors...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2007
Aurkibidea:
“... and Reason About Context -- Situation Specification and Realization in Rule-Based Context-Aware Applications...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2008
Aurkibidea:
“... -- Modular Reasoning in Object-Oriented Programming -- Scalable Specification and Reasoning: Challenges...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2005
Aurkibidea:
“...Socio-Technical Interaction Networks in Free/Open Source Software Development Processes -- Open...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2006
Aurkibidea:
“...Invited Talks -- Incremental Software Construction with Refinement Diagrams -- Recursive Program...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2008
Aurkibidea:
“... -- Distributed AI: Autonomous Agents, Multi-Agent Systems and Game Theory -- Enhancing the Interaction between...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2010
Aurkibidea:
“... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2007
Aurkibidea:
“... in HALO -- Runtime Verification of Interactions: From MSCs to Aspects -- Towards a Tool for Generating...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2008
Aurkibidea:
“... Sacrificing Productivity -- The High Road to Formal Validation: -- Modeling Workflows, Interaction Patterns...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2008
Aurkibidea:
“... -- Everything Is PSPACE-Complete in Interaction Systems -- A New Approach for the Construction of Multiway...”Testu osoa
Baliabide elektronikoa
eBook