Search Results for "computer aided software engineering" - Page 36
Sort By:
Showing 1082 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.
-
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.
-
1
-
2
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.
-
3
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 ...
-
4
-
One Monitoring Tool for IT, OT and Cloud | Free TrialModern infrastructure spans data centers, cloud platforms and factory floors, and every blind spot between them is a risk. PRTG supports SNMP, WMI, SSH and other standard protocols to monitor IT, OT and hybrid environments through one customizable dashboard. Build the views your team needs, from network health to application performance, without switching tools. Try PRTG free for 30 days now.
-
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
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
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.
-
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
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.
-
11
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.
-
12
Turing Machine Simulator using Quintuples (5-tuples). Intended for primarily for Computer Science education.
-
13
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.
-
14
META is a decision making software which aims are to track computer attackers, computer attacks and to help investigators finding useful elements.
-
15
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!
-
16
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).
-
17
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.
-
18
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.
-
19
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.
-
20
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.
-
21
-
22
Simple UML modeling tool geared towards the beginning object-orientation learner. Can be used in an academic setting to teach UML diagrams. Java code generation from Class diagram is supported.
-
23
DelFileLock is a Win32-only Software and tries to delete or only unlock a file, which is still used and locked by another process. Normal deletes do not work, because of window's generated filesystem-errors.
-
24
Dzine is a case tool for OOAD. Draw use case,interaction,class,deployment,ER Diagrams. Code generation in C++ and java and for SQL. Reverse engg design from code. Just put in your Java or C++ code and generate class diagrams.
-
25
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 ).
