Søgeresultater - interfaces computers programming programming contracts https

Søg alternativer:
programming programming » programming programmed , programming program
computers programming » computer programming , computer program , computer programs
programming contracts » programming contract , programming constructs , programming constraints
interfaces computers » interfaces computer , interface computer , intgerfaces computer
https » http

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

Computers and Education: Towards Educational Change and Innovation

Udgivet 2008

Indholdsfortegnelse: “... Impaired PSENs through a Computer Mediated Distance Learning Program....”
Få fuldtekst

Electronisk eBog

Software Composition 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers /

Udgivet 2007

Indholdsfortegnelse: “...Invited Talk -- Composition by Anonymous Third Parties -- Session: Composition Contracts...”
Få fuldtekst

Electronisk eBog

Software Composition 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers /

Udgivet 2006

Indholdsfortegnelse: “... Different Contracts in Hierarchical Component-Based Systems -- Automated Pattern-Based Pointcut Generation...”
Få fuldtekst

Electronisk eBog

Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... of Component-Based Systems -- Performance-Driven Interface Contract Enforcement for Scientific Components...”
Få fuldtekst

Electronisk eBog

Component-Based Software Engineering 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... Interfaces, Contracts and Adapters of Component-Based Systems -- Component Contracts in Eclipse - A Case...”
Få fuldtekst

Electronisk eBog

Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “...Full Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A...”
Få fuldtekst

Electronisk eBog

Rigorous Software Development An Introduction to Program Verification /

af Almeida, José Bacelar., Almeida, José Bacelar., Frade, Maria João., Pinto, Jorge Sousa., Melo de Sousa, Simão.
Udgivet 2011

Indholdsfortegnelse: “.... Safety Properties -- 8. Procedures and Contracts -- 9. Specifying C Programs -- 10. Verifying C Programs...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... -- Simulation, Orchestration and Logical Clocks -- Session 2. Programming Language Analysis -- CoVaC: Compiler...”
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

Pro PHP Patterns, Frameworks, Testing and More /

af McArthur, Kevin., McArthur, Kevin.
Udgivet 2008

Indholdsfortegnelse: “...OOP and Patterns -- Abstract Classes, Interfaces, and Programming by Contract -- Static Variables...”
Få fuldtekst

Electronisk eBog

Component-Based Software Testing with UML

af Gross, Hans-Gerhard., Gross, Hans-Gerhard.
Udgivet 2005

Indholdsfortegnelse: “...-in Contract Testing -- Built-in Contract Testing and Implementation Technologies -- Reuse and Related...”
Få fuldtekst

Electronisk eBog

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007...

Udgivet 2007

Indholdsfortegnelse: “...Invited Contributions -- Software Product Families: Towards Compositionality -- Contract-Driven...”
Få fuldtekst

Electronisk eBog

UML Modeling Languages and Applications <<UML>> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers /

Udgivet 2005

Indholdsfortegnelse: “... Process Using UML -- SoftContract: Model-Based Design of Error-Checking Code and Property Monitors...”
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

PHP Objects, Patterns, and Practice

af Zandstra, Matt., Zandstra, Matt.
Udgivet 2008

Indholdsfortegnelse: “... Principles -- Generating Objects -- Patterns for Flexible Object Programming -- Performing and Representing...”
Få fuldtekst

Electronisk eBog

Coordination, Organizations, Institutions, and Norms in Agent Systems V COIN 2009 International Workshops: COIN@AAMAS 2009 Budapest, Hungary, May 2009, COIN@IJCAI 2009, Pasadena, U...

Udgivet 2010

Indholdsfortegnelse: “... Organisation Programming Language for Organisation Management Infrastructures -- Social Norms and Semantics...”
Få fuldtekst

Electronisk eBog

Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Udgivet 2014

Indholdsfortegnelse: “... by Fixing Contracts -- Dynamic Package Interfaces -- SMT-Based Checking of SOLOIST over Sparse Traces...”
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: “... Contracts from UML Class Diagrams -- Finding the Pattern You Need: The Design Pattern Intent Ontology...”
Få fuldtekst

Electronisk eBog

Advanced Information Systems Engineering 20th International Conference, CAiSE 2008 Montpellier, France, June 18-20, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... and Assessment Tool for IT Governance Decision Support -- Ensuring Transactional Reliability by E-Contracting...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning