Search Results for "java research projects protege software" - Page 4
Sort By:
Showing 82 open source projects for "java research projects protege software"
View related business solutions-
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
1
JOPE (Java Open Project Enviroment) focuses on making development of java projects easier by providing all tools in one place. Features include: Maven support, Ant support, Issue tracking, Mailing lists, VCS support ...
-
2
-
3
This project is a translator of java .class files containing java bytecode to the Common Language Architecture (CLI) executable code files. CLI, it is the base specification of Microsoft .Net framework (However, this projects intends to be independe
-
4
The PNMP (Petri Nets Modeling Platform) project aims at providing, in collaboration with Eclipse EMF, GMF, PNML Framework, and other future projects, a comprehensive approach to MDD for Embedded Systems on top of the Eclipse Project platform.
-
MongoDB Atlas runs apps anywhereMongoDB 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.
-
5
The Smart Buildings project is a collection of open-source software and research projects related to the field of home automation and simulation.
-
6
This projects implements various optimization heuristics and meta-heuristics (such as local search, VND, GRASP, Simulated Annealing, and more still to come) finding solutions on the post enrolment course timetabling problem.
-
7
Kammerjäger
Kammerjäger is a debugging tool with integrated correctness proving.
Kammerjäger is a debugging and testing tool that enables you to prove the correctness of your code. In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected. The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes...
