BeepBeep

Browser-based enforcement of interface contracts in web applications with BeepBeep BeepBeep is a lightweight runtime monitor for Ajax web applications. Interface specifications are expressed internally in an extension of LTL with first-order quantification; they can be transparently enforced on the client side using a small and invisible Java applet. Violations of the specification are reported on-the-fly and prevent erroneous or out-of-sequence XML messages from reaching the server

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element


References in zbMATH (referenced in 2 articles )

Showing results 1 to 2 of 2.
Sorted by year (citations)

  1. Belardinelli, F.; Lomuscio, A.: Interactions between knowledge and time in a first-order logic for multi-agent systems: completeness results (2012)
  2. Hallé, Sylvain; Villemaire, Roger: Browser-based enforcement of interface contracts in web applications with BeepBeep (2009) ioport


Further publications can be found at: http://beepbeep.sourceforge.net/publications.php