Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
computation programming » communication programming, computation programmatic, computing programming
functions computation » function computation, functions composition, function composition
programming designing » programming design, programming learning, programming building
designing testing » design testing, designing trading, designing healing
testing tools » teaching tools, cutting tools, using tools
computation programming » communication programming, computation programmatic, computing programming
functions computation » function computation, functions composition, function composition
programming designing » programming design, programming learning, programming building
designing testing » design testing, designing trading, designing healing
testing tools » teaching tools, cutting tools, using tools
1
Publicado em 2015
Sumário:
“... -- Testing Functional Requirements in UML Activity Diagrams -- Coverage of OCL Operation Specifications...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2012
Sumário:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2014
Sumário:
“... Environment -- Testing Robotized Paint System Using Constraint Programming: An Industrial Case Study -- What...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2007
Sumário:
“... Techniques for Scheduling-Based Random Test-Case Generation -- Extracting a Simplified View of Design...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2008
Sumário:
“... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2005
Sumário:
“... Approach -- Test Generation: A Hierarchical Approach -- Test Program Generation from High-level...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Sumário:
“... -- Implications for Software Testing -- Unit vs. System Testing -- Functional vs. Non-functional Properties...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2015
Sumário:
“... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2007
Sumário:
“... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Publicado em 2006
Sumário:
“... -- Dependable Computing -- Advances in the Design and Implementation of Group Communication Middleware -- Fault...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2008
Sumário:
“... -- Functional Verification of Power Gated Designs by Compositional Reasoning -- A Practical Approach to Word...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2006
Sumário:
“...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Sumário:
“...-Based Tools -- Logic Data Modeling Tools -- Web User Interface Tools -- XML in Analysis and Design...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2013
Sumário:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Publicado em 2010
Sumário:
“... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Sumário:
“...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2007
Sumário:
“... Environments -- Application of the XTT Rule-Based Model for Formal Design and Verification of Internet Security...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Publicado em 2006
Sumário:
“... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2014
Sumário:
“... -- To Study the Architectural Designs of a Proposed Comprehensive Software Extractor for Re-Engineering Tool...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Publicado em 2013
Sumário:
“...-Physical Systems -- Embedding Functions into Disjunctive Logic Programs -- Reactive Designs of Interrupts...”Obter o texto integral
Recurso Electrónico
livro electrónico
- 1
- 2
- 3
- 4
- Seguinte »
- [4]