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