Søgeresultater - interfaces evaluation programming programming contract https

Søg alternativer:
programming programming » programming programmed , programming program
evaluation programming » evaluating programming , evolution programming , variation programming
interfaces evaluation » integrated evaluation , enterprises evaluation , services evaluation
programming contract » programming contracts , programming constructs , programming constraint
contract https » control https , conflict https , contract nets

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

Udgivet 2005

Indholdsfortegnelse: “... of the Equator: An eXPerience Implementing XP in Brazil -- Introducing Extreme Programming into a Software...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... Evaluation -- Secret Ninja Formal Methods -- Specification and Checking of Software Contracts for Conditional...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... Pseudometric for Metric Labelled Transition Systems -- On Probabilistic Program Equivalence and Refinement...”
Få fuldtekst

Electronisk eBog

Computers and Education: Towards Educational Change and Innovation

Udgivet 2008

Indholdsfortegnelse: “... -- An Experiment in Collaborative Writing -- The ‘Contract’ as a Pedagogical Tool in e-Learning -- Development of a...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2007

Indholdsfortegnelse: “... -- Improving Inconsistency Resolution with Side-Effect Evaluation and Costs -- Model Composition in Product...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... Interface for Semantic MediaWiki -- A Controlled Language for the Specification of Contracts -- Rabbit...”
Få fuldtekst

Electronisk eBog

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...

Udgivet 2005

Indholdsfortegnelse: “...-agent System Based on Policies and Contracts -- Case-Based Student Modeling in Multi-agent Learning...”
Få fuldtekst

Electronisk eBog

Information Systems Development Asian Experiences /

Udgivet 2011

Indholdsfortegnelse: “...-effective Evaluation Approach for Web Portal Interfaces -- IT Knowledge Requirements Identification...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... Abstract Graph Views as Module Interfaces -- Programmed Graph Rewriting with DEVS -- Relational Growth...”
Få fuldtekst

Electronisk eBog

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,...

Udgivet 2006

Indholdsfortegnelse: “... File Transfer During Deployment, Execution, and Retrieval -- A Parallel Data Storage Interface...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... Answering on OWL Ontologies -- Optimization and Evaluation of Reasoning in Probabilistic Description Logic...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “...Invited Papers -- Programming Support and Governance for Process-Oriented Software Autonomy...”
Få fuldtekst

Electronisk eBog

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...

Udgivet 2007

Indholdsfortegnelse: “... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2013

Indholdsfortegnelse: “... On Automated Rout Card Scheme -- On Using a Semiotic Quality Framework to Evaluate the Quality of Conceptual...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... of Visual Search Interfaces for the Web – Design and Empirical Evaluation of a Book Search Interface...”
Få fuldtekst

Electronisk eBog

Digital Enterprise Technology Perspectives and Future Challenges /

Udgivet 2007

Indholdsfortegnelse: “... And Component Clusters -- Constraint Programming Approach To Designing Conflict-Free Schedules For Repetitive...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning