Search Results for "computer-aided software engineering" - Page 32
Sort By:
Showing 1360 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.
-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
1
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)
-
2
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/
-
3
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.
-
4
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.
-
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.
-
5
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.
-
6
-
7
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.
-
8
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
-
9
TestIM is a highly effecient testing/development tool for computer products using industry standard management technology like CIM, WBEM, SMI-S, CDM, and SMASH/DASH. Contact www.Olocity.com for details.
-
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.
-
10
-
11
PROSE is a system that performs controlled, systematic, and efficient modification of the code of running Java applications without requiring them to be shut down. PROSE is an infrastructure that supports software adaptation by extending apps at runtime.
-
12
The project is a collection of Java source codes for EPROG provided by the computer science students at the Technical University of Vienna (Austria).
-
13
SeCSE - Service-centric systems engineering, a project co-funded by the European Commission, provides a set of tools to develop and deploy service-oriented software systems covering all feature of specification, discovery, design, and management.
-
14
Maloney finds documents, mails, photos and many other files on your desktop computer. It comes as a standalone application or as a plug-in for your eclipse IDE.
-
15
The generic adaptivity model engine is a system that allows for easy addition of user modeling functionality to existing systems.
-
16
The BlueDecode frame work is an Open Source Third Party Java Library used for developing more interactive and customized 2D graphical user interfaces in Java using a MVC and object oriented programming approach.
-
17
SymtaP is a performance analysis tool to determine the worst case execution time for embedded real time applications.
-
18
ModelIntegra is a method for model-driven analysis underpinned by an framework that drives automation and assures integrity.
-
19
EAIFramework (Enterprise Application Integration Framework) is a simple, scalable and flexible Message Oriented Middleware (MOM), that provides message routing, filtering and transformation capabilities. It is highly customizable through Spring.
-
20
This project aims at implementing a tool to provide traceability for variable and common features in Software Product Lines (SPLs) to other requirement artifacts.
-
21
AvroraZ is the branch of Avrora from the Cork Institute of Technology, Cork, Ireland aimed at improving MicaZ support thus enabling IEEE 802.15.4 compliant emulations
-
22
Virtual News Reader is a computer desktop application that can convert text (idealy for online news) into Virtual Voice and can be saved on computer. The project is using Java, (JSAPI), FreeTTS (Text-To-Speech synthesis), DJProject, Substance, & other.
-
23
RTP text/t140 Library is a reference implementation for RTP Payload Type for Text Conversation (RFC 4103). The library has source code for encoding and decoding RFC 4103 data, and may be used either as a plug-in to JMF or in a separate RTP sender/receive
-
24
OpenRQ is an open-source software requirements management CASE tool implemented as an Eclipse Rich Client Platform (RCP) application.
-
25
A simulator of Donald E. Knuth's fictitious MIX processor written in Java, which includes support for floating-point arithmetics.