1
Publié 2005
Table des matières: ... of the Equator: An eXPerience Implementing XP in Brazil -- Introducing Extreme Programming into a Software...
Accéder au texte intégral
Électronique eBook
2
Publié 2008
Table des matières: ... Evaluation -- Secret Ninja Formal Methods -- Specification and Checking of Software Contracts for Conditional...
Accéder au texte intégral
Électronique eBook
3
Publié 2005
Table des matières: ... Pseudometric for Metric Labelled Transition Systems -- On Probabilistic Program Equivalence and Refinement...
Accéder au texte intégral
Électronique eBook
4
Publié 2008
Table des matières: ... -- An Experiment in Collaborative Writing -- The ‘Contract’ as a Pedagogical Tool in e-Learning -- Development of a...
Accéder au texte intégral
Électronique eBook
5
Publié 2007
Table des matières: ... -- Improving Inconsistency Resolution with Side-Effect Evaluation and Costs -- Model Composition in Product...
Accéder au texte intégral
Électronique eBook
6
Publié 2010
Table des matières: ... Interface for Semantic MediaWiki -- A Controlled Language for the Specification of Contracts -- Rabbit...
Accéder au texte intégral
Électronique eBook
7
Publié 2011
Table des matières: ...-effective Evaluation Approach for Web Portal Interfaces -- IT Knowledge Requirements Identification...
Accéder au texte intégral
Électronique eBook
8
Publié 2005
Table des matières: ...-agent System Based on Policies and Contracts -- Case-Based Student Modeling in Multi-agent Learning...
Accéder au texte intégral
Électronique eBook
9
Publié 2008
Table des matières: ... Abstract Graph Views as Module Interfaces -- Programmed Graph Rewriting with DEVS -- Relational Growth...
Accéder au texte intégral
Électronique eBook
10
Publié 2006
Table des matières: ... File Transfer During Deployment, Execution, and Retrieval -- A Parallel Data Storage Interface...
Accéder au texte intégral
Électronique eBook
11
Publié 2008
Table des matières: ... Answering on OWL Ontologies -- Optimization and Evaluation of Reasoning in Probabilistic Description Logic...
Accéder au texte intégral
Électronique eBook
12
Publié 2008
Table des matières: ...Invited Papers -- Programming Support and Governance for Process-Oriented Software Autonomy...
Accéder au texte intégral
Électronique eBook
13
Publié 2007
Table des matières: ... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...
Accéder au texte intégral
Électronique eBook
14
Publié 2013
Table des matières: ... On Automated Rout Card Scheme -- On Using a Semiotic Quality Framework to Evaluate the Quality of Conceptual...
Accéder au texte intégral
Électronique eBook
15
Publié 2005
Table des matières: ... of Visual Search Interfaces for the Web – Design and Empirical Evaluation of a Book Search Interface...
Accéder au texte intégral
Électronique eBook
16
Publié 2007
Table des matières: ... And Component Clusters -- Constraint Programming Approach To Designing Conflict-Free Schedules For Repetitive...
Accéder au texte intégral
Électronique eBook