檢索結果 - interfaces evaluating programming programming contracts https

搜索替代詞:
programming programming » programming programmed , programming program
evaluating programming » computing programming , exploring programming
interfaces evaluating » interfaces evaluation , interface evaluation , internet evaluating
programming contracts » programming contract , programming constructs , programming constraints
https » http

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

出版 2005

書本目錄: “... of the Equator: An eXPerience Implementing XP in Brazil -- Introducing Extreme Programming into a Software...”
獲取全文

電子電子書

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

出版 2008

書本目錄: “... Evaluation -- Secret Ninja Formal Methods -- Specification and Checking of Software Contracts for Conditional...”
獲取全文

電子電子書

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

出版 2005

書本目錄: “... Pseudometric for Metric Labelled Transition Systems -- On Probabilistic Program Equivalence and Refinement...”
獲取全文

電子電子書

Computers and Education: Towards Educational Change and Innovation

出版 2008

書本目錄: “... -- An Experiment in Collaborative Writing -- The ‘Contract’ as a Pedagogical Tool in e-Learning -- Development of a...”
獲取全文

電子電子書

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

出版 2007

書本目錄: “... -- Improving Inconsistency Resolution with Side-Effect Evaluation and Costs -- Model Composition in Product...”
獲取全文

電子電子書

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

出版 2010

書本目錄: “... Interface for Semantic MediaWiki -- A Controlled Language for the Specification of Contracts -- Rabbit...”
獲取全文

電子電子書

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

出版 2005

書本目錄: “...-agent System Based on Policies and Contracts -- Case-Based Student Modeling in Multi-agent Learning...”
獲取全文

電子電子書

Information Systems Development Asian Experiences /

出版 2011

書本目錄: “...-effective Evaluation Approach for Web Portal Interfaces -- IT Knowledge Requirements Identification...”
獲取全文

電子電子書

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

出版 2008

書本目錄: “... Abstract Graph Views as Module Interfaces -- Programmed Graph Rewriting with DEVS -- Relational Growth...”
獲取全文

電子電子書

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

出版 2006

書本目錄: “... File Transfer During Deployment, Execution, and Retrieval -- A Parallel Data Storage Interface...”
獲取全文

電子電子書

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

出版 2008

書本目錄: “... Answering on OWL Ontologies -- Optimization and Evaluation of Reasoning in Probabilistic Description Logic...”
獲取全文

電子電子書

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

出版 2008

書本目錄: “...Invited Papers -- Programming Support and Governance for Process-Oriented Software Autonomy...”
獲取全文

電子電子書

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

出版 2007

書本目錄: “... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...”
獲取全文

電子電子書

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

出版 2013

書本目錄: “... On Automated Rout Card Scheme -- On Using a Semiotic Quality Framework to Evaluate the Quality of Conceptual...”
獲取全文

電子電子書

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

出版 2005

書本目錄: “... of Visual Search Interfaces for the Web – Design and Empirical Evaluation of a Book Search Interface...”
獲取全文

電子電子書

Digital Enterprise Technology Perspectives and Future Challenges /

出版 2007

書本目錄: “... And Component Clusters -- Constraint Programming Approach To Designing Conflict-Free Schedules For Repetitive...”
獲取全文

電子電子書

縮小搜索