Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
programmed contracts » programme contract, programming contracts, programme abstracts
interface computer » interfaces computer, interactive computer, internet computer
program programmed » program program, programming programmed, programmes programme
https » http
programmed contracts » programme contract, programming contracts, programme abstracts
interface computer » interfaces computer, interactive computer, internet computer
program programmed » program program, programming programmed, programmes programme
https » http
1
Publicado em 2005
Sumário:
“... of the Equator: An eXPerience Implementing XP in Brazil -- Introducing Extreme Programming into a Software...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Por Almeida, José Bacelar., Almeida, José Bacelar., Frade, Maria João., Pinto, Jorge Sousa., Melo de Sousa, Simão.
Publicado em 2011
Sumário:
“.... Safety Properties -- 8. Procedures and Contracts -- 9. Specifying C Programs -- 10. Verifying C Programs...”Publicado em 2011
Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2008
Sumário:
“... Impaired PSENs through a Computer Mediated Distance Learning Program....”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2007
Sumário:
“...Invited Talk -- Composition by Anonymous Third Parties -- Session: Composition Contracts...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2006
Sumário:
“... Different Contracts in Hierarchical Component-Based Systems -- Automated Pattern-Based Pointcut Generation...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2007
Sumário:
“... of Component-Based Systems -- Performance-Driven Interface Contract Enforcement for Scientific Components...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2010
Sumário:
“... Interfaces, Contracts and Adapters of Component-Based Systems -- Component Contracts in Eclipse - A Case...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2006
Sumário:
“...Full Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2008
Sumário:
“... -- Simulation, Orchestration and Logical Clocks -- Session 2. Programming Language Analysis -- CoVaC: Compiler...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Publicado em 2005
Sumário:
“... Pseudometric for Metric Labelled Transition Systems -- On Probabilistic Program Equivalence and Refinement...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2007
Sumário:
“...Invited Contributions -- Software Product Families: Towards Compositionality -- Contract-Driven...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Sumário:
“...OOP and Patterns -- Abstract Classes, Interfaces, and Programming by Contract -- Static Variables...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
13
Sumário:
“...-in Contract Testing -- Built-in Contract Testing and Implementation Technologies -- Reuse and Related...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2005
Sumário:
“... of Visual Search Interfaces for the Web – Design and Empirical Evaluation of a Book Search Interface...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Publicado em 2014
Sumário:
“... by Fixing Contracts -- Dynamic Package Interfaces -- SMT-Based Checking of SOLOIST over Sparse Traces...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Publicado em 2010
Sumário:
“... Organisation Programming Language for Organisation Management Infrastructures -- Social Norms and Semantics...”Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2005
Sumário:
“... Process Using UML -- SoftContract: Model-Based Design of Error-Checking Code and Property Monitors...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Publicado em 2005
Sumário:
“... Asynchronous Approximate Dynamic Programming -- Do Agents Make Model Checking Explode (Computationally...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2008
Sumário:
“... and Assessment Tool for IT Governance Decision Support -- Ensuring Transactional Reliability by E-Contracting...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Publicado em 2006
Sumário:
“... and Polymorphic Meta-Programming -- Context-Aware Service Composition in Pervasive Computing Environments -- Can...”Obter o texto integral
Recurso Electrónico
livro electrónico
- 1
- 2
- 3
- Seguinte »
- [3]