Suchergebnisse - David Streader

1

Refinement for Probabilistic Systems with Nondeterminism von Reeves, Steve, Streader, David

Veröffentlicht in Electronic proceedings in theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

EvolvingWeb-Based Test Automation into Agile Business Specifications von David Streader, Mark Utting, Rick Mugridge

Veröffentlicht in Future internet

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Contexts, refinement and determinism von Reeves, Steve, Streader, David

Veröffentlicht in Science of computer programming

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme von Noble, James, Streader, David, Gariano, Isaac Oscar, Samarakoon, Miniruwani

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Data refinement and singleton failures refinement are not equivalent von Reeves, Steve, Streader, David

Veröffentlicht in Formal aspects of computing

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

A Robust Semantics Hides Fewer Errors von Reeves, Steve, Streader, David

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Anonymous Mobile Service Collaboration: Quality of Service von Hinze, Annika, Rinck, Michael, Streader, David

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Atomic Components von Reeves, Steve, Streader, David

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Evolving Web-Based Test Automation into Agile Business Specifications von Mugridge, Rick, Utting, Mark, Streader, David

Veröffentlicht in Future internet

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme von Noble, James, Streader, David, Gariano, Isaac Oscar, Samarakoon, Miniruwani

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Comparison of Data and Process Refinement von Reeves, Steve, Streader, David

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts von Malik, Robi, Streader, David, Reeves, Steve

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Guarded Operations, Refinement and Simulation von Reeves, Steve, Streader, David

Veröffentlicht in Electronic notes in theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

General Refinement, Part One: Interfaces, Determinism and Special Refinement von Reeves, Steve, Streader, David

Veröffentlicht in Electronic notes in theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme von Noble, James, Streader, David, Gariano, Isaac Oscar, Samarakoon, Miniruwani

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

General Refinement, Part Two: Flexible Refinement von Reeves, Steve, Streader, David

Veröffentlicht in Electronic notes in theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

Refinement for Probabilistic Systems with Nondeterminism von Reeves, Steve, Streader, David

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Generic Tools via General Refinement von Reeves, Steve, Streader, David

Veröffentlicht in Electronic notes in theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

Stepwise Refinement of Processes von Reeves, Steve, Streader, David

Veröffentlicht in Electronic notes in theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

Feature Refinement von Reeves, S., Streader, D.

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

Refinement for Probabilistic Systems with Nondeterminism von Reeves, Steve, Streader, David

EvolvingWeb-Based Test Automation into Agile Business Specifications von David Streader, Mark Utting, Rick Mugridge

Contexts, refinement and determinism von Reeves, Steve, Streader, David

More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme von Noble, James, Streader, David, Gariano, Isaac Oscar, Samarakoon, Miniruwani

Data refinement and singleton failures refinement are not equivalent von Reeves, Steve, Streader, David

A Robust Semantics Hides Fewer Errors von Reeves, Steve, Streader, David

Anonymous Mobile Service Collaboration: Quality of Service von Hinze, Annika, Rinck, Michael, Streader, David

Atomic Components von Reeves, Steve, Streader, David

Evolving Web-Based Test Automation into Agile Business Specifications von Mugridge, Rick, Utting, Mark, Streader, David

More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme von Noble, James, Streader, David, Gariano, Isaac Oscar, Samarakoon, Miniruwani

Comparison of Data and Process Refinement von Reeves, Steve, Streader, David

Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts von Malik, Robi, Streader, David, Reeves, Steve

Guarded Operations, Refinement and Simulation von Reeves, Steve, Streader, David

General Refinement, Part One: Interfaces, Determinism and Special Refinement von Reeves, Steve, Streader, David

More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme von Noble, James, Streader, David, Gariano, Isaac Oscar, Samarakoon, Miniruwani

General Refinement, Part Two: Flexible Refinement von Reeves, Steve, Streader, David

Refinement for Probabilistic Systems with Nondeterminism von Reeves, Steve, Streader, David

Generic Tools via General Refinement von Reeves, Steve, Streader, David

Stepwise Refinement of Processes von Reeves, Steve, Streader, David

Feature Refinement von Reeves, S., Streader, D.

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle