Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
computing programming » computer programming, computers programming
programming contracts » programming contract, programming constructs, programming constraints
interfaces computing » interfaces comparing, interfaces computer, interface comparing
https » http
programming programming » programming programmed, programming program
computing programming » computer programming, computers programming
programming contracts » programming contract, programming constructs, programming constraints
interfaces computing » interfaces comparing, interfaces computer, interface comparing
https » http
1
Published 2005
Table of Contents:
“... of the Equator: An eXPerience Implementing XP in Brazil -- Introducing Extreme Programming into a Software...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Impaired PSENs through a Computer Mediated Distance Learning Program....”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“...Invited Talk -- Composition by Anonymous Third Parties -- Session: Composition Contracts...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... Different Contracts in Hierarchical Component-Based Systems -- Automated Pattern-Based Pointcut Generation...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“... of Component-Based Systems -- Performance-Driven Interface Contract Enforcement for Scientific Components...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Interfaces, Contracts and Adapters of Component-Based Systems -- Component Contracts in Eclipse - A Case...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“...Full Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A...”View full text
Electronic
eBook
8
by Almeida, José Bacelar., Almeida, José Bacelar., Frade, Maria João., Pinto, Jorge Sousa., Melo de Sousa, Simão.
Published 2011
Table of Contents:
“.... Safety Properties -- 8. Procedures and Contracts -- 9. Specifying C Programs -- 10. Verifying C Programs...”Published 2011
View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... -- Simulation, Orchestration and Logical Clocks -- Session 2. Programming Language Analysis -- CoVaC: Compiler...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... Pseudometric for Metric Labelled Transition Systems -- On Probabilistic Program Equivalence and Refinement...”View full text
Electronic
eBook
11
Table of Contents:
“...OOP and Patterns -- Abstract Classes, Interfaces, and Programming by Contract -- Static Variables...”
View full text
View full text
Electronic
eBook
12
Table of Contents:
“...-in Contract Testing -- Built-in Contract Testing and Implementation Technologies -- Reuse and Related...”
View full text
View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“...Invited Contributions -- Software Product Families: Towards Compositionality -- Contract-Driven...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... Process Using UML -- SoftContract: Model-Based Design of Error-Checking Code and Property Monitors...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... of Visual Search Interfaces for the Web – Design and Empirical Evaluation of a Book Search Interface...”View full text
Electronic
eBook
16
Table of Contents:
“... Principles -- Generating Objects -- Patterns for Flexible Object Programming -- Performing and Representing...”
View full text
View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Organisation Programming Language for Organisation Management Infrastructures -- Social Norms and Semantics...”View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“... by Fixing Contracts -- Dynamic Package Interfaces -- SMT-Based Checking of SOLOIST over Sparse Traces...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... Contracts from UML Class Diagrams -- Finding the Pattern You Need: The Design Pattern Intent Ontology...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... and Assessment Tool for IT Governance Decision Support -- Ensuring Transactional Reliability by E-Contracting...”View full text
Electronic
eBook