Search Results for "computer aided software engineering"
Sort By:
Showing 98 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 to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
1
PSeInt
A tool for learning programming basis with a simple spanish pseudocode
PSeInt is a pseudo-code interpreter for spanish-speaking programming students. Its main purpose is to be a tool for learning and understanding the basic concepts about programming and applying them with an easy understanding spanish pseudocode. -
2
Quite Universal Circuit Simulator
A circuit simulator with graphical user interface (GUI)
Qucs is a circuit simulator with graphical user interface. The software aims to support all kinds of circuit simulation types, e.g. DC, AC, S-parameter, Transient, Noise and Harmonic Balance analysis. Pure digital simulations are also supported. -
3
Virtual Motherboard
Plug&Play Hardware simulation over a virtual bus system.
The Virtual Motherboard provides a specification of a TCP/IP based system bus, a motherboard simulator implementing this specifaction, and a collection of reusable device simulators. It is the perfect start to build new custom hardware simulators. -
4
Easy to use software for Windows, Mac OS X and Linux enabling you to read and search in many translations of the Holy Bible.
-
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
Typing Commander
Touch typing tutor
Typing Commander is an offline touch typing software for both beginners and advanced typists. If you experience problems with downloading the program, see the page https://typingcommander.com/downloads/ for alternative ways of downloading. -
6
LPub3D
LDraw™ editor for LEGO® style digital building instructions.
LPub3D is an Open Source WYSIWYG editing application for creating LEGO® style digital building instructions. LPub3D is developed and maintained by Trevor SANDY. It uses the LDraw™ parts library, the most comprehensive library of digital Open Source LEGO® bricks available (www.ldraw.org/ ) and reads the LDraw LDR and MPD model file formats. LPub3D is available for free under the GNU Public License v3 and runs on Windows, Linux and macOS Operating Systems. LPub3D is also... -
7
e-foto
A free GNU/GPL educational digital photogrammetric workstation
A free GNU/GPL educational digital photogrammetric workstation The e-foto Project aims to deliver a comprehensive and accessible digital photogrammetric workstation by offering a complete implementation of the software as free and open-source under the GNU General Public License (GPL). e-foto is equipped with photogrammetric functionalities that empower the creation of topographic tridimensional mapping projects. It supports the utilization of aerial photogrammetric images captured by... -
8
CoolingPower
Print Steam Tables; Plot diagrams and cycles from equations of state
CoolingPower is NOT in a condition for use at this time. A couple of bugs have been discovered that severely affect the calculation accuracy. While I troubleshoot, use at your own risk. Once completed, CoolingPower will have the capability to plot diagrams of thermodynamic properties, construct Steam Tables, and plot thermodynamic cycles. Initial fluid will be water/steam, but functionality will extend to include a variety of working fluids. CoolingPower operates in GUI format and, for... -
9
Physics Simulation Software based on user sketchs running a pattern recognition agent, this app is able to animate a physics sketch, from a blackboard
-
Demo Series - Small Business Backup By VeeamWatch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
-
10
BASIC-256 Portable
BASIC language and IDE for Education - Portable
BASIC-256 is an easy to use version of BASIC designed to teach anybody how to program. A built-in graphics mode lets them draw pictures on screen in minutes, and a set of easy-to-follow tutorials introduce programming concepts through fun exercises. This is the portable version of BASIC-256 to integrate into the Potable Apps menuing system. -
11
Fresh Memory
Flashcards application with Spaced Repetition method
Fresh Memory is an application that helps to learn large amounts of any material with Spaced Repetition method. The most important subject is learning foreign words, but Fresh Memory can be also used to learn anything else. The learning data is stored as flash cards and dictionaries. The flash cards may have several fields, and the user controls what combination of fields to learn. The flashcards can have formatted text and images. -
12
AlphaC
Intérprete similar al lenguaje C en Español
AlphaC es un pequeño intérprete similar al lenguaje C en Español, creado en la herramienta Microsoft Visual C++ con fines académicos. El proyecto tiene el objetivo de mostrar el código fuente de un pequeño compilador para ilustrar a los estudiantes las diferentes fases de construcción de un compilador (Análisis Léxico, Análisis Sintáctico y Análisis Semántico). El código está creado de manera bastante elegante de manera que se parece a la sintaxis utilizada en los libros de texto de... -
13
Cache2003
Programa que simula el comportamiento de la memoria caché
Cache2003 es un simulador de memoria caché. El software muestra la interacción que se produce entre la memoria principal y la memoria caché de un computador. El programa permite simular las diferentes políticas de emplazamiento y reemplazamiento de los bloques de instrucciones dentro de las memorias, proporcionando muchas opciones para observar el comportamiento y rendimiento de cada técnica. El software fue realizado en el año 2003 (tal como lo dice su nombre) como proyecto final de la... -
14
Cambridge Rocketry Simulator
Simulate high power rocket flights with splash down plots
This software allows you perform six degree of freedom simulations of High Power Rocket (HPR) and model rocket flights. Parachute descent is also simulated. 3D flight trajectories are produced as well as detailed tabular flight data. Running in Monte Carlo mode allows generates multiple possible flight paths and splash down plots, indicating the probability of landing in an area. Peer-reviewed publication in the Journal of Open Research Software... -
15
TuxMinds
Supports NxT, Asuro, Arduino-Bot and many more. With simulator.
TuxMinds ist ein Programmdesigner mit dem Programme für diverse Roboter ganz einfach "zusammengeklickt" werden koennen. Mit dem eingebauten Simulator können die Programme am PC entworfen und getestet werden. Unterstützt werden die Modelle ASURO, NxT, RcX, ARDUINO-Bot. Eigene Roboterhardware kann integriert werden! Im Bereich "Files/tuxminds_precompiled" finden sich iso-Dateien die direkt auf CD gebrannt werden können. Man startet einfach von der CD und kann TuxMinds ausprobieren - ganz... -
16
Repast
The Repast Suite is a family of free agent-based modeling libraries.
The Repast Suite is a family of advanced, free, and open source agent-based modeling and simulation platforms that have been under continuous development for over 20 years. Current source code and releases are hosted on Github https://repast.github.io/ -
17
OpenAxiom: Scientific Computation System
A system for computer algebra and symbolic mathematics
OpenAxiom is an open source Computer Algebra System. It offers an interactive environment, an expressive programming language, a compiler, a large set of mathematical libraries of interest to researchers and practitioners of computational sciences. -
18
That project (RMOL) aims at giving developers concerned by the Revenue Management arena a library delivering a reference implementation for most of the published algorithms and methods. That library is intended to be used in simulated environment: it does not intend to be used in real world production systems.
-
19
Software for teaching and learning mathematical proofs Where most mathematical proof software concentrates on formal logic (or some other specialty area of mathematics), Lurch aims to be truly general-purpose, with an attracitve user interface.
-
20
-
21
Fork of Synthesia to GNU/Linux. Synthesia is a software which teaches you to play piano using piano-roll-style falling notes with any MIDI file, available under Windows and Mac.
-
22
Enthusiasm is a software framework to be implemented in support to the creation and production of drama-based information presentations. The framework consists of off-line editors and real-time applications.
-
23
3-DPhysicsSim
3-DPhysicsSim is an interactive 3-D physics simulator.
3-DPhysicsSim is an interactive 3-D physics simulator which allows you to create a scene filled with objects and see how the objects act in real-time when governed by the laws of physics. 3-DPhysicsSim was created with the help of Irrlicht, WxWidgets and Bullet -
24
The program evaluates ordinal expressions and relations. displaying the normal form output in plain text and/or TeX format. It supports notations for ordinals through and somewhat beyond those definable by the Veblen function.
-
25
Software de Mapas de Argumentos con interfaz gráfica diseñado con el objetivo específico (aunque no excluyente) de analizar la estructura argumentativa de demostraciones matemáticas, utilizando el modelo de Toulmin. Además, el contenido de los elementos puede ser tanto texto como imágenes, lo que permite guardar como imagen expresiones matemáticas escritas en LaTeX (utilizando software de apoyo como KLatexFormula). Se puede imprimir el diagrama y exportarlo a formato imagen (varios...
