Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
programming programmed » processing programmed
computer programming » computer program, computer programs
programmed contract » programme contract, programming contract, programming contracts
contract https » control https, conflict https, contract nets
interfaces » interface
programming programmed » processing programmed
computer programming » computer program, computer programs
programmed contract » programme contract, programming contract, programming contracts
contract https » control https, conflict https, contract nets
interfaces » interface
1
Publicat 2005
Taula de continguts:
“... of the Equator: An eXPerience Implementing XP in Brazil -- Introducing Extreme Programming into a Software...”Obtenir text complet
Electrònic
eBook
2
per Almeida, José Bacelar., Almeida, José Bacelar., Frade, Maria João., Pinto, Jorge Sousa., Melo de Sousa, Simão.
Publicat 2011
Taula de continguts:
“.... Safety Properties -- 8. Procedures and Contracts -- 9. Specifying C Programs -- 10. Verifying C Programs...”Publicat 2011
Obtenir text complet
Electrònic
eBook
3
Publicat 2008
Taula de continguts:
“... Impaired PSENs through a Computer Mediated Distance Learning Program....”Obtenir text complet
Electrònic
eBook
4
Publicat 2007
Taula de continguts:
“... of Component-Based Systems -- Performance-Driven Interface Contract Enforcement for Scientific Components...”Obtenir text complet
Electrònic
eBook
5
Publicat 2007
Taula de continguts:
“...Invited Talk -- Composition by Anonymous Third Parties -- Session: Composition Contracts...”Obtenir text complet
Electrònic
eBook
6
Publicat 2010
Taula de continguts:
“... Interfaces, Contracts and Adapters of Component-Based Systems -- Component Contracts in Eclipse - A Case...”Obtenir text complet
Electrònic
eBook
7
Publicat 2006
Taula de continguts:
“... Different Contracts in Hierarchical Component-Based Systems -- Automated Pattern-Based Pointcut Generation...”Obtenir text complet
Electrònic
eBook
8
Publicat 2006
Taula de continguts:
“...Full Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A...”Obtenir text complet
Electrònic
eBook
9
Publicat 2008
Taula de continguts:
“... -- Simulation, Orchestration and Logical Clocks -- Session 2. Programming Language Analysis -- CoVaC: Compiler...”Obtenir text complet
Electrònic
eBook
10
Publicat 2005
Taula de continguts:
“... Pseudometric for Metric Labelled Transition Systems -- On Probabilistic Program Equivalence and Refinement...”Obtenir text complet
Electrònic
eBook
11
Taula de continguts:
“...OOP and Patterns -- Abstract Classes, Interfaces, and Programming by Contract -- Static Variables...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
12
Taula de continguts:
“...-in Contract Testing -- Built-in Contract Testing and Implementation Technologies -- Reuse and Related...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
13
Publicat 2007
Taula de continguts:
“...Invited Contributions -- Software Product Families: Towards Compositionality -- Contract-Driven...”Obtenir text complet
Electrònic
eBook
14
Publicat 2005
Taula de continguts:
“... of Visual Search Interfaces for the Web – Design and Empirical Evaluation of a Book Search Interface...”Obtenir text complet
Electrònic
eBook
15
Publicat 2010
Taula de continguts:
“... Organisation Programming Language for Organisation Management Infrastructures -- Social Norms and Semantics...”Obtenir text complet
Electrònic
eBook
16
Publicat 2005
Taula de continguts:
“... Process Using UML -- SoftContract: Model-Based Design of Error-Checking Code and Property Monitors...”Obtenir text complet
Electrònic
eBook
17
Publicat 2014
Taula de continguts:
“... by Fixing Contracts -- Dynamic Package Interfaces -- SMT-Based Checking of SOLOIST over Sparse Traces...”Obtenir text complet
Electrònic
eBook
18
Publicat 2008
Taula de continguts:
“... and Assessment Tool for IT Governance Decision Support -- Ensuring Transactional Reliability by E-Contracting...”Obtenir text complet
Electrònic
eBook
19
Publicat 2005
Taula de continguts:
“... Asynchronous Approximate Dynamic Programming -- Do Agents Make Model Checking Explode (Computationally...”Obtenir text complet
Electrònic
eBook
20
Taula de continguts:
“... Principles -- Generating Objects -- Patterns for Flexible Object Programming -- Performing and Representing...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook