Search Results for "form tools"
Sort By:
Showing 2 open source projects for "form tools"
View related business solutions-
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
1
ClassHidra
ClassHidra Java open-source MVC (ModelViewController).CDI & EJB. REST
ClassHidra, Java-base MVC Support: - CDI ( context dependency injection ) - @SessionScoped, @ApplicationScoped; - EJB (enterprise java bean) map action/form as @Stateless, @Stateful, @Singleton; - Spring (4.*) map action/form as @Component; - RESTful (alfa) Demo - Google AppEngine - https://classhidra4ape-hrd.appspot.com/ GitHub - https://github.com/surban1974/classhidra Maven dependencies - https://github.com/surban1974/classhidra/blob/master/README.md -
2
autoCode4
Synthesizing embedded control software from formal specifications
autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures...
- Previous
- You're on page 1
- Next