Search Results for "computer aided software engineering" - Page 19
Sort By:
Showing 543 open source projects for "computer aided software engineering"
View related business solutions-
Earn up to 16% annual interest with Nexo.Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
-
Veeam Data Platform v13.1Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
1
A complete survey administration and data collection system. A fully featured replacement for Quancept, supporting CAPI, Web, CATI, PDA and Paper survey modes. Sonar is the reference implementation of JCaiF for CAPI and Web survey interviewing. Try it!
-
2
WWW Interactive Mathematics Server, engine to provide interactive educational activities on the web.
-
3
-
4
Enough lame computing! The project for re-desiging and re-writing the computer world, based on old & new ideas that have never been implemented in a practical way. Research in form of discussion is in the public forum at this sourceforge project page.
-
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
Molle is a cross-platform prover for modal logic, which exploits the modal semantic tableaux method. It features a very usable graphical interface, with interactive representation of generated models. Molle is maintained by Politecnico di Milano.
-
6
A formal proof generator for the system of Fitch. Apart from Fitch diagrams it can also be used to generate truth tables or tree diagrams. Good support for hints and single-stepping. This program is used as the engine behind http://logica.ewi.tudelft.nl.
-
7
-
8
A Java based simulation of the MIC1 architecture as described by Andrew S. Tanenbaum in his book Structured Computer organization. In addition a model for interaction with a HD, screen and keyboard are provided.
-
9
META is a decision making software which aims are to track computer attackers, computer attacks and to help investigators finding useful elements.
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
10
MathBase is a productivity environment for mathematical problems and technical applications. You will be able to draw geometrical scenes, compute functions, plot them, and write about them, all easy as 1-2-3!
-
11
JCPUSim is a CPU (Central Processing Unit) simulator written in Java. It is intended to aid in teaching how the fetch-decode-execute cycle, CPU, registers, memory and assembly programming language work in a computer system.
-
12
Recon-Calc is a source code feature location tool based on the Software Reconnaissance technique. It allows you to name features of your system and then, based on coverage profiles gathered, you can find where they are implemented in the source code.
-
13
A Java toolkit of MATIP (Mapping of Airline Reservation, Ticketing, and Messaging Traffic over IP) within a Connection Framework. This will provide a set of libraries for optimized communication link between an airline and a central computer system over
-
14
This software system serves as both a DICOM image viewer as well as a diagramming tool for collaborating notes on the given image sets. This my Computer Science graduate thesis project at Loyola Marymount University.
-
15
jFAST is a simple finite automata (FA) graphical simulation utility; it is designed to feature simple mechanisms for creating, editing, and simulating FA. jFAST is ideal for use by students, instructors, and self-guided explorers alike.
-
16
3d visualization of USGS Digital Elevation Models (DEM). Support for stereo visualization. Written in Java and Java3D
-
17
LogiDist offer a solution of "Computer Aided Logistic" with mostly informative purposes on executed pickups/delivery of merchandise. Is able to manage the whole process of purchase, order management, merchandise delivery to reduce distribution costs.
-
18
Team Assistant (TA) 2006 is a multi function tool for the RoboCup Soccer Simulation 3D.Originally Team Assistant was developed as a Bachelor's in Software Engineering Project at Shahid Beheshti University's Electrical & Computer Engineering Faculty.
-
19
-
20
PARASOL
PARASOL is a C library for implementing computer-system simulations.
PARASOL is a C library for implementing simulations of computer systems. It supports a simulated, user-configured, multiprocessor environment on which user-written software (in C or C++) is executed. -
21
Software from LoCI Laboratory is devoted to information logistics, the study of the flexible coscheduling of the physical resources that underpin computer systems: storage, computation, and data transmission. We use IBP, L-Bone, exNode and LoRS.
-
22
-
23
OpenMAIA. Free Virtual Keyboard Engine for disabled people. An Open Source project totally written in C++ with support of wxWindows library.
-
24
This is the GTK+ port of euler, a program for quicly and interactively computing with real and complex numbers and matrices. It features advanced graphics capabilities and a simple programming language.
-
25
RoboFac is a software system for controlling a hexapod, also known as a Stewart-Gough platform. It features a G-Code interpreter for CNC machining.
