References

  1. J.R. Abria (1996): The B Book: Assigning Programs to Meanings, second edition, Series 443. Cambridge University Press, Address, doi:10.4204/EPTCS. Available at http://arxiv.org/abs/1009.3306. Note.
  2. Ralph-Johan Back & Joakim von Wright (1998): Refinement Calculus - A Systematic Introduction. Graduate Texts in Computer Science. Springer, doi:10.1007/978-1-4612-1674-2.
  3. R. Banach & M. Poppleton (2000): Retrenchment, Refinement and Simulation. In: ZB: Formal Specifications and Development in Z and B, Lecture Notes in Computer Science. Springer, pp. 304–323, doi:10.1007/3-540-44525-0_18.
  4. Chris Brink, Wolfram Kahl & Gunther Schmidt (1997): Relational Methods in Computer Science. Advances in Computer Science. Springer Verlag, Berlin, Germany, doi:10.1007/978-3-7091-6510-2.
  5. J. Desharnais, N. Diallo, W. Ghardallou, M. F. Frias, A. Jaoua & A. Mili (2015): Relational Mathematics for Relative Correctness. In: RAMICS, 2015, LNCS 9348. Springer Verlag, Braga, Portugal, pp. 191–208.
  6. Jules Desharnais, Nafi Diallo, Wided Ghardallou & Ali Mili (2017): Projecting Programs on Specifications: Definitions and Implications. Science of Computer Programming, doi:10.1016/j.scico.2016.11.006.
  7. Nafi Diallo, Wided Ghardallou, Jules Desharnais & Ali Mili (2015): Program Derivation by Correctness Enhacements. In: John Derrick, Eerke A. Boiten & Steve Reeves: Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015., EPTCS 209, pp. 57–70, doi:10.4204/EPTCS.209.5.
  8. Geoffrey Dromey (1983): Program Development by Inductive Stepwise Refinement. Technical Report Working Paper 83-11. University of Wollongong, Australia, doi:10.1002/spe.4380150102.
  9. Alberto González-Sanchez, Rui Abreu, Hans-Gerhard Gross & Arjan J. C. van Gemund (2011): Prioritizing tests for fault localization through ambiguity group reduction. In: Perry Alexander, Corina S. Pasareanu & John G. Hosking: 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, USA, November 6-10, 2011. IEEE Computer Society, pp. 83–92, doi:10.1109/ASE.2011.6100153.
  10. David Gries (1981): The Science of Programming. Springer Verlag, doi:10.1007/978-1-4612-5983-1.
  11. Eric C. R. Hehner & Andrew M. Gravell (1999): Refinement Semantics and Loop Rules. In: E.D.I. Thor & E. di Thor: Formal Methods 1999, Lecture Notes in Computer Science 443. Organization. Springer Verlag, Address, pp. 1–999, doi:10.4204/EPTCS. Available at http://arxiv.org/abs/1009.3306. Note.
  12. Eric C.R. Hehner (1992): A Practical Theory of Programming. Prentice Hall, doi:10.1007/978-1-4419-8596-5.
  13. C.A.R. Hoare (1997): Unified Theories of Programming. In: E.D.I. Thor & E. di Thor: Mathematical Methods in Program Development, second edition, type II, Series 443. Springer Verlag, Address, pp. 1–999, doi:10.4204/EPTCS. Available at http://arxiv.org/abs/1009.3306. Note.
  14. Zohar Manna (1974): A Mathematical Theory of Computation. McGraw-Hill.
  15. Bertrand Meyer (1985): On Formalism in Specification. IEEE Software 2(1), pp. 6–27, doi:10.1109/MS.1985.229776.
  16. A. Mili, M. Frias & A. Jaoua (2014): On Faults and Faulty Programs. In: P. Hoefner, P. Jipsen, W. Kahl & M. E. Mueller: Proceedings, RAMICS 2014, LNCS 8428, pp. 191–207.
  17. A. Mili, X.Y. Wang & Y. Qing (1986): A Relational Specification Methodology. Software- Practice and Experience, pp. 1030–1030.
  18. Carroll C. Morgan (1998): Programming from Specifications, Second Edition. International Series in Computer Sciences. Prentice Hall, London, UK.
  19. Olfa Mraihi, Asma Louhichi, Lamia Labed Jilani, Jules Desharnais & Ali Mili (2013): Invariant Assertions, Invariant Relations, and Invariant Functions. Science of Computer Programming 78(9), pp. 1212–1239, doi:10.1016/j.scico.2012.05.006.
  20. Daniel Perelman, Sumit Gulwani, Dan Grossman & Peter Provost (2014): Test Driven Synthesis. In: Proceedings, 35th ACM SIGPLAN Conference, PLDI 49, Edinburgh, UK, pp. 408–418.
  21. Juris Reinfelds (1986): A Brief Introduction to the Derivation of Programs. Technical Report. University of Wollongong, Wollongong, NSW Australia.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org