Sugestões de Tópicos dentro de sua busca.
Sugestões de Tópicos dentro de sua busca.
Buscas alternativas:
programming programming » programming programmed, programming program
integrated programming » integration programming, integrated programme, internet programming
integrated integrated » integrating integrated, integration integrated, integrated immigrated
programming contracts » programming contract, programming constructs, programming constraints
https » http
programming programming » programming programmed, programming program
integrated programming » integration programming, integrated programme, internet programming
integrated integrated » integrating integrated, integration integrated, integrated immigrated
programming contracts » programming contract, programming constructs, programming constraints
https » http
1
Sumário:
“...Contracts -- Intellectual Property Rights -- Consumer Protection -- Privacy -- Conclusions....”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico
2
Publicado em 2006
Sumário:
“... Aspects Implement Contracts? -- Aspects-Classes Integration Testing Strategy: An Incremental Approach...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
3
Publicado em 2007
Sumário:
“... Architecture -- Build, Configuration, Integration and Testing Tools for Large Software Projects: ETICS...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
4
Publicado em 2008
Sumário:
“...Concepts and Approaches of Integrated Water Management -- Filling the Information Gap between Water...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
5
Publicado em 2013
Sumário:
“... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
6
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Publicado em 2013
Sumário:
“... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
7
Publicado em 2005
Sumário:
“... Integration of Jester – The JUnit Test Tester -- Extreme Programming: The Genesys Experience -- Shared Code...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
8
Publicado em 2014
Sumário:
“... System Development -- Agile Software Development in Practice -- Part Agile Challenges and Contracting...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
9
Sumário:
“... Demand and Substitution -- Empirical Newsvendor Decisions under a Service Contract -- Conclusions....”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico
10
Sumário:
“...Introduction -- Contracts and Aspects -- Expressions -- Structure and Visibility -- Tasking...”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico
11
Sumário:
“...OOP and Patterns -- Abstract Classes, Interfaces, and Programming by Contract -- Static Variables...”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico
12
Publicado em 2007
Sumário:
“... for e-Government Services: An Experience Report -- An Approach for QoS Contract Negotiation...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
13
Publicado em 2006
Sumário:
“... Different Contracts in Hierarchical Component-Based Systems -- Automated Pattern-Based Pointcut Generation...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
14
Publicado em 2006
Sumário:
“...Full Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
15
Publicado em 2011
Sumário:
“... Calculi -- Static Analysis Techniques for Session-Oriented Calculi -- Call-by-Contract for Service...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
16
Sumário:
“...-in Contract Testing -- Built-in Contract Testing and Implementation Technologies -- Reuse and Related...”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico
17
Publicado em 2015
Sumário:
“...Towards Smart Systems of Systems -- Automated Integration of Service-oriented Software Systems...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
18
Publicado em 2007
Sumário:
“...Invited Contributions -- Software Product Families: Towards Compositionality -- Contract-Driven...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
19
Publicado em 2013
Sumário:
“... -- Using Contracts to Guide the Search-Based Verification of Concurrent Programs -- Planning Global...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
20
Publicado em 2010
Sumário:
“... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”Obter o texto integral
Recurso Eletrônico
livro eletrônico