-
1
-
-
0037743912
-
Extending B without Changing It (for Developing Distributed Systems)
-
H. Habrias, editor, November
-
st Conference on the B method, pp. 169-190, November 1996.
-
(1996)
st Conference on the B Method
, pp. 169-190
-
-
Abrial, J.-R.1
-
3
-
-
0347798139
-
Event Driven Distributed Program Construction
-
Consultant, August, jr@.abrial.org
-
AERIAL, J.-R.: Event Driven Distributed Program Construction. Internal note, Consultant, August 2001. jr@.abrial.org.
-
(2001)
Internal Note
-
-
Aerial, J.-R.1
-
4
-
-
0345906758
-
Event Driven Electronic Circuit Construction
-
Consultant, August. jr@.abrial.org
-
ABRIAL, J.-R.: Event Driven Electronic Circuit Construction. Internal note, Consultant, August 2001. jr@.abrial.org.
-
(2001)
Internal Note
-
-
Abrial, J.-R.1
-
5
-
-
0347798139
-
Event Driven Sequential Program Construction
-
Consultant, August, jr@.abrial.org
-
AERIAL, J.-R.: Event Driven Sequential Program Construction. Internal note, Consultant, August 2001. jr@.abrial.org.
-
(2001)
Internal Note
-
-
Aerial, J.-R.1
-
6
-
-
35248870166
-
Discrete System Models
-
Consultant, February, jr@.abrial.org
-
AERIAL, J.-R.: Discrete System Models. Internal note, Consultant, February 2002. jr@.abrial.org.
-
(2002)
Internal Note
-
-
Aerial, J.-R.1
-
7
-
-
35248841957
-
#: Toward a Synthesis between z and b
-
D. Bert and M. Walden, editors, 3nd International Conference of B and Z Users - ZB 2003, Turku, Finland. Springer Verlag, June
-
#: Toward a Synthesis Between z and b. In D. Bert and M. Walden, editors, 3nd International Conference of B and Z Users - ZB 2003, Turku, Finland, Lectures Notes in Computer Science. Springer Verlag, June 2003.
-
(2003)
Lectures Notes in Computer Science
-
-
Aerial, J.-R.1
-
8
-
-
84948178446
-
Higher-Order Mathematics in B
-
D. Bert, J. P. Bowen, M. C. Henson, and K. Robinson, editors, Formal Specification and Development in Z and B - ZB'2002, Grenoble, France. Springer Verlag, January
-
AERIAL, J.-R. - CANSELL, D. - LAFFITTE, G.: Higher-Order Mathematics in B. In D. Bert, J. P. Bowen, M. C. Henson, and K. Robinson, editors, Formal Specification and Development in Z and B - ZB'2002, Grenoble, France, Volume 2272 of Lecture Notes in Computer Science, pp. 370-393. Springer Verlag, January 2002.
-
(2002)
Lecture Notes in Computer Science
, vol.2272
, pp. 370-393
-
-
Aerial, J.-R.1
Cansell, D.2
Laffitte, G.3
-
9
-
-
35248822207
-
Formal Derivation of Spanning Trees Algorithms
-
D. Bert and M. Walden, editors, 3nd International Conference of B and Z Users - ZB 2003, Turku, Finland. Springer Verlag, June
-
ABRIAL, J.-R. - CANSELL, D. - MÉRY, D.: Formal Derivation of Spanning Trees Algorithms. In D. Bert and M. Walden, editors, 3nd International Conference of B and Z Users - ZB 2003, Turku, Finland, Lectures Notes in Computer Science. Springer Verlag, June 2003.
-
(2003)
Lectures Notes in Computer Science
-
-
Abrial, J.-R.1
Cansell, D.2
Méry, D.3
-
10
-
-
0038075520
-
A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol
-
AERIAL, J.-R. - CANSELL, D. - D. MÉRY: A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol. Formal Aspects of Computing, Vol. 14, 2003, No. 3.
-
(2003)
Formal Aspects of Computing
, vol.14
, Issue.3
-
-
Aerial, J.-R.1
Cansell, D.2
Méry, D.3
-
11
-
-
84949207890
-
Introducing Dynamic Constraints in B
-
D. Bert, editor, B'98: Recent Advances in the Development and Use of the B Method, Springer Verlag
-
AERIAL, J.-R. - MUSSAT, L.: Introducing Dynamic Constraints in B. In D. Bert, editor, B'98: Recent Advances in the Development and Use of the B Method, Volume 1393 of Lecture Notes in Computer Science. Springer Verlag, 1998.
-
(1998)
Lecture Notes in Computer Science
, vol.1393
-
-
Aerial, J.-R.1
Mussat, L.2
-
12
-
-
0019598045
-
On Correct Refinement of Programs
-
BACK, R.: On Correct Refinement of Programs. Journal of Computer and System Sciences, Vol. 23, 1979, No. 1, pp. 49-68.
-
(1979)
Journal of Computer and System Sciences
, vol.23
, Issue.1
, pp. 49-68
-
-
Back, R.1
-
13
-
-
0024129970
-
A Calculus of Refinements for Program Derivations
-
BACK, R.-J.: A Calculus of Refinements for Program Derivations. Acta Informatica, Vol. 25, 1998, pp. 593-624.
-
(1998)
Acta Informatica
, vol.25
, pp. 593-624
-
-
Back, R.-J.1
-
15
-
-
26544450690
-
Compositional Symmetric Sharing in B
-
J. M. Wing, J. Woodcock, and J. Davies, editors, FM'99 Formal Methods. Springer Verlag
-
BÜCHI, M. - BACK, R.: Compositional Symmetric Sharing in B. In J. M. Wing, J. Woodcock, and J. Davies, editors, FM'99 Formal Methods, Volume 1708 of Lecture Notes in Computer Science. Springer Verlag, 1999.
-
(1999)
Lecture Notes in Computer Science
, vol.1708
-
-
Büchi, M.1
Back, R.2
-
16
-
-
84958060420
-
METEOR: A Successful Application of B in a Large Project
-
Lecture Notes in Computer Science
-
BEHM, P. - BENOIT, P. - FAIVRE, A. - MEYNADIER, J.-M.: METEOR: A Successful Application of B in a Large Project. In Proceedings of FM'99: World Congress on Formal Methods, Lecture Notes in Computer Science, pp. 369-387, 1999.
-
(1999)
Proceedings of FM'99: World Congress on Formal Methods
, pp. 369-387
-
-
Behm, P.1
Benoit, P.2
Faivre, A.3
Meynadier, J.-M.4
-
17
-
-
0346537863
-
Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants
-
J. P. Bowen. S. Dunne, A. Galloway, and S. King, editors, York, UK, August 29-September 2
-
BELLEGARDE, F. - DARLOT, C. - JULLIAND, J. - KOUCHNARENKO, O.: Reformulate Dynamic Properties During B Refinement and Forget Variants and Loop Invariants. In J. P. Bowen. S. Dunne, A. Galloway, and S. King, editors, ZB 2000: Formal Specification and Development in Z and B - First International Conference of B and Z Users, York, UK, August 29-September 2, 2000.
-
(2000)
ZB 2000: Formal Specification and Development in Z and B - First International Conference of B and Z Users
-
-
Bellegarde, F.1
Darlot, C.2
Julliand, J.3
Kouchnarenko, O.4
-
18
-
-
84949310187
-
B'98: Recent Advances in the Development and Use of the B Method
-
Montpellier, France, April 22-24. Springer Verlag
-
BERT, D. editor: B'98: Recent Advances in the Development and Use of the B Method. Volume 1393 of Lecture Notes in Computer Science, Montpellier, France, April 22-24, 1998. Springer Verlag.
-
(1998)
Lecture Notes in Computer Science
, vol.1393
-
-
Bert, D.1
-
19
-
-
0346537861
-
ZB 2002: Formal Specification and Development in Z and B - 2nd International Conference of B and Z Users
-
Grenoble, France, January. Springer Verlag
-
BERT, D. - BOWEN, J.-P. - HENSON, M. C. - ROBINSON, K. editors: ZB 2002: Formal Specification and Development in Z and B - 2nd International Conference of B and Z Users. Volume 2272 of Lecture Notes in Computer Science. Grenoble, France, January 2002. Springer Verlag.
-
(2002)
Lecture Notes in Computer Science
, vol.2272
-
-
Bert, D.1
Bowen, J.-P.2
Henson, M.C.3
Robinson, K.4
-
20
-
-
33747889162
-
ZB 2003: Formal Specification and Development in Z and B - Third International Conference of B and Z Users
-
Turku, Finland, January. Springer Verlag
-
BERT, D. - BOWEN, J.-P. - KING, S. - WALDÉN, M. editors: ZB 2003: Formal Specification and Development in Z and B - Third International Conference of B and Z Users. Volume 2651 of Lecture Notes in Computer Science, Turku, Finland, January 2003. Springer Verlag.
-
(2003)
Lecture Notes in Computer Science
, vol.2651
-
-
Bert, D.1
Bowen, J.-P.2
King, S.3
Waldén, M.4
-
21
-
-
0347168099
-
Formal Methods into Practise: Case Studies in the Application of the B Method
-
BUT Project
-
BICARREGUI, J. - CLUTTERBUCK, D. - FINNIE, G. - HAUGHTON, H. - LAND, K. - LESAN, H. - MARSH, W. - MATTHEWS, B. - MOULDING, M. - NEWTON, A. - RITCHIE, B. - RUSHTON, T. - SCHARBACH, P.: Formal Methods Into Practise: Case Studies in the Application of the B Method. Internal report, BUT Project, 1995.
-
(1995)
Internal Report
-
-
Bicarregui, J.1
Clutterbuck, D.2
Finnie, G.3
Haughton, H.4
Land, K.5
Lesan, H.6
Marsh, W.7
Matthews, B.8
Moulding, M.9
Newton, A.10
Ritchie, B.11
Rushton, T.12
Scharbach, P.13
-
22
-
-
0347168100
-
-
York, UK, August 29-September 2
-
BOWEN, J. P. - DUNNE, S. - GALLOWAY, A. - KING, S. editors: ZB 2000: Formal Specification and Development in Z and B - First International Conference of B and Z Users. York, UK, August 29-September 2, 2000.
-
(2000)
ZB 2000: Formal Specification and Development in Z and B - First International Conference of B and Z Users
-
-
Bowen, J.P.1
Dunne, S.2
Galloway, A.3
King, S.4
-
25
-
-
0030245996
-
Stepwise Refinement of Communicating Systems
-
BUTLER, M.: Stepwise Refinement of Communicating Systems. Science of Computer Programming, Vol. 27, 1996, pp. 139-173.
-
(1996)
Science of Computer Programming
, vol.27
, pp. 139-173
-
-
Butler, M.1
-
26
-
-
0011584271
-
Csp2b: A Practical Approach to Combining csp and b
-
BUTLER, M.: csp2b: A Practical Approach to Combining csp and b. Formal Aspects of Computing, Vol. 12, 2000, pp. 182-196.
-
(2000)
Formal Aspects of Computing
, vol.12
, pp. 182-196
-
-
Butler, M.1
-
28
-
-
84929584668
-
Parallel Programming with the B Method
-
Program Development by Refinement Cases Studies Using the B Method. Springer Verlag
-
BUTLER, M. - WALDEN, M.: Parallel Programming with the B Method. In Program Development by Refinement Cases Studies Using the B Method, Volume 59 of FACIT, pp. 183-195. Springer Verlag, 1998.
-
(1998)
FACIT
, vol.59
, pp. 183-195
-
-
Butler, M.1
Walden, M.2
-
29
-
-
84948150610
-
Incremental Proof of the Producer/Consumer Property for the PCI Protocol
-
D. Bert, editor, Formal Specification and Development in Z and B - ZB'2002, Grenoble, France. Springer Verlag, January
-
CANSELL, D. - GOPALAKRISHNAN, G. - JONES, M. - MÉRY, D. - WEINZOEPFLEN, A.: Incremental Proof of the Producer/Consumer Property for the PCI Protocol. In D. Bert, editor, Formal Specification and Development in Z and B - ZB'2002, Grenoble, France, Volume 2272 of Lecture Notes in Computer Science. Springer Verlag, January 2002.
-
(2002)
Lecture Notes in Computer Science
, vol.2272
-
-
Cansell, D.1
Gopalakrishnan, G.2
Jones, M.3
Méry, D.4
Weinzoepflen, A.5
-
30
-
-
0346536992
-
Abstraction and Refinement of Features
-
Ryan Stephen, Gilmore et Mark, editor. Springer Verlag
-
CANSELL, D. - MÉRY, D.: Abstraction and Refinement of Features. In Ryan Stephen, Gilmore et Mark, editor, Language Constructs for Designing Features. Springer Verlag, 2000.
-
(2000)
Language Constructs for Designing Features
-
-
Cansell, D.1
Méry, D.2
-
34
-
-
0346537855
-
-
CLEARSY, AIX-EN-PROVENCE (F): Atelier B, 2002. Version 3.6
-
CLEARSY, AIX-EN-PROVENCE (F): Atelier B, 2002. Version 3.6.
-
-
-
-
37
-
-
0003307585
-
Fundamentals of Algebraic Specification 1, Equations and Initial Semantics
-
Springer Verlag, W. brauer and R. Rozenberg and A. Salomaa edition
-
EHRIG, H. - MAHR, B.: Fundamentals of Algebraic Specification 1, Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science. Springer Verlag, W. brauer and R. Rozenberg and A. Salomaa edition, 1985.
-
(1985)
EATCS Monographs on Theoretical Computer Science
-
-
Ehrig, H.1
Mahr, B.2
-
38
-
-
0347168091
-
Specification and Validation Methods
-
Ed. E. Börger, Oxford University Press
-
GUREVITCH, Y.: Specification and Validation Methods. Chapter "Evolving Algebras 1993: Lipari Guide", pp. 9-36, Ed. E. Börger, Oxford University Press, 1995.
-
(1995)
Chapter "Evolving Algebras 1993: Lipari Guide"
, pp. 9-36
-
-
Gurevitch, Y.1
-
39
-
-
0345906755
-
-
Nantes, France, April 22-24, IRIN-IUT de Nantes, ISBN 2-906082-25-2
-
HABRIAS, H. editor: First Conference on the B Method. Nantes, France, April 22-24, 1996, IRIN-IUT de Nantes, ISBN 2-906082-25-2.
-
(1996)
First Conference on the B Method
-
-
Habrias, H.1
-
46
-
-
84888797212
-
Formalizing UML Behavioral Diagrams with B
-
Tampa Bay, Florida, USA, Oct
-
LEDANG, H.-SOUQUIÈRES, J.: Formalizing UML Behavioral Diagrams with B. In Tenth OOPSLA Workshop on Behavioral Semantics: Back to Basics, Tampa Bay, Florida, USA, Oct 2001.
-
(2001)
Tenth OOPSLA Workshop on Behavioral Semantics: Back to Basics
-
-
Ledang, H.1
Souquières, J.2
-
47
-
-
84858640520
-
Modeling Class Operations in B: Application to UML Behavioral Diagrams
-
IEEE Computer Society, editor, Loews Coronado Bay, San Diego, USA, November
-
LEDANG, H. - SOUQUIÈRES, J.: Modeling Class Operations in B: Application to UML Behavioral Diagrams. In IEEE Computer Society, editor, 16th IEEE International Conference on Automated Software Engineering - ASE'2001, Loews Coronado Bay, San Diego, USA, November 2001.
-
(2001)
16th IEEE International Conference on Automated Software Engineering - ASE'2001
-
-
Ledang, H.1
Souquières, J.2
-
48
-
-
84926249673
-
Contributions for Modelling UML State-Charts in B
-
Springer Verlag, editor, Turku, Finland, May
-
LEDANG, H. - SOUQUIÈRES, J.: Contributions for Modelling UML State-Charts in B. In Springer Verlag, editor, Third International Conference on Integrated Formal Methods - IFM'2002, Turku, Finland, May 2002.
-
(2002)
Third International Conference on Integrated Formal Methods - IFM'2002
-
-
Ledang, H.1
Souquières, J.2
-
50
-
-
35248855469
-
Probabilistic Termination in B
-
D. Bert, J.-P. Bowen, S. King, and M. Waldén, editors, ZB 2003: Formal Specification and Development in Z and B - Third International Conference of B and Z Users, Turku, Finland, January. Springer Verlag
-
MCIVER, A. - MORGAN, C. - HOANG, T. S.: Probabilistic Termination in B. In D. Bert, J.-P. Bowen, S. King, and M. Waldén, editors, ZB 2003: Formal Specification and Development in Z and B - Third International Conference of B and Z Users, Volume 2651 of Lecture Notes in Computer Science, Turku, Finland, January 2003. Springer Verlag.
-
(2003)
Lecture Notes in Computer Science
, vol.2651
-
-
McIver, A.1
Morgan, C.2
Hoang, T.S.3
-
51
-
-
26544454719
-
Requirements for a Temporal B: Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems
-
A. Galloway and K. Taguchi, editors, Workshop on Computing Science, York, June
-
MÉRY, D.: Requirements for a Temporal B: Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems. In A. Galloway and K. Taguchi, editors, IFM'99 Integrated Formal Methods 1999, Workshop on Computing Science, York, June 1999.
-
(1999)
IFM'99 Integrated Formal Methods 1999
-
-
Méry, D.1
-
52
-
-
23044530355
-
An Approach to Combining B and Alloy
-
D. Bert, J.-P. Bowen, M. C. Henson, and K. Robinson, editors, ZB 2002: Formal Specification and Development in Z and B - 2nd International Conference of B and Z Users, Grenoble, France, January, Springer Verlag
-
MIKHAILOV, L. - BUTLER, M.: An Approach to Combining B and Alloy. In D. Bert, J.-P. Bowen, M. C. Henson, and K. Robinson, editors, ZB 2002: Formal Specification and Development in Z and B - 2nd International Conference of B and Z Users, Volume 2272 of Lecture Notes in Computer Science, Grenoble, France, January 2002, Springer Verlag.
-
(2002)
Lecture Notes in Computer Science
, vol.2272
-
-
Mikhailov, L.1
Butler, M.2
-
53
-
-
0035284105
-
Distributed Directory Service and Message Routing for Mobile Agents
-
MOREAU, L.: Distributed Directory Service and Message Routing for Mobile Agents. Science of Computer Programming, Vol. 39, 2001, Nos. 2-3, pp. 249-272.
-
(2001)
Science of Computer Programming
, vol.39
, Issue.2-3
, pp. 249-272
-
-
Moreau, L.1
-
55
-
-
0017173886
-
An Axiomatic Proof Technique for Parallel Programs I
-
OWICKI, S. - GRIES, D.: An Axiomatic Proof Technique for Parallel Programs I. Acta Informatica, Vol. 6, 1976, pp. 319-340.
-
(1976)
Acta Informatica
, vol.6
, pp. 319-340
-
-
Owicki, S.1
Gries, D.2
-
56
-
-
0347168090
-
Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study
-
D. Bert, J.-P. Bowen, M. C. Henson, and K. Robinson, editors, ZB 2002: Formal Specification and Development in Z and B - 2nd International Conference of B and Z Users, Grenoble, France, January, Springer Verlag
-
PAPATSARAS, A. - STODDART, B.: Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study. In D. Bert, J.-P. Bowen, M. C. Henson, and K. Robinson, editors, ZB 2002: Formal Specification and Development in Z and B - 2nd International Conference of B and Z Users, Volume 2272 of Lecture Notes in Computer Science, Grenoble, France, January 2002, Springer Verlag.
-
(2002)
Lecture Notes in Computer Science
, vol.2272
-
-
Papatsaras, A.1
Stoddart, B.2
-
57
-
-
84949208050
-
Composition and Refinement in the B Method
-
B'98: Recent Advances in the Development and Use of the B Method. Springer Verlag
-
POTET, M.-L. - ROUZEAU, Y.: Composition and Refinement in the B Method. In B'98: Recent Advances in the Development and Use of the B Method, Volume 1393 of Lecture Notes in Computer Science. Springer Verlag, 1998.
-
(1998)
Lecture Notes in Computer Science
, vol.1393
-
-
Potet, M.-L.1
Rouzeau, Y.2
-
58
-
-
84948163029
-
Communicating B Machines
-
D. Bert, J.-P. Bowen, M. C. Henson, and K. Robinson, editors, ZB 2002: Formal Specification and Development in Z and B - 2nd International Conference of B and Z Users, Grenoble, France, January, Springer Verlag
-
SCHNEIDER, S. - TREHARNE, H.: Communicating B Machines. In D. Bert, J.-P. Bowen, M. C. Henson, and K. Robinson, editors, ZB 2002: Formal Specification and Development in Z and B - 2nd International Conference of B and Z Users, Volume 2272 of Lecture Notes in Computer Science, pp. 416-435, Grenoble, France, January 2002, Springer Verlag.
-
(2002)
Lecture Notes in Computer Science
, vol.2272
, pp. 416-435
-
-
Schneider, S.1
Treharne, H.2
-
62
-
-
33645969686
-
How to Drive a B Machine
-
J. P. Bowen, S. Dunne, A. Galloway, and S. King, editors, York, UK, August 29-September 2
-
TREHARNE, H. - SCHNEIDER, S.: How to Drive a B Machine. In J. P. Bowen, S. Dunne, A. Galloway, and S. King, editors, ZB 2000: Formal Specification and Development in Z and B - First International Conference of B and Z Users, York, UK, August 29-September 2, 2000.
-
(2000)
ZB 2000: Formal Specification and Development in Z and B - First International Conference of B and Z Users
-
-
Treharne, H.1
Schneider, S.2
|