Search Results for "computer-aided software engineering"
Sort By:
Showing 8 open source projects for "computer-aided software engineering"
View related business solutions-
Virtual data rooms designed to achieve better outcomesAnsarada is a SaaS company that provides world-leading AI-powered Virtual Data Rooms and dealmaking tools. These tools include advanced AI insights and automation, next level Q&A and collaboration, plus pre-built, digitized and customizable workflows and checklists - known as Pathways - for M&A, capital raising, business audits, tenders and other high stakes outcomes.
-
Diagnose and Resolve IT Issues in Real TimeScreenMeet’s unique combination of video calling, screen share, and remote desktop functionality lets you quickly diagnose hardware and software issues with no frustration.
-
1
JGraphT is a free Java class library that provides mathematical graph-theory objects and algorithms. JGraphT supports a rich gallery of graphs and is designed to be powerful, extensible, and easy to use.
-
2
Paranet Lite
Paranet Lite is a local short video and image sharing platform.
Paranet Lite is a short video and image sharing application that runs locally on the user's computer. It can be shared via LAN provides value if ever the internet were to shut off. It's open sourced and user can use it and modify it however they want. -
3
Mass Planner
Use Mass Planner to schedule your post on your Social accounts!
Mass Planner is the ultimate scheduling software for Facebook, Pinterest and Twitter, all in one. Schedule all your social media from an easy to use dashboard and free up hours and hours of your time each day. You can schedule post at exact times in the future or just repeating posts on certain days of the week. You can schedule posts on your pages, groups and wall. Free up your day and stop doing manually what a computer can do for you. -
4
ProQuiz is a Professional Quiz Maker Software capable of Generating Quizzes of all types by simple user interface. Its easy to use User interface makes it stand apart from other softwares in this category.
-
The most advanced C and C++ source code analyzerTrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers receive several benefits: a user-friendly graphical interface that directs developers to the root cause of bugs, and instant utility to expand the coverage of their existing tests. Unlike traditional source code analysis tools, TrustInSoft’s solution is not only the most comprehensive approach on the market but is also progressive, instantly deployable by developers, even if they lack experience with formal methods, from exhaustive analysis up to a functional proof that the software developed meets specifications.
-
5
IUST Software Engineering 2 Course Project (2010-2011)
-
6
ORE-CHEM is an open source implementation of software for managing online chemical repositories and services using the Object Reuse and Exchange specification. For more information on ORE, see http://www.openarchives.org/ore/.
-
7
Memomics Forge is a meta-project for software that utilizes the Memomics Semantic Service. Memomics Semantic Service provides semantic data which can be embedded in applications via webservices.
-
8
- Previous
- You're on page 1
- Next
