Zoekresultaten - interfaces computer program programmed contracts https

1

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

Gepubliceerd in 2005

Inhoudsopgave: “... of the Equator: An eXPerience Implementing XP in Brazil -- Introducing Extreme Programming into a Software...”
Volledige tekst

Elektronisch E-boek

2

Rigorous Software Development An Introduction to Program Verification /

door Almeida, José Bacelar., Almeida, José Bacelar., Frade, Maria João., Pinto, Jorge Sousa., Melo de Sousa, Simão.
Gepubliceerd in 2011

Inhoudsopgave: “.... Safety Properties -- 8. Procedures and Contracts -- 9. Specifying C Programs -- 10. Verifying C Programs...”
Volledige tekst

Elektronisch E-boek

3

Computers and Education: Towards Educational Change and Innovation

Gepubliceerd in 2008

Inhoudsopgave: “... Impaired PSENs through a Computer Mediated Distance Learning Program....”
Volledige tekst

Elektronisch E-boek

4

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

Gepubliceerd in 2007

Inhoudsopgave: “...Invited Talk -- Composition by Anonymous Third Parties -- Session: Composition Contracts...”
Volledige tekst

Elektronisch E-boek

5

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

Gepubliceerd in 2006

Inhoudsopgave: “... Different Contracts in Hierarchical Component-Based Systems -- Automated Pattern-Based Pointcut Generation...”
Volledige tekst

Elektronisch E-boek

6

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

Gepubliceerd in 2007

Inhoudsopgave: “... of Component-Based Systems -- Performance-Driven Interface Contract Enforcement for Scientific Components...”
Volledige tekst

Elektronisch E-boek

7

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

Gepubliceerd in 2010

Inhoudsopgave: “... Interfaces, Contracts and Adapters of Component-Based Systems -- Component Contracts in Eclipse - A Case...”
Volledige tekst

Elektronisch E-boek

8

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

Gepubliceerd in 2006

Inhoudsopgave: “...Full Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A...”
Volledige tekst

Elektronisch E-boek

9

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

Gepubliceerd in 2008

Inhoudsopgave: “... -- Simulation, Orchestration and Logical Clocks -- Session 2. Programming Language Analysis -- CoVaC: Compiler...”
Volledige tekst

Elektronisch E-boek

10

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

Gepubliceerd in 2005

Inhoudsopgave: “... Pseudometric for Metric Labelled Transition Systems -- On Probabilistic Program Equivalence and Refinement...”
Volledige tekst

Elektronisch E-boek

11

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

Gepubliceerd in 2007

Inhoudsopgave: “...Invited Contributions -- Software Product Families: Towards Compositionality -- Contract-Driven...”
Volledige tekst

Elektronisch E-boek

12

Pro PHP Patterns, Frameworks, Testing and More /

door McArthur, Kevin., McArthur, Kevin.
Gepubliceerd in 2008

Inhoudsopgave: “...OOP and Patterns -- Abstract Classes, Interfaces, and Programming by Contract -- Static Variables...”
Volledige tekst

Elektronisch E-boek

13

Component-Based Software Testing with UML

door Gross, Hans-Gerhard., Gross, Hans-Gerhard.
Gepubliceerd in 2005

Inhoudsopgave: “...-in Contract Testing -- Built-in Contract Testing and Implementation Technologies -- Reuse and Related...”
Volledige tekst

Elektronisch E-boek

14

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

Gepubliceerd in 2005

Inhoudsopgave: “... of Visual Search Interfaces for the Web – Design and Empirical Evaluation of a Book Search Interface...”
Volledige tekst

Elektronisch E-boek

15

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

Gepubliceerd in 2010

Inhoudsopgave: “... Organisation Programming Language for Organisation Management Infrastructures -- Social Norms and Semantics...”
Volledige tekst

Elektronisch E-boek

16

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

Gepubliceerd in 2014

Inhoudsopgave: “... by Fixing Contracts -- Dynamic Package Interfaces -- SMT-Based Checking of SOLOIST over Sparse Traces...”
Volledige tekst

Elektronisch E-boek

17

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

Gepubliceerd in 2005

Inhoudsopgave: “... Asynchronous Approximate Dynamic Programming -- Do Agents Make Model Checking Explode (Computationally...”
Volledige tekst

Elektronisch E-boek

18

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

Gepubliceerd in 2008

Inhoudsopgave: “... and Assessment Tool for IT Governance Decision Support -- Ensuring Transactional Reliability by E-Contracting...”
Volledige tekst

Elektronisch E-boek

19

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

Gepubliceerd in 2005

Inhoudsopgave: “... Process Using UML -- SoftContract: Model-Based Design of Error-Checking Code and Property Monitors...”
Volledige tekst

Elektronisch E-boek

20

Rapid Integration of Software Engineering Techniques Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers /

Gepubliceerd in 2006

Inhoudsopgave: “... and Polymorphic Meta-Programming -- Context-Aware Service Composition in Pervasive Computing Environments -- Can...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken