No hidden charges. No surprise bills. Cancel anytime.
Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
Start Free
Enterprise-grade ITSM, for every business
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.
Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
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...
XEO (eXtensible Enterprise Objects) is a Java-based agile development framework to create enterprise web applications that builds upon Object Oriented concepts and Model Driven Development.
Code Conjurer is a tool which seamlessly integrates into the Eclipse Java development environment and uses the merobase code search engine to recommend software components for reuse. Update site: http://codeconjurer.sourceforge.net/eclipse-update
XUL4Java is a XML UI Framework built upon Java, that lets you build feature rich, cross platform applications across Hetrogenous Architecture, building rich client, desktop , web and mobile application. 'Created For Once And For Ever '
A powerful but lightweight configuration-, dependency-injection-, and scripting framework for the JVM, leveraging a combination of annotations and the standard Java script engine framework to provide self-validating scriptable configuration files
jECMAUnit is an ECMA (Javascript) unit testing framework that uses the underlying javascript engine and JUnit to perform the tests in java, allowing browser-less unit testing of javascript code