Search Results - interface evaluating programming programmed contracts https

Search alternatives:
programming programmed » processing programmed
evaluating programming » computing programming , exploring programming
interface evaluating » interface evaluation , interfaces evaluation , internet evaluating
programmed contracts » programme contract , programming contracts , programme abstracts
https » http

Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings /

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

FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings /

Published 2008

Table of Contents: “... Evaluation -- Secret Ninja Formal Methods -- Specification and Checking of Software Contracts for Conditional...”
View full text

Electronic eBook

CONCUR 2005 - Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings /

Published 2005

Table of Contents: “... Pseudometric for Metric Labelled Transition Systems -- On Probabilistic Program Equivalence and Refinement...”
View full text

Electronic eBook

Computers and Education: Towards Educational Change and Innovation

Published 2008

Table of Contents: “... -- An Experiment in Collaborative Writing -- The ‘Contract’ as a Pedagogical Tool in e-Learning -- Development of a...”
View full text

Electronic eBook

Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings /

Published 2007

Table of Contents: “... -- Improving Inconsistency Resolution with Side-Effect Evaluation and Costs -- Model Composition in Product...”
View full text

Electronic eBook

Controlled Natural Language Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009, Revised Papers /

Published 2010

Table of Contents: “... Interface for Semantic MediaWiki -- A Controlled Language for the Specification of Contracts -- Rabbit...”
View full text

Electronic eBook

Multi-Agent Systems and Applications IV 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Pro...

Published 2005

Table of Contents: “...-agent System Based on Policies and Contracts -- Case-Based Student Modeling in Multi-agent Learning...”
View full text

Electronic eBook

Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Paper...

Published 2008

Table of Contents: “... Abstract Graph Views as Module Interfaces -- Programmed Graph Rewriting with DEVS -- Relational Growth...”
View full text

Electronic eBook

Information Systems Development Asian Experiences /

Published 2011

Table of Contents: “...-effective Evaluation Approach for Web Portal Interfaces -- IT Knowledge Requirements Identification...”
View full text

Electronic eBook

On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France,...

Published 2006

Table of Contents: “... File Transfer During Deployment, Execution, and Retrieval -- A Parallel Data Storage Interface...”
View full text

Electronic eBook

The Semantic Web - ISWC 2008 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008, Proceedings /

Published 2008

Table of Contents: “... Answering on OWL Ontologies -- Optimization and Evaluation of Reasoning in Probabilistic Description Logic...”
View full text

Electronic eBook

Web Information Systems and Technologies Third International Conference, WEBIST 2007, Barcelona, Spain, March 3-6, 2007, Revised Selected Papers /

Published 2008

Table of Contents: “...Invited Papers -- Programming Support and Governance for Process-Oriented Software Autonomy...”
View full text

Electronic eBook

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, P...

Published 2007

Table of Contents: “... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...”
View full text

Electronic eBook

Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering

Published 2013

Table of Contents: “... On Automated Rout Card Scheme -- On Using a Semiotic Quality Framework to Evaluate the Quality of Conceptual...”
View full text

Electronic eBook

Advances in Visual Computing First International Symposium, ISVC 2005, Lake Tahoe, NV, USA, December 5-7, 2005, Proceedings /

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

Digital Enterprise Technology Perspectives and Future Challenges /

Published 2007

Table of Contents: “... And Component Clusters -- Constraint Programming Approach To Designing Conflict-Free Schedules For Repetitive...”
View full text

Electronic eBook

Narrow Search