Search Results for "computer aided software engineering" - Page 32
Sort By:
Showing 984 open source projects for "computer aided software engineering"
View related business solutions-
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.
-
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
OpenEuclide is a 2D geometry software: figures are defined dynamically by describing formal geometrical constraints. This project is a basic tool for educational purpose: configurations in plane geometry, vector manipulation ...
-
2
-
3
PHP Project Navigator is a web based source browser for PHP. Its parser uses the same YACC grammar as the Zend Engine 2 so it recognizes PHP 5 syntax and inline documentation blocks. Symbols are stored in a database which is queried via a web based GUI
-
4
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.
-
PRTG Catches Network Issues Before They Cause DowntimeReactive troubleshooting usually means hearing about a problem from frustrated users, not your monitoring tool. PRTG sets threshold-based alerts across devices, servers and applications, notifying your team by email, SMS or push the moment a metric crosses a set limit. That means catching a failing disk or overloaded server before it becomes an outage and getting time back from firefighting. Start a free trial and set your first alerts today.
-
5
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.
-
6
-
7
DocBook sml maintains multilingual documentations, generates fully automated artifacts(html,pdf,xml,txt), uses DocBook XSL,Saxon,Xalan,FOP,Lynx, is driven by Ant,Yax, supports Computer Aided Translation and runs standalone or in an IDE like Eclipse.
-
8
Softmaster is a software development management system, which manages products and mid-products generated in software development process, the development plans, test cases, test plans, and bugs, distribute all these things need to do to proper members.
-
9
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.
-
$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.
-
10
Executable UML command-line interpeter and metamodel. Intended future import-export compatibility for proprietary xtUML and iUML metamodels and model compilers. Emphasis on analysis/implementation separation and parallel processing implementations.
-
11
A tool for generating objects that allow easy mapping from java to jndi/ldap data storage and integration of different data sources in a transparent data access layer.
-
12
META is a decision making software which aims are to track computer attackers, computer attacks and to help investigators finding useful elements.
-
13
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!
-
14
jppa is a pointer and purity analysis tool for Java programs. Mainly a purity analysis tool: given a full Java program, it detects pure JML-style methods, i.e., methods that do not mutate existing objects (they may mutate new ones).
-
15
YingMing is a PHP5 framework to quick develop of web based systems, using a code generator to do the CRUD operations based on the database. It provides functions and templates to quicky create forms and lists.
-
16
A CASE tool provides a GUI design environment and code generation to support an XML-based Architecture Description Language (ADL). The ADL can be used to formally specify the software architectures of complex component-based systems.
-
17
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.
-
18
ETH Lecture Communicator is a tool to improve the interaction in the classroom. The software enables the instructor to create and carry out in-class online-assessments and facilitates organized and instant two-way communication for big classes.
-
19
OAR (Offender Acknowledgement of Responsibility) is to provide a multi-therapy approach to the problem of recidivism in our current penal system, using open-source software.
-
20
-
21
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.
-
22
Database, Uml and another diagrams modeling tool. It is intend to be a integrated application that synchronize all diagrams with the final product( Databases, Code, Documents ).
-
23
JTombstone is a program for finding dead code in your Java programs. It reports on dead code at the method level, by processing Java class files. No source code is needed to use it. JTombstone is a Java program and requires JDK 1.4 or later.
-
24
-
25
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
