Suchergebnisse - Zave,Pamela

1

FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings von Oliveira, José Nuno, Zave, Pamela

Volltext
Buch

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Four dark corners of requirements engineering von Zave, Pamela, Jackson, Michael

Veröffentlicht in ACM transactions on software engineering and methodology

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Reasoning About Identifier Spaces: How to Make Chord Correct von Zave, Pamela

Veröffentlicht in IEEE transactions on software engineering

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Distributed feature composition: a virtual architecture for telecommunications services von Jackson, M., Zave, P.

Veröffentlicht in IEEE transactions on software engineering

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Patterns and Interactions in Network Security von Zave, Pamela, Rexford, Jennifer

Veröffentlicht in ACM computing surveys

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Houdini, an Annotation Assistant for ESC/Java von Flanagan, Cormac, Leino, K. Rustan M.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Classification of research efforts in requirements engineering von Zave, Pamela

Veröffentlicht in ACM computing surveys

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Grammar Adaptation von Lämmel, Ralf

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Information Flow Control and Applications — Bridging a Gap von Mantel, Heiko

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

A Verified Session Protocol for Dynamic Service Chaining von Zave, Pamela, Carvalho, Fabricio B., Ferreira, Ronaldo A., Rexford, Jennifer, Morimoto, Masaharu, Zou, Xuan Kelvin

Veröffentlicht in IEEE/ACM transactions on networking

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Compositional Binding in Network Domains von Zave, Pamela

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

A Combined Testing and Verification Approach for Software Reliability von Sharygina, Natasha, Peled, Doron

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Model-Checking over Multi-valued Logics von Chechik, Marsha, Easterbrook, Steve, Petrovykh, Victor

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

Secrecy-Preserving Refinement von Jürjens, Jan

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Improvements in BDD-Based Reachability Analysis of Timed Automata von Beyer, Dirk

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

How to Make FDR Spin LTL Model Checking of CSP by Refinement von Leuschel, Michael, Currie, Andrew, Massart, Thierry

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

Modeling the internet von Zave, Pamela

Volltext

Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

View Updatability Based on the Models of a Formal Specification von Johnson, Michael, Rosebrugh, Robert

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

Using lightweight modeling to understand chord von Zave, Pamela

Veröffentlicht in Computer communication review

Volltext
Magazinearticle

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

Matching and Merging of Variant Feature Specifications von Nejati, S., Sabetzadeh, M., Chechik, M., Easterbrook, S., Zave, P.

Veröffentlicht in IEEE transactions on software engineering

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

1
2
3
4
5
6
7
8
9
10
11
Nächster
[12]

FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings von Oliveira, José Nuno, Zave, Pamela

Four dark corners of requirements engineering von Zave, Pamela, Jackson, Michael

Reasoning About Identifier Spaces: How to Make Chord Correct von Zave, Pamela

Distributed feature composition: a virtual architecture for telecommunications services von Jackson, M., Zave, P.

Patterns and Interactions in Network Security von Zave, Pamela, Rexford, Jennifer

Houdini, an Annotation Assistant for ESC/Java von Flanagan, Cormac, Leino, K. Rustan M.

Classification of research efforts in requirements engineering von Zave, Pamela

Grammar Adaptation von Lämmel, Ralf

Information Flow Control and Applications — Bridging a Gap von Mantel, Heiko

A Verified Session Protocol for Dynamic Service Chaining von Zave, Pamela, Carvalho, Fabricio B., Ferreira, Ronaldo A., Rexford, Jennifer, Morimoto, Masaharu, Zou, Xuan Kelvin

Compositional Binding in Network Domains von Zave, Pamela

A Combined Testing and Verification Approach for Software Reliability von Sharygina, Natasha, Peled, Doron

Model-Checking over Multi-valued Logics von Chechik, Marsha, Easterbrook, Steve, Petrovykh, Victor

Secrecy-Preserving Refinement von Jürjens, Jan

Improvements in BDD-Based Reachability Analysis of Timed Automata von Beyer, Dirk

How to Make FDR Spin LTL Model Checking of CSP by Refinement von Leuschel, Michael, Currie, Andrew, Massart, Thierry

Modeling the internet von Zave, Pamela

View Updatability Based on the Models of a Formal Specification von Johnson, Michael, Rosebrugh, Robert

Using lightweight modeling to understand chord von Zave, Pamela

Matching and Merging of Variant Feature Specifications von Nejati, S., Sabetzadeh, M., Chechik, M., Easterbrook, S., Zave, P.

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle