Search Results for "computer-aided software engineering" - Page 60
Sort By:
Showing 2437 open source projects for "computer-aided software engineering"
View related business solutions-
Host LLMs in Production With On-Demand GPUsDeploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
-
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.
-
1
The University of Cooperative Education Leipzig has a special offer by which lecturers,staff and students may lend various devices. The project's aim is to create a software application for automatising the lending process.
-
2
this is an eclipse Distro meant for SWE642 students and can be used by other introductory courses in web development.
-
3
This game is a popular software project computer scientist majors need to program and present during their studies. The main goal is to learn the uses and meaning of Object Oriented programming languages.
-
4
SiGeM is a Memory Management Software Simulator developed by Padua University's students. This software's goal is to show how processes can use memory pages, with a lot of scheduling policy provided by user configuration, in a multi-programmed system.
-
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
5
Java library for simple managing and solving sophisticated mathematic expressions and equations, based on Reverse Polish Notation (RPN)
-
6
Graphical front-end for GNU Octave. Edit formulas in mathematical notation. Uses Octave (Matlab clone) as a math engine.
-
7
Software tools for building interactive information visualization applications. Prefuse supports a rich set of features for data modeling, visualization, animation, and interaction for both Java (prefuse) and Flash (prefuse flare).
-
8
deegree
OSGeo project deegree
deegree is a Java framework for geospatial software based on the specifications of the OpenGIS Consortium and the ISO. The focus is based on the realisation of OGC specified web services. It is developed in cooperation between lat/lon and the University of Bonn. -
9
This project is a software and a framework implementing a formal specification generation approach. The tool supports the theory on formal modeling, automated composition and formal verification of system specifications.
-
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
10
DIET-PC (DIskless Embedded Technology Personal Computer) is a software kitset enabling IT professionals to build an open source GUI appliance based on commodity x86 (PC), PowerPC (Mac) or ARM (handheld) hardware, using an embedded Linux methodology.
-
11
jBioSignal is java open source GNU GPL software viewer for polysomnographic and biomedical signal processing(EEG, EMG, Snoring, Respiratory signals). © 2008 - UNIFESP / Fabio K. Shiomi / Prof. Dr. Carlos J R Campos
-
12
We introduce a completely visual representation based on typed Mind Maps to represent steps of calculation for a pure untyped lambda calculator, VLM.
-
13
The Multimedia Integrated Modeling System framework is a software infrastructure for composing, executing, and evaluating diverse numerical models of the environment. In this context, "multimedia" means multiple physical media, such as air and water.
-
14
The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)
-
15
The Flow Cytometry Laboratory Information Management System (FlowLIMS) is a web-based software system that gives users the ability to create and manage experiment protocols for the DiVa and FACScan flow cytometers
-
16
Applications for mobile phones with Java installed (KVM MIPS 2), which functions as a calculator to solve basic problems offered to scientists of computing.
-
17
Our aim is to develop a tool that converts textual constraints written in the OCL 2.0 language into instances of the OCL 2.0 metamodel. We use as a conceptual modeling environment the einaGMC tool http://guifre.lsi.upc.edu/eina_GMC/
-
18
Datamixer generates mock data values for various datatypes, including integer, floating precision, datetime, and string. It can generate complex sequences, based on functions and permutations of the basic data series.
-
19
V.R.C.C. (Video Remote Computer Camera) is a freeware and open source system that enables your smartphone to be used as a Webcam and lets you control the smartphone from the PC.
-
20
The SESAME (Simulation of Embedded System Architectures for Multilevel Exploration) software system is an embedded system co-simulation environment and research tool which implements the ideas of the SESAME project at the University of Amsterdam.
-
21
This project provides a framework for the generation of workflow code from high-level models. It enables people with no or little experience in this area to generate workflow code a reasonable time by specifying generation templates and reusing adapters.
-
22
-
23
Java API for implementing any kind of Genetic Algorithm and Genetic Programming applications quickly and easily. Contains a wide range of ready-to-use GA and GP algorithms and operators to be plugged-in or extended. Includes Tutorials and Examples.
-
24
AliCS is a cognitive software whose main goal is to improve the visibility of information by eliminating the troubles created by the redundancy of symbols.
-
25
A platform which hosts battles between Fruit War robots - special java programs. The platform accepts source code as robot, and ranks all robots according to battle result. This project has been totally refined and is now hosted at http://robotypo.appspot.com