Risultati della ricerca - interfaces computing programming programmed contracts https

1

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

Pubblicazione 2005

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

Elettronico eBook

2

Computers and Education: Towards Educational Change and Innovation

Pubblicazione 2008

Sommario: “... Impaired PSENs through a Computer Mediated Distance Learning Program....”
Testo

Elettronico eBook

3

Rigorous Software Development An Introduction to Program Verification /

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

Sommario: “.... Safety Properties -- 8. Procedures and Contracts -- 9. Specifying C Programs -- 10. Verifying C Programs...”
Testo

Elettronico eBook

4

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

Pubblicazione 2007

Sommario: “...Invited Talk -- Composition by Anonymous Third Parties -- Session: Composition Contracts...”
Testo

Elettronico eBook

5

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

Pubblicazione 2006

Sommario: “... Different Contracts in Hierarchical Component-Based Systems -- Automated Pattern-Based Pointcut Generation...”
Testo

Elettronico eBook

6

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

Pubblicazione 2007

Sommario: “... of Component-Based Systems -- Performance-Driven Interface Contract Enforcement for Scientific Components...”
Testo

Elettronico eBook

7

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

Pubblicazione 2010

Sommario: “... Interfaces, Contracts and Adapters of Component-Based Systems -- Component Contracts in Eclipse - A Case...”
Testo

Elettronico eBook

8

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

Pubblicazione 2006

Sommario: “...Full Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A...”
Testo

Elettronico eBook

9

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

Pubblicazione 2008

Sommario: “... -- Simulation, Orchestration and Logical Clocks -- Session 2. Programming Language Analysis -- CoVaC: Compiler...”
Testo

Elettronico eBook

10

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

Pubblicazione 2005

Sommario: “... Pseudometric for Metric Labelled Transition Systems -- On Probabilistic Program Equivalence and Refinement...”
Testo

Elettronico eBook

11

Pro PHP Patterns, Frameworks, Testing and More /

di McArthur, Kevin., McArthur, Kevin.
Pubblicazione 2008

Sommario: “...OOP and Patterns -- Abstract Classes, Interfaces, and Programming by Contract -- Static Variables...”
Testo

Elettronico eBook

12

Component-Based Software Testing with UML

di Gross, Hans-Gerhard., Gross, Hans-Gerhard.
Pubblicazione 2005

Sommario: “...-in Contract Testing -- Built-in Contract Testing and Implementation Technologies -- Reuse and Related...”
Testo

Elettronico eBook

13

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

Pubblicazione 2007

Sommario: “...Invited Contributions -- Software Product Families: Towards Compositionality -- Contract-Driven...”
Testo

Elettronico eBook

14

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

Pubblicazione 2005

Sommario: “... of Visual Search Interfaces for the Web – Design and Empirical Evaluation of a Book Search Interface...”
Testo

Elettronico eBook

15

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

Pubblicazione 2005

Sommario: “... Process Using UML -- SoftContract: Model-Based Design of Error-Checking Code and Property Monitors...”
Testo

Elettronico eBook

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

Pubblicazione 2014

Sommario: “... by Fixing Contracts -- Dynamic Package Interfaces -- SMT-Based Checking of SOLOIST over Sparse Traces...”
Testo

Elettronico eBook

17

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

Pubblicazione 2010

Sommario: “... Organisation Programming Language for Organisation Management Infrastructures -- Social Norms and Semantics...”
Testo

Elettronico eBook

18

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

Pubblicazione 2007

Sommario: “... Contracts from UML Class Diagrams -- Finding the Pattern You Need: The Design Pattern Intent Ontology...”
Testo

Elettronico eBook

19

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

Pubblicazione 2008

Sommario: “... and Assessment Tool for IT Governance Decision Support -- Ensuring Transactional Reliability by E-Contracting...”
Testo

Elettronico eBook

20

PHP Objects, Patterns, and Practice

di Zandstra, Matt., Zandstra, Matt.
Pubblicazione 2008

Sommario: “... Principles -- Generating Objects -- Patterns for Flexible Object Programming -- Performing and Representing...”
Testo

Elettronico eBook

Restringi la ricerca