Search Results for "computer-aided software engineering" - Page 7
Sort By:
Showing 182 open source projects for "computer-aided software engineering"
View related business solutions-
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.
-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
1
SSTPong is a breakout style pong game used to test both a player's skill and web services. Players use a paddle to hit a ball towards rows of bricks. When the bricks are hit, computer generated test data is sent to the web service.
-
2
The Distributed Real-time Embedded Analysis Method (DREAM) is a tool and method for the real-time verification and performance estimation of distributed real-time embedded (DRE) systems. Publications: http://www.ics.uci.edu/~gabe/publications.html.
-
3
MergeRight is a graphical tool for comparing and merging multiple versions or revisions of a text or source file, with or without a specified common ancestor, with recommendations for passages in conflict, easy inclusion and exclusion, and live editing.
-
4
Model XML Schema documents in first-order logic using Alloy in order to generate test inputs for applications and prove constraints about documents.
-
$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
Automated computer program grading solutions designed for trainings on computer languages, data structures and algorithms. See http://openjudge.net for details.
-
6
Codemon is a testing tool that enables code coverage of C codes. It supports the level of Decision Coverage and Condition Coverage.
-
7
The Collaborative Testing System (CTS) tests parallel software using various implementations of MPI. It works on multiple platforms and supports batch systems including LSF, LCRM and workstations without a batch system. It includes a numerical diff tool.
-
8
FormatCheck screens flat files looking for violations in the format of the data. It uses a set of XML files that define the rules for each file format. The Swing front-end allows the user to run the verification, view and print the errors.
-
9
Simloc is the tool intended for finding similar chunks (blocks) of code. It could be used in reverse software engineering. It is faster than SimScan, find better blocks than PMD/CPD (not just exact blocks also similar) and could be runed at GRID.
-
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.
-
10
-
11
D-Cog (Declarative-Cognition) is a Java based framework for training software components (reusable, object-oriented, interface-driven components). Instead of programmed, software components are trained by example to get the expected results.
-
12
monitor software for InSystemDebugging of programs running in an AVR target, using gdb/ddd, under linux, with a simple, low cost interface, which can be used for InSystem or standalone Programming as well.
-
13
PHPTuring is a Turing Machine simulator built in Object-Oriented PHP5, using the Test-Driven (TDD) approach.
-
14
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
-
15
YABI93 is an Interpreter for the esoteric programming language Befunge, version "Befunge93". It is written in Java 1.5 and uses Swing for its graphical interface. YABI supports a multilanguage GUI.
-
16
XMLImportDB is an open source database import and comparison library distributed by Burton Computer Corporation under the Apache Software License version 2.0. XMLImportDB is useful for automating unit tests of Java programs that use JDBC.
-
17
CubicProject aims to be a project management web application for agile software delvelopment. It is higly adjustable and focuses on usability and integration with other tools.
-
18
Genesis is a software engineer integrated tool that provides many ways to manage all artifacts related to a software development process. Includes requirements management functionalities, and a complete environment to execute tests.
-
19
Swing Spy is java based Swing/AWT spy agent that prints the widget under the cursor (like Spy++ for Windows/MFC and SWT Spy for Java-SWT). Download from the homepage: http://www.nenoff.com/swingspy/
-
20
InPUT
IoC container for the configuration and design for experimental design
InPUT offers a descriptive and programming language independent format and IoC (Inversion of Control) container for the configuration and design of computer experiments. Code and more info can be found on github: http://github.com/feldob/InPUT -
21
-
22
-
23
viselab
Visual Servoing Laboratory
Java platform to experiment with visual servoing techniques for robotics -
24
A simple and incredibly powerful tool for scripting and fuzzing arbitrary network protocols written using the Chicken Scheme-to-C compiler.
-
25
A bundle of tools for fault injection and -experiments with scope on the emulation of programming faults. Software faults are introduced in the sources of Java applications and can be toggled during runtime.