Search Results for "computer-aided software engineering" - Page 2
Sort By:
Showing 55 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.
-
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 "JTAG-GDB server" is a program for integrating the ARM-Embedded ICE logic with the GNU-Debugger GDB.
-
2
-
3
A set of tools relating to an educational processor used in teaching Computer Architecture at the University of Ottawa. Currently includes a working assembler and a semi-functional emulator/debugger.
-
4
This is a open source edited Version of the FTC controller station. the difference between the FTC controller station and the Field Timer is that the Field timer has a Timer attached to it that starts and stops the robot at the correct time
-
$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.
-
5
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
-
6
l3lang is a persistent Python-like language and the l3gui provides a worksheet-like interface where computed values can be examined via simple selection and scripts can be assembled as structures.
-
7
Codemon is a testing tool that enables code coverage of C codes. It supports the level of Decision Coverage and Condition Coverage.
-
8
QUASI is stand-alone AVR RISC processor simulator with debugging features, EDA-like GUI and plugin interface.
-
9
Atemu and Xatdb provide a simulator and debugger for devices and networks made up of AVR microprocessor devices, such as the MICA2 Mote.
-
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
Microdev is a complete development tool dedicated to microcontroller based boards. It is composed of a graphical and real time simulator and a full featured editor supporting Picbasic, JAL and Asm.
-
11
This project aims to implement an LC2/LC3 assembler and simulator for the Linux and Windows platforms.
-
12
NEmu is an emulator/simulator for exploring computer architecture. It provides a virtual machine, a debugger, and simulations of various cpus and hardware. NEmu is built on top of ALib, my own application framework.
-
13
-
14
Binutils, gcc, gdb and glibc re-targeted for MIPS R3000R and R5900 as shipped in PlayStation and PlayStation 2 video game consoles, both from Sony Computer Entertainment Inc.
-
15
A tool to monitor and analyse data transmitted between clients and a server through a TCP connection. This tool focuses on the data stream (software layer), not on the lower level transmission protocol as packet sniffers do.
-
16
The XPS is a scalable platform for meta-programming and domain engineering. It provides a virtual machine, compiler, and runtime library that make it possible to efficiently develop, debug, and run programs based on XPL (eXtensible Programming Language)
-
17
JTAG base library, ARM7TDMI and MIPS debugger stubs for GDB. Extendable architecture to add JTAG device drivers, debuggers, and custom JTAG applications.
-
18
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.
-
19
GPICD - The GNU PIC Programmer and In-Circuit Debugger. GPICD is an open-source Programmer and In-Circuit debugger for the Microchip (TM) PIC (TM) family of microcontrollers. It is an ideal complement for the gputils development tool set.
-
20
Language used: c++ Libraries used: fltk OS: Linux Problem Description: Jtag management software for CPLD and jtag aware chips Major features: X11 UI, c++ platform for jtag apps Data formats: jtag, bsdl, binary Derived from existing project "jtag"
-
21
VICS, Verification of an Implementation Conforming to its Specification, aims to check the correctness of a refinement of the B formal method (http://www-lsr.imag.fr/B/Bsite-pages.html). More info on http://vics.sourceforge.net
-
22
-
23
The beSee-2-x architecture brings JVM wide instrumentation for AOP systems, independant from bytecode kit (BCEL, Javassist). A plugin is provided to instrument BEA WebLogic (v7) for tracing purpose (servlet->EJB->CMP->DB), with full JMX capabilities.
-
24
This is a simulator for the SMIS research MRI consoles. It executes compiled pulse sequences, and emulates the MR3040/50, MR3031, and RF cards. If you have an SMIS scanner, you will find this a useful pulse sequence development aid.
-
25
A suite of reverse engineering tools for ELF executables and any operating system that supports it, including numerous gdb patches.