[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

Abrial09

  1. Jean-Raymond Abrial
  2. Faultless Systems: Yes we can
  3. IEEE Computer Magazine V42n9(Sep 2009)pp30-36
  4. =ADVERT FORMAL SYSTEMS REQUIREMENTS B Event-B CORRECTNESS MODEL PROOF SIMULATION REFINEMENT PATTERNS MATHEMATICS TOOL Rodin
  5. assumes waterfall is necessary.
  6. process=requirements; model; code.
  7. requirements are a mixture of informal explanations and form definitions and proofs etc.
  8. Use coupled discrete state transition systems. And animation. Prove invariants.
  9. Need tools to prove thousands of changing propositions.
  10. Validate the problem as a system in an environment not just the software.
  11. Problem with not enough discrete mathematics in education.
  12. Problem with technology transfer.
  13. Link [ http://www.event-b.org ]

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]