Deploy in 115+ regions with the modern database for every enterprise.
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
Start Free
Add Two Lines of Code. Get Full APM.
AppSignal installs in minutes and auto-configures dashboards, alerts, and error tracking.
Works out of the box for Rails, Django, Express, Phoenix, and more. Monitoring exceptions and performance in no time.
Generate Java and PHP database apps from abstract Event-B models.
EventB2SQL is a Rodin plugin for generating database applications from abstract Event-B models. EventB2SQL generates code for four types of applications:
* Java with MySQL backend (JDBC)
* Java with SQLite backend (JDBC)
* Java for Android with native SQLite backend
* PHP with MySQL backend (PDO)
EventB2SQL can translate abstract Event-B models that use features such as:
* enumerated sets
* variables of set and relation types
* simultaneous assignment
* set comprehensions
* quantified assertions
See the wiki for installation instructions and brief usage examples.
<b>A simple, flexible, light weight application enclosure from which rapid extension is possible in the Java programming environment. Includes the config framework similar to Apache's digester tool, except control is encapsulated in the constructor.</b>
<img src=http://www.ifrance.com/divisionX/JOE-LOGO.BMP align=left><div><b>JOE</b> -<i>Java Optimization Engine</i>- provides an easy way to optimize programmatically Java applications. <b>JOE</b> is an Ant optional task (like XDoclet or JavaCC).</div><br