Search

Your search keyword '"Stevens, Perdita"' showing total 156 results
Start Over Author "Stevens, Perdita" Publisher springer berlin heidelberg

Refine your results

more »

more »

156 results on '"Stevens, Perdita"'

2. Bidirectionally Tolerating Inconsistency: Partial Transformations

Author

Stevens, Perdita, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Gnesi, Stefania, editor, and Rensink, Arend, editor

Published
2014
Full Text
View/download PDF

3. Enforcing QVT-R with mu-Calculus and Games

Author

Bradfield, Julian, Stevens, Perdita, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Cortellessa, Vittorio, editor, and Varró, Dániel, editor

Published
2013
Full Text
View/download PDF

4. Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal Mu Calculus

Author

Bradfield, Julian, Stevens, Perdita, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, de Lara, Juan, editor, and Zisman, Andrea, editor

Published
2012
Full Text
View/download PDF

5. A Simple Game-Theoretic Approach to Checkonly QVT Relations

Author

Stevens, Perdita, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and Paige, Richard F., editor

Published
2009
Full Text
View/download PDF

6. A Landscape of Bidirectional Model Transformations

Author

Stevens, Perdita, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Lämmel, Ralf, editor, Visser, Joost, editor, and Saraiva, João, editor

Published
2008
Full Text
View/download PDF

7. Towards an Algebraic Theory of Bidirectional Transformations

Author

Stevens, Perdita, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Ehrig, Hartmut, editor, Heckel, Reiko, editor, Rozenberg, Grzegorz, editor, and Taentzer, Gabriele, editor

Published
2008
Full Text
View/download PDF

8. Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions

Author

Stevens, Perdita, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Engels, Gregor, editor, Opdyke, Bill, editor, Schmidt, Douglas C., editor, and Weil, Frank, editor

Published
2007
Full Text
View/download PDF

9. UML for Global Computing

Author

Baumeister, Hubert, Koch, Nora, Kosiuczenko, Piotr, Stevens, Perdita, Wirsing, Martin, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, and Priami, Corrado, editor

Published
2003
Full Text
View/download PDF

10. Games for UML Software Design

Author

Stevens, Perdita, Tenzer, Jennifer, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, de Boer, Frank S., editor, Bonsangue, Marcello M., editor, Graf, Susanne, editor, and de Roever, Willem-Paul, editor

Published
2003
Full Text
View/download PDF

12. UML and Concurrency

Author

Stevens, Perdita, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Börger, Egon, editor, Gargantini, Angelo, editor, and Riccobene, Elvinia, editor

Published
2003
Full Text
View/download PDF

16. Extreme Programming and Modelling? : Panel

Author

Stevens, Perdita, Boger, Marko, Mellor, Stephen, Wills, Alan Cameron, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Evans, Andy, editor, Kent, Stuart, editor, and Selic, Bran, editor

Published
2000
Full Text
View/download PDF

29. UML for Global Computing

Author

Baumeister, Hubert, primary, Koch, Nora, additional, Kosiuczenko, Piotr, additional, Stevens, Perdita, additional, and Wirsing, Martin, additional

Published
2003
Full Text
View/download PDF

41. PVAIR: Partial Variable Assignment InterpolatoR

Author

Jančík, Pavel, Alt, Leonardo, Fedyukovich, Grigory, Hyvärinen, Antti E. J., Kofroň, Jan, Sharygina, Natasha, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Stevens, Perdita, editor, and Wąsowski, Andrzej, editor

Published
2016
Full Text
View/download PDF

42. Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique

Author

de Putter, Sander, Wijs, Anton, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Stevens, Perdita, editor, and Wąsowski, Andrzej, editor

Published
2016
Full Text
View/download PDF

43. Hybrid Session Verification Through Endpoint API Generation

Author

Hu, Raymond, Yoshida, Nobuko, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Stevens, Perdita, editor, and Wąsowski, Andrzej, editor

Published
2016
Full Text
View/download PDF

44. Many-Valued Institutions for Constraint Specification

Author

Chiriţă, Claudia Elena, Fiadeiro, José Luiz, Orejas, Fernando, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Stevens, Perdita, editor, and Wąsowski, Andrzej, editor

Published
2016
Full Text
View/download PDF

45. CafeInMaude: A CafeOBJ Interpreter in Maude

Author

Riesco, Adrián, Ogata, Kazuhiro, Futatsugi, Kokichi, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Stevens, Perdita, editor, and Wąsowski, Andrzej, editor

Published
2016
Full Text
View/download PDF

46. Reduction Rules for Colored Workflow Nets

Author

Esparza, Javier, Hoffmann, Philipp, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Stevens, Perdita, editor, and Wąsowski, Andrzej, editor

Published
2016
Full Text
View/download PDF

47. Towards Formal Proof Metrics

Author

Aspinall, David, Kaliszyk, Cezary, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Stevens, Perdita, editor, and Wąsowski, Andrzej, editor

Published
2016
Full Text
View/download PDF

48. Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices

Author

Léchenet, Jean-Christophe, Kosmatov, Nikolai, Le Gall, Pascale, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Stevens, Perdita, editor, and Wąsowski, Andrzej, editor

Published
2016
Full Text
View/download PDF

49. Modeling and Abstraction of Memory Management in a Hypervisor

Author

Bolignano, Pauline, Jensen, Thomas, Siles, Vincent, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Stevens, Perdita, editor, and Wąsowski, Andrzej, editor

Published
2016
Full Text
View/download PDF

50. Family-Based Modeling and Analysis for Probabilistic Systems – Featuring ProFeat

Author

Chrszon, Philipp, Dubslaff, Clemens, Klüppelholz, Sascha, Baier, Christel, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Stevens, Perdita, editor, and Wąsowski, Andrzej, editor

Published
2016
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results