Search Results for "drcom-for-linux" - Page 19
Sort By:
458 projects for "drcom-for-linux" with 2 filters applied:
-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
Total Network Visibility for Network Engineers and IT ManagersThis means every device on your network, and every interface on every device is automatically analyzed for performance, errors, QoS, and configuration.
-
1
ETAF: e Test Automation Framework The 'e' in ETAF signifies that it is a web based framework. It also stands for Efficient and Effective.
-
2
ATF is a unit tests generation tool. It uses model based testing and code based techniques. It is implemented as ant build command and as a stand alone GUI application. Its main goal is to provide a complete test suite for any given software under test.
-
3
A CASE (Computer-Aided Software Engineering) web-based tool that support organisation in achieving formal peer review. IEEE 1028-1997 (Standard for Software Reviews) compatible, this tool provides easy peer review process configuration and execution.
-
4
Gefira is an umbrella project for various opensource-related projects, usually backend or middleware oriented.
-
D&B Hoovers is Your Sales AcceleratorSpeed up sales prospecting with the rich audience targeting capabilities of D&B Hoovers so you can spend more sales time closing.
-
5
Bug Tracker Tool written in Java EE. Friendly user interface, management of bugs, dynamic bug states, multiple users, user groups and projects.
-
6
Sutri is a system for tests management. It does not deal directly with testing tools but enables you to manage tests, results and reports in a coherent way, without concerning about what tool is used to execute such tests.
-
7
This package will allow people to check, change, update the license of their projects. It will conform to all new licenses available.
-
8
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...
