Search

Your search keyword '"Formal specification"' showing total 15,094 results
Start Over "Formal specification" Publication Type eBooks

Refine your results

more »

more »

more »

more »

more »

more »

more »
15,094 results on '"Formal specification"'

1. Formal Specification : Techniques and Applications

Author

Nimal Nissanke and Nimal Nissanke

Subjects
Machine theory, Computer science, Software engineering
Abstract

Formal Specification is a textbook for 2nd/3rd year undergraduate and postgraduate courses in Formal Methods which offers a practical and versatile approach to constructing specifications. It covers both model-based and algebraic approaches and emphasises the range of languages and approaches which are available. Mathematical principles are explained using examples from everyday life (like card games), in order to'demystify'them and make them more comprehensible. It includes: unrivalled coverage of the topic including all important, recent advances lots of exercises with model answers case studies to guide students through the main principles margin notes to identify key points. Readers of this book do not have to be fully competent in formal specification - it is written to be accessible to any student who wants to learn about the topic.

Published
2012

2. Analysis and Formal Specification of OpenJDK’s BitSet

Author

Tatman, Andy S., Hiep, Hans-Dieter A., de Gouw, Stijn, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Herber, Paula, editor, and Wijs, Anton, editor

Published
2024
Full Text
View/download PDF

3. Formal Specification of Trusted Execution Environment APIs

Author

Yu, Geunyeol, Chae, Seunghyun, Bae, Kyungmin, Moon, Sungkun, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Beyer, Dirk, editor, and Cavalcanti, Ana, editor

Published
2024
Full Text
View/download PDF

4. Formal Specification Level : Concepts, Methods, and Algorithms

Author

Mathias Soeken, Rolf Drechsler, Mathias Soeken, and Rolf Drechsler

Subjects
Embedded computer systems, Natural language processing (Computer science)
Abstract

This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL), using models which not only allow significant verification tasks in this early stage of the design flow, but also can be extracted semi-automatically from the textual specification in an interactive manner. The authors explain how to use these verification tasks to check conceptual properties, e.g. whether requirements are in conflict, as well as dynamic behavior, in terms of execution traces.

Published
2015

5. SpeX: A Rewriting-Based Formal Specification Environment

Author

Ţuţu, Ionuţ, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Madeira, Alexandre, editor, and Martins, Manuel A., editor

Published
2023
Full Text
View/download PDF

6. KnowLang – A Formal Specification Model for Self-adaptive Systems

Author

Hinchey, Mike, Vassev, Emil, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Bowen, Jonathan P., editor, Li, Qin, editor, and Xu, Qiwen, editor

Published
2023
Full Text
View/download PDF

8. Formal Specification for Learning-Enabled Autonomous Systems

Author

Bensalem, Saddek, Cheng, Chih-Hong, Huang, Xiaowei, Katsaros, Panagiotis, Molin, Adam, Nickovic, Dejan, Peled, Doron, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Isac, Omri, editor, Ivanov, Radoslav, editor, Katz, Guy, editor, Narodytska, Nina, editor, and Nenzi, Laura, editor

Published
2022
Full Text
View/download PDF

10. Including Design Guidelines in the Formal Specification of Interfaces in Z

Author

Bowen, Judy, Reeves, Steve, 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, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Treharne, Helen, editor, King, Steve, editor, Henson, Martin, editor, and Schneider, Steve, editor

Published
2005
Full Text
View/download PDF

15. Formal Specification of a Security Framework for Smart Contracts

Author

Mandrykin, Mikhail, O’Shannessy, Jake, Payne, Jacob, Shchepetkov, Ilya, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Sekerinski, Emil, editor, Moreira, Nelma, editor, Oliveira, José N., editor, Ratiu, Daniel, editor, Guidotti, Riccardo, editor, Farrell, Marie, editor, Luckcuck, Matt, editor, Marmsoler, Diego, editor, Campos, José, editor, Astarte, Troy, editor, Gonnord, Laure, editor, Cerone, Antonio, editor, Couto, Luis, editor, Dongol, Brijesh, editor, Kutrib, Martin, editor, Monteiro, Pedro, editor, and Delmas, David, editor

Published
2020
Full Text
View/download PDF

20. Background

Author

Soeken, Mathias, Drechsler, Rolf, Soeken, Mathias, and Drechsler, Rolf

Published
2015
Full Text
View/download PDF

21. Formal Specification and Verification for Real-Time Scheduling Based on PAR

Author

You, Zhen, Cheng, Zhuo, Xue, Jinyun, Hu, Qimin, Xie, Wuping, 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, Duan, Zhenhua, editor, Liu, Shaoying, editor, Tian, Cong, editor, and Nagoya, Fumiko, editor

Published
2019
Full Text
View/download PDF

22. Formal Specification of Robotic Architectures for Experimental Robotics

Author

Ramaswamy, Arunkumar, Monsuez, Bruno, Tapus, Adriana, Dillmann, Rüdiger, Series Editor, Nakamura, Yoshihiko, Series Editor, Schaal, Stefan, Series Editor, Vernon, David, Series Editor, Bülthoff, Heinrich H., Advisory Editor, Inaba, Masayuki, Advisory Editor, Kelso, J.A. Scott, Advisory Editor, Khatib, Oussama, Advisory Editor, Kuniyoshi, Yasuo, Advisory Editor, Okuno, Hiroshi G., Advisory Editor, Ritter, Helge, Advisory Editor, Sandini, Giulio, Advisory Editor, Siciliano, Bruno, Advisory Editor, Steedman, Mark, Advisory Editor, Takanishi, Atsuo, Advisory Editor, Bonsignorio, Fabio, editor, Messina, Elena, editor, del Pobil, Angel P., editor, and Hallam, John, editor

Published
2020
Full Text
View/download PDF

23. A Software Tool to Support Scenario-Based Formal Specification for Error Prevention

Author

Li, Siyuan, Liu, Shaoying, 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, Tian, Cong, editor, Nagoya, Fumiko, editor, Liu, Shaoying, editor, and Duan, Zhenhua, editor

Published
2018
Full Text
View/download PDF

25. Towards a Formal Specification and Automatic Execution of ETLs in Cross-organizational Business Processes

Author

Tomić, Miroslav, Todorović, Nikola, Vještica, Marko, Kordić, Slavica, Dimitrieski, Vladimir, Kacprzyk, Janusz, Series Editor, Gomide, Fernando, Advisory Editor, Kaynak, Okyay, Advisory Editor, Liu, Derong, Advisory Editor, Pedrycz, Witold, Advisory Editor, Polycarpou, Marios M., Advisory Editor, Rudas, Imre J., Advisory Editor, Wang, Jun, Advisory Editor, Trajanovic, Miroslav, editor, Filipovic, Nenad, editor, and Zdravkovic, Milan, editor

Published
2024
Full Text
View/download PDF

26. Formal Specification of Concurrent Enforcement UCON Model with CTL Logic

Author

Lili, Xie, Zhigang, Zhai, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Sun, Xingming, editor, and Pan, Zhaoqing, editor

Published
2019
Full Text
View/download PDF

27. The ASSL Approach to Formal Specification of Self-managing Systems

Author

Vassev, Emil, Hinchey, Mike, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Margaria, Tiziana, editor, Graf, Susanne, editor, and Larsen, Kim G., editor

Published
2019
Full Text
View/download PDF

28. A Generic Flash-Based Animation Engine for ProB

Author

Bendisposto, Jens, Leuschel, Michael, 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, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Julliand, Jacques, editor, and Kouchnarenko, Olga, editor

Published
2006
Full Text
View/download PDF

29. Automatic Translation from Combined B and CSP Specification to Java Programs

Author

Yang, Letu, Poppleton, Michael R., 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, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Julliand, Jacques, editor, and Kouchnarenko, Olga, editor

Published
2006
Full Text
View/download PDF

30. Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ

Author

Toyn, Ian, Galloway, Andy, 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, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Treharne, Helen, editor, King, Steve, editor, Henson, Martin, editor, and Schneider, Steve, editor

Published
2005
Full Text
View/download PDF

31. Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification —Extended Abstract—

Author

Jones, Cliff B., 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, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Treharne, Helen, editor, King, Steve, editor, Henson, Martin, editor, and Schneider, Steve, editor

Published
2005
Full Text
View/download PDF

32. Formal Verification of a Type Flaw Attack on a Security Protocol Using Object-Z

Author

Long, Benjamin W., 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, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Treharne, Helen, editor, King, Steve, editor, Henson, Martin, editor, and Schneider, Steve, editor

Published
2005
Full Text
View/download PDF

33. Reuse of Specification Patterns with the B Method

Author

Blazy, Sandrine, Gervais, Frédéric, Laleau, Régine, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Bert, Didier, editor, Bowen, Jonathan P., editor, King, Steve, editor, and Waldén, Marina, editor

Published
2003
Full Text
View/download PDF

36. Plug-and-Play Nondeterminacy : Extended Abstract

Author

Morris, Joseph M., 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, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Julliand, Jacques, editor, and Kouchnarenko, Olga, editor

Published
2006
Full Text
View/download PDF

37. JML2B: Checking JML Specifications with B Machines

Author

Bouquet, Fabrice, Dadeau, Frédéric, Groslambert, Julien, 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, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Julliand, Jacques, editor, and Kouchnarenko, Olga, editor

Published
2006
Full Text
View/download PDF

38. Meca: A Tool for Access Control Models

Author

Haddad, Amal, 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, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Julliand, Jacques, editor, and Kouchnarenko, Olga, editor

Published
2006
Full Text
View/download PDF

39. LEIRIOS Test Generator: Automated Test Generation from B Models

Author

Jaffuel, Eddie, Legeard, Bruno, 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, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Julliand, Jacques, editor, and Kouchnarenko, Olga, editor

Published
2006
Full Text
View/download PDF

40. BE4: The B Extensible Eclipse Editing Environment

Author

Bendisposto, Jens, Leuschel, Michael, 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, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Julliand, Jacques, editor, and Kouchnarenko, Olga, editor

Published
2006
Full Text
View/download PDF

41. A JAG Extension for Verifying LTL Properties on B Event Systems

Author

Groslambert, Julien, 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, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Julliand, Jacques, editor, and Kouchnarenko, Olga, editor

Published
2006
Full Text
View/download PDF

42. Experiences in Using B and UML in Industrial Development

Author

Oliver, Ian, 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, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Julliand, Jacques, editor, and Kouchnarenko, Olga, editor

Published
2006
Full Text
View/download PDF

43. Symmetry Reduction for B by Permutation Flooding

Author

Leuschel, Michael, Butler, Michael, Spermann, Corinna, Turner, Edd, 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, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Julliand, Jacques, editor, and Kouchnarenko, Olga, editor

Published
2006
Full Text
View/download PDF

44. Chorus Angelorum

Author

Dunne, Steve, 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, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Julliand, Jacques, editor, and Kouchnarenko, Olga, editor

Published
2006
Full Text
View/download PDF

45. Justifications for the Event-B Modelling Notation

Author

Hallerstede, Stefan, 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, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Julliand, Jacques, editor, and Kouchnarenko, Olga, editor

Published
2006
Full Text
View/download PDF

46. Interpreting Invariant Composition in the B Method Using the Spec# Ownership Relation: A Way to Explain and Relax B Restrictions

Author

Boulmé, Sylvain, Potet, Marie-Laure, 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, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Julliand, Jacques, editor, and Kouchnarenko, Olga, editor

Published
2006
Full Text
View/download PDF

47. Augmenting B with Control Annotations

Author

Ifill, Wilson, Schneider, Steve, Treharne, Helen, 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, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Julliand, Jacques, editor, and Kouchnarenko, Olga, editor

Published
2006
Full Text
View/download PDF

48. Security Policy Enforcement Through Refinement Process

Author

Stouls, Nicolas, Potet, Marie-Laure, 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, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Julliand, Jacques, editor, and Kouchnarenko, Olga, editor

Published
2006
Full Text
View/download PDF

49. Integration of Security Policy into System Modeling

Author

Benaïssa, Nazim, Cansell, Dominique, Méry, Dominique, 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, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Julliand, Jacques, editor, and Kouchnarenko, Olga, editor

Published
2006
Full Text
View/download PDF

50. Refinement of eb 3 Process Patterns into B Specifications

Author

Gervais, Frédéric, Frappier, Marc, Laleau, Régine, 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, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Julliand, Jacques, editor, and Kouchnarenko, Olga, editor

Published
2006
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results