Search Results for "computer-aided software engineering" - Page 3
Sort By:
Showing 78 open source projects for "computer-aided software engineering"
View related business solutions-
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.
-
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
1
-
2
Provides a web-based learning platform for highschool or college courses in quantitative disciplines such as physics. Numerical and various types of MC-questions with answers depending on random parameters are supported.
-
3
Automated computer program grading solutions designed for trainings on computer languages, data structures and algorithms. See http://openjudge.net for details.
-
4
Simulating Cache based Checkpointing and Rollback schemes are currently performed only at the hardware level for the lack of such simulation software that is generic. NCkptSimulator, a simulation tool, will support different checkpointing schemes
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
5
WWW Interactive Mathematics Server, engine to provide interactive educational activities on the web.
-
6
Molle is a cross-platform prover for modal logic, which exploits the modal semantic tableaux method. It features a very usable graphical interface, with interactive representation of generated models. Molle is maintained by Politecnico di Milano.
-
7
ETH Lecture Communicator is a tool to improve the interaction in the classroom. The software enables the instructor to create and carry out in-class online-assessments and facilitates organized and instant two-way communication for big classes.
-
8
OAR (Offender Acknowledgement of Responsibility) is to provide a multi-therapy approach to the problem of recidivism in our current penal system, using open-source software.
-
9
Pobble is a client-server educational-software system, releasing assignments, receiving completed work, and controlling the grading. Releases include a complete working architecture for users, teachers, and admins.
-
Build Securely on AWS with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
10
A testcase management, logging, reporting and test automation tool, similar to the commercial product Test Director. Features: Progress stats, reports, test case import from CSV,doc,web or SQL, STAF plugin. SQL database. Speeds QA and software testing
-
11
CABLE (Computer Algebra Based Learning and Evaluation) is an online mathematical assessment tool for use with an open source computer algebra system.
-
12
The General Intensional Programming System (GIPSY) consists in three modular sub-systems: The General Intensional Programming Language Compiler (GIPC) ; the General Eduction Engine (GEE), and the Intensional Run-time Programming Environment (RIPE).
-
13
File-Spector is a small, fast and easy to use binary file analyzer and Inspector. It allows the users to format a complete binary file structure and then use it to read any binary file that matches the specified format.
-
14
Exammaker is a software for teachers and instructors to prepare tests and exams. Layout, accounts and automatic correction are basic features
-
15
indo "sanna" build 4 daiskinaki SaNNa, open irc client bot software, using microsoft access database (Ms Jet 4.0) for recording/searching/answering/data learning, created/build using Borland Delphi 5.0/6.0/7.0/8.0 .. kylix3.0 open? {need more componen
-
16
FliteTutor is currently merely a concept for an interactive training enhancement to the free flight simulator FlightGear, the purpose will be to provide basic tutorials within FlightGear about its general usage and also specific topics. (check homepage)
-
17
-
18
AiM is a system for intelligent computer-aided learning and assessment in mathematics and related disciplines, based on a symbolic mathematics program.
-
19
MockExaminer is a software that you can use to prepare yourself for exams. You can also use it to create and deliver exams to other candidates. In fact the software consists of two separate programs; an exam designer and an exam deliver agent.
-
20
Futures Gateway is a not-for-profit educational project for children (primarily ages 8 - 18) and their families. It uses interactive and collaborative activities, especially Wiki and HTML document and media management software, videoconferencing, chat, b
-
21
Phono is a software tool for developing and testing models of regular historical sound change. For this purpose, a model consists essentially of an ordered set of sound-change rules. Phono reads the makeup of the rules and their order from a data file.
-
22
This was an UI course project. In this project we built an interface prototype of an online travel reservation system. This service was meant to revolutionize the travel idustry in several ways for occasional travelers as well as for large businesses.
-
23
Adept is a free multilanguage e-learning system. Users can choose, navigate, read courses on screen, do exercices and download related material. Authors can create courses online or import them from word processor files and quiz generation software such
-
24
Praktomat is a web-based manager for programming labs. Students submit programs via the Web; Praktomat automatically compiles, tests and checks them; submissions not meeting the quality criteria are rejected.
-
25
Institute of Technology, Blanchardstown Computer Science code by the class of 2007-2011 on course BN104. In this project we are open sourcing all of our project work to the public in the hopes it can be reused, built-upon, and used in education.