Search Results for "so"

...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 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.

HiveMind is a browser based web development that combines an application container (jetty), a middleware and a developer environment that runs in the browser. It runs on the jvm so you are not limited by environment. You can run it on your laptop, company server or even on a cloud service like AWS. It supports Java, Ruby, Python, JavaScript, Groovy, Clojure. Source include so it is easy to hack so you can modify it for your own need.

Dynamic tree of Java objects encapsulates hard-drive and Jar/Zip files (and their inner files) and Java objects all the same way. Create new ways of communication as executable Jar files, like a paint program that creates/uses paint programs as tools

Chex4j allows you to document and enforce @pre and @post conditions of method calls with runtime or build time class file instrumentation. Conditions run as fast as normal code.

Bluprint is an Agile-MDA code generator. It is a fuss-free tool supporting code generation from UML modelling tools. It supports model/code merging so engineers can easily extend and maintain generated code. Bluprint has been developed using itself.

With Changes Maven plugin you can't generate the changes report from Bugzilla. This project is a Maven plugin to generate the file 'changes.xml' from your Bugzilla, so you could generate the changes report from your Bugzilla issues.

Source code generator. This project take 10 words and generate tables, scripts and source code for making CRUD. It's posible to modify tables and field so the web learn like a neuronal network.

Scrum backlog organization tool that allows easy prioritization of work. Intended for use in Sprint Planning Meetings, so must be intuitive to Product Owners, Stakeholders and the Team as well as providing enough info to be useful to the Sprint.