Search Results for "computer-aided software engineering" - Page 2
Sort By:
Showing 38 open source projects for "computer-aided software engineering"
View related business solutions-
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.
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
1
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.
-
2
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.
-
3
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).
-
4
-
$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.
-
5
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.
-
6
The compilerMonitor persists a record of all javac error messages and the sources that caused/fixed the errors. It is a CAUSE (computer-aided usability engineering) tool that analyzes interaction between a developer and the compiler.
-
7
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
-
8
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.
-
9
This project makes it easier for teachers to do their class. It allows teachers to use software at their home and upload it on a website, from their home or school computer. Allowing parents and/or students to see their marks, and everything else.
-
Earn up to 16% annual interest with Nexo.Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform. Geographic restrictions, eligibility, and terms apply.
-
10
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.
-
11
Application for automated mail preprocessing.This is not a generic spam filter.According to configuration file,macros are ran for triggered or watched incoming mail attachments.Also an auto reply is sent back.Teachers might use for student project codes.
-
12
-
13
java-turing-emulator aims to provide a GUI for creating, editing and simulating Turing machines and deterministic machines. its build in java and uses the swt-framework.