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
Fully Managed MySQL, PostgreSQL, and SQL Server
Automatic backups, patching, replication, and failover. Focus on your app, not your database.
Cloud SQL handles your database ops end to end, so you can focus on your app.
Synthesizing embedded control software from formal specifications
...The LTL specification captures the desired behavior of a controller where the environment takes the first move (i.e., sense/input then react/output), so the synthesized controller can be viewed as a Mealy machine.
A step-by-step tutorial is available within the software package.
Java Decompiler, Disassembler and Bytecode debugger. Decompiler supports Java 5 (e.g. generics, for-each loops etc). Debugger allows user to step through each bytecode and view program state. Contains Swing GUI.
This project is a feature-preview tool for JDO with JDK5's annotation usage.
It removes away the step of writing metadata files or modifying them when the model classes are greatly changed. An Ant task is provided to automatically do this step for you.
The Combine Development Kit provides a Model View Controller (MVC) similar to Jakarta Struts, an Object Model code generator similar to Torque, and goes a step futher to auto generate configuration, actions and Smarty templates for the MVC.
Lowering the step toward JUnit by offering a convenient way to create, organize and maintain JUnit tests. Incremental behaviour keeps modified code when regenerating. Assists with refactorings (no tests get lost when renaming, moving, etc.).
This project is a step back in time to when people actually still did JDBC. It generates base classes with common functionality on all the tables in a database that a user will then extend to make their project specific implementation.