APPLYING THE B METHOD FOR THE RIGOROUS DEVELOPMENT OF TASK MANAGEMENT

Danmin Chen and Zhiguo Chen

References

  1. [1] J.-R. Abrial, The B-book: Assigning programs to meanings(Cambridge: Cambridge University Press, 1996).
  2. [2] P. Behm, P. Benoit, A. Faivre, and J.-M. Meynadier, M´et´eor:A successful application of B in a large project, Proc. onFormal Methods, Toulouse, France, 1999, 369–387.
  3. [3] J.-R. Abrial, W. Su, and H. Zhu, Formalizing hybrid systemswith event-B, Proc. 3rd Conf. on ABZ, Pisa, Italy, 2012,178–193.
  4. [4] G. Grov, A. Ireland, and M.T. Llano, Refinement plans forinformed formal design, Proc. 3rd Conf. on ABZ, Pisa, Italy,2012, 208–222.42
  5. [5] B.E.G. Gomes, D. D´eharbe, A.M. Moreira, and K. Moraes,Applying the B method for the rigorous development of smartcard applications, Proc. 2nd Conf. on ABZ, Oxford, UK, 2010,203–216.
  6. [6] T.S. Hoang and J.-R. Abrial, Event-B decomposition for par-allel programs, Proc. 2nd Conf. on ABZ, Oxford, UK, 2010,319–333.
  7. [7] N. Cata˜no and C. Rueda, Matelas: A predicate calculuscommon formal definition for social networking, Proc. 2ndConf. on ABZ, Oxford, UK, 2010, 259–272.
  8. [8] C. Poerschke, D.E. Lightfoot, and J.L. Nealon, A formalspecification in B of a medical decision support system, Proc.3rd Conf. on ZB, Turku, Finland, 2003, 497–512.
  9. [9] F. Badeau and A. Amelot, Using B as a high level programminglanguage in an industrial project: Roissy VAL, Proc. 4th Conf.on ZB, Guildford, UK, 2005, 334–354.
  10. [10] J.J. Labrosse, MicroC/OS-II: The Real-Time Kernel, 2nd ed.(Boca Raton, FL: CRC Press, 2002).

Important Links:

Go Back