Sökresultat - interfaces computer programs program contract https

1

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

Publicerad 2005

Innehållsförteckning: “... of the Equator: An eXPerience Implementing XP in Brazil -- Introducing Extreme Programming into a Software...”
Hämta fulltext

Elektronisk E-bok

2

Rigorous Software Development An Introduction to Program Verification /

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

Innehållsförteckning: “.... Safety Properties -- 8. Procedures and Contracts -- 9. Specifying C Programs -- 10. Verifying C Programs...”
Hämta fulltext

Elektronisk E-bok

3

Computers and Education: Towards Educational Change and Innovation

Publicerad 2008

Innehållsförteckning: “... Impaired PSENs through a Computer Mediated Distance Learning Program....”
Hämta fulltext

Elektronisk E-bok

4

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

Publicerad 2007

Innehållsförteckning: “... of Component-Based Systems -- Performance-Driven Interface Contract Enforcement for Scientific Components...”
Hämta fulltext

Elektronisk E-bok

5

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

Publicerad 2007

Innehållsförteckning: “...Invited Talk -- Composition by Anonymous Third Parties -- Session: Composition Contracts...”
Hämta fulltext

Elektronisk E-bok

6

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

Publicerad 2010

Innehållsförteckning: “... Interfaces, Contracts and Adapters of Component-Based Systems -- Component Contracts in Eclipse - A Case...”
Hämta fulltext

Elektronisk E-bok

7

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

Publicerad 2006

Innehållsförteckning: “... Different Contracts in Hierarchical Component-Based Systems -- Automated Pattern-Based Pointcut Generation...”
Hämta fulltext

Elektronisk E-bok

8

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

Publicerad 2006

Innehållsförteckning: “...Full Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A...”
Hämta fulltext

Elektronisk E-bok

9

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

Publicerad 2008

Innehållsförteckning: “... -- Simulation, Orchestration and Logical Clocks -- Session 2. Programming Language Analysis -- CoVaC: Compiler...”
Hämta fulltext

Elektronisk E-bok

10

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

Publicerad 2005

Innehållsförteckning: “... Pseudometric for Metric Labelled Transition Systems -- On Probabilistic Program Equivalence and Refinement...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2007

Innehållsförteckning: “...Invited Contributions -- Software Product Families: Towards Compositionality -- Contract-Driven...”
Hämta fulltext

Elektronisk E-bok

12

Pro PHP Patterns, Frameworks, Testing and More /

av McArthur, Kevin., McArthur, Kevin.
Publicerad 2008

Innehållsförteckning: “...OOP and Patterns -- Abstract Classes, Interfaces, and Programming by Contract -- Static Variables...”
Hämta fulltext

Elektronisk E-bok

13

Component-Based Software Testing with UML

av Gross, Hans-Gerhard., Gross, Hans-Gerhard.
Publicerad 2005

Innehållsförteckning: “...-in Contract Testing -- Built-in Contract Testing and Implementation Technologies -- Reuse and Related...”
Hämta fulltext

Elektronisk E-bok

14

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

Publicerad 2005

Innehållsförteckning: “... of Visual Search Interfaces for the Web – Design and Empirical Evaluation of a Book Search Interface...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2010

Innehållsförteckning: “... Organisation Programming Language for Organisation Management Infrastructures -- Social Norms and Semantics...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2014

Innehållsförteckning: “... by Fixing Contracts -- Dynamic Package Interfaces -- SMT-Based Checking of SOLOIST over Sparse Traces...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2005

Innehållsförteckning: “... Asynchronous Approximate Dynamic Programming -- Do Agents Make Model Checking Explode (Computationally...”
Hämta fulltext

Elektronisk E-bok

18

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

Publicerad 2008

Innehållsförteckning: “... and Assessment Tool for IT Governance Decision Support -- Ensuring Transactional Reliability by E-Contracting...”
Hämta fulltext

Elektronisk E-bok

19

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

Publicerad 2005

Innehållsförteckning: “... Process Using UML -- SoftContract: Model-Based Design of Error-Checking Code and Property Monitors...”
Hämta fulltext

Elektronisk E-bok

20

Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers /

Publicerad 2007

Innehållsförteckning: “... Design Tool for Informal User Interface Rapid Prototyping....”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen