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