Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
programmed contract » programme contract, programming contract, programming contracts
interface computer » interfaces computer, interactive computer, internet computer
program programmed » program program, programming programmed, programmes programme
contract https » control https, conflict https, contract nets
1
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... of the Equator: An eXPerience Implementing XP in Brazil -- Introducing Extreme Programming into a Software...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
2
Buchumschlag
Inhaltsangabe: “.... Safety Properties -- 8. Procedures and Contracts -- 9. Specifying C Programs -- 10. Verifying C Programs...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
3
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... Impaired PSENs through a Computer Mediated Distance Learning Program....”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
4
Buchumschlag
Veröffentlicht 2007
Inhaltsangabe: “... of Component-Based Systems -- Performance-Driven Interface Contract Enforcement for Scientific Components...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
5
Buchumschlag
Veröffentlicht 2007
Inhaltsangabe: “...Invited Talk -- Composition by Anonymous Third Parties -- Session: Composition Contracts...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
6
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... Interfaces, Contracts and Adapters of Component-Based Systems -- Component Contracts in Eclipse - A Case...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
7
Buchumschlag
Veröffentlicht 2006
Inhaltsangabe: “... Different Contracts in Hierarchical Component-Based Systems -- Automated Pattern-Based Pointcut Generation...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
8
Buchumschlag
Veröffentlicht 2006
Inhaltsangabe: “...Full Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
9
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... -- Simulation, Orchestration and Logical Clocks -- Session 2. Programming Language Analysis -- CoVaC: Compiler...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
10
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... Pseudometric for Metric Labelled Transition Systems -- On Probabilistic Program Equivalence and Refinement...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
11
Buchumschlag
Veröffentlicht 2007
Inhaltsangabe: “...Invited Contributions -- Software Product Families: Towards Compositionality -- Contract-Driven...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
12
Buchumschlag
von McArthur, Kevin., McArthur, Kevin.
Veröffentlicht 2008
Inhaltsangabe: “...OOP and Patterns -- Abstract Classes, Interfaces, and Programming by Contract -- Static Variables...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
13
Buchumschlag
von Gross, Hans-Gerhard., Gross, Hans-Gerhard.
Veröffentlicht 2005
Inhaltsangabe: “...-in Contract Testing -- Built-in Contract Testing and Implementation Technologies -- Reuse and Related...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
14
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... of Visual Search Interfaces for the Web – Design and Empirical Evaluation of a Book Search Interface...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
15
Buchumschlag
Veröffentlicht 2014
Inhaltsangabe: “... by Fixing Contracts -- Dynamic Package Interfaces -- SMT-Based Checking of SOLOIST over Sparse Traces...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
16
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... Organisation Programming Language for Organisation Management Infrastructures -- Social Norms and Semantics...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
17
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... Process Using UML -- SoftContract: Model-Based Design of Error-Checking Code and Property Monitors...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
18
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... Asynchronous Approximate Dynamic Programming -- Do Agents Make Model Checking Explode (Computationally...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
19
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... and Assessment Tool for IT Governance Decision Support -- Ensuring Transactional Reliability by E-Contracting...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
20
Buchumschlag
Veröffentlicht 2006
Inhaltsangabe: “... and Polymorphic Meta-Programming -- Context-Aware Service Composition in Pervasive Computing Environments -- Can...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren — Diese Suche als E-Mail versenden — Suche speichern