Search Results for "computer-aided software engineering"
Sort By:
Showing 59 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 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.
-
1
DAE Tools Project
Object-oriented equation-based modelling and optimisation software
DAE Tools is a cross-platform equation-based object-oriented modelling, simulation and optimisation software. It is not a modelling language nor a collection of numerical libraries but rather a higher level structure – an architectural design of interdependent software components providing an API for: - Model development/specification - Activities on developed models, such as simulation, optimisation, sensitivity analysis and parameter estimation - Processing of the results, such as... -
2
EcoLab is a C++ based Agent Based Modelling system, with emphasis on high performance computing for scaling to large simulations.
-
3
DMF: Distributed Multiplatform Framework
Development framework including code generator and UML ex/import
A component based programming framework. This project is aimed to support various target frameworks. A wxWidgets based GUI application is the major sample which also provides rapid database GUI design with UML import and export (db reverse engineering). -
4
ConceptBase.cc
A Database System for Metamodeling and Method Engineering
...ConceptBase.cc is developed by the ConceptBase Team at University of Skövde (HIS). ConceptBase.cc supports Linux, Mac OS X and Windows. ConceptBase.cc is free software distributed under a FreeBSD-style license. -
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.
-
5
Xtu
Xtu is a framework for implementing Platform specific xUML models
Xtu is a support framework for implementing Platform specific models (PSM) using the xUML methodology. xUML is a formalized methodology for Model based systems engineering (MBSE) targeted at SW and HW development. Xtu implements the xUML elements Domains, Bridges, Signals, Classes, States, Events & Finite state machines. Xtu targets C++11 & STL compatible PSMs. -
6
TRANSIMS is an integrated system of travel forecasting tools for modeling regional transport systems. For more information, visit http://code.google.com/p/transims/
-
7
Z Word Tools
Write, check, index and diagram Z specifications in Microsoft Word.
Tools to allow Z specifications to be written in Microsoft Word. Includes a unicode font for Z symbols. Provides: WYSIWYG editing fully integrated into Word; Typechecking using fuzz (for Spivey Z) or CZT (for ISO standard Z); Indexing and cross-referencing; Diagrams of specification structure; Conversion from Spivey to Standard Z- also available as a stand-alone program and Java class for non-windows users. See project website for details. -
8
Quan is designed to model physical quantities in C++ programs. Advantages include automated dimensional analysis checking, automatic unit conversions, self documentation of code.
-
9
The object-oriented modeling tool enables you to design and store diagrams (included in the ICONIX design process) in text and graphics, analyze the contents of diagrams, and create project reports. Diagrams are defined using a simple and intuitive language PlantUML. For the full operation of the application, graphviz is required. Link: https://graphviz.org/ Report an error or suggest an improvement:...
-
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.
-
10
Cppfunct implements run-time C++ function objects, with creation, invocation, manipulation, and combination. The function object concept abstracts ways to parameterise other classes beyond simple static values.
-
11
DD Thought Tickler is a thinking process recorder. It is a kind of vector graphics editor and idea processor. It has new function not ever known. It records your thinking process, by memorizing every steps that you've operated on this tool.
-
12
SINVAS UML
UML Modeling Tool for MDD-based Analysis/Design
SINVAS is a software engineering platform tool to support Full Life Cycle of software development, and is composed of five products. SINVAS acquires Traceability, recyclability and visibility of software development. It will help greatly to the improvement of productivity and product quality. If you send various proposals, functions and bugs of SINVAS to us, we will reflect in the ongoing product development. -
13
SINVAS
Software Engineering Full Life Cycle Support Tool
SINVAS is a software engineering platform tool to support Full Life Cycle of software development, and is composed of five products. SINVAS acquires Traceability, recyclability and visibility of software development. It will help greatly to the improvement of productivity and product quality. If you send various proposals, functions and bugs of SINVAS to us, we will reflect in the ongoing product development. -
14
That project aims at providing a clean API, and the corresponding C++ implementation, for the basis of Airline IT Business Object Model (BOM), ie, to be used by several other Open Source projects, such as RMOL, Air-Sched, Travel-CCM, OpenTREP, etc.
-
15
StochKit is an extensible stochastic simulation framework developed in C++ that aims to make stochastic simulation accessible to practicing biologists and chemists, while remaining open to extension via new stochastic and multiscale algorithms. StochKit is part of the StochSS project [http://www.stochss.org/], and we are relying on continued funding for sustained development. Please consider registering to show your support. Register here:...
-
16
Tool support for creating FMC* diagrams [Block diagrams, Petri nets, Entity-Relationship diagrams (ERD)] in MS-Visio 2000 and newer. Features: stencils, consistency checking, Petri net simulation, exporter e.g. pdf, ... *Fundamental Modeling Concepts A stripped down version of the stencil set is available for TAM (Technical Architecture Modeling of SAP). This set uses UML notation and contains Block, Activity, Sequence, State, Class, and Component diagrams. It doesn't contain Simulation,...
-
17
C++ template library for modular construction of factored probabilistic time-series models, model trainers, and recognizers.
-
18
Travel Market Simulator
Travel Market Simulator
That project aims at studying the impact of IT systems interactions on traveller demand and airline revenues. Passenger demand is generated (Monte Carlo) and injected into simulated CRS and airline IT systems. Differential analysis is then performed on various changes compared to a bottom line scenario. -
19
BioGears
Human Physiology Engine
This project has moved to GitHub https://github.com/BioGearsEngine/Engine -
20
itemis CREATE - formerly known as Yakindu Statechart Tools (SCT) - is a tool for the specification and development of reactive, event-driven systems with the help of state machines. It consists of an easy-to-use tool for graphical editing and provides validation, simulation and code generators for different target platforms. Visit http://www.statecharts.org for more information! !! YAKINDU SCT HAS MOVED !! DOWNLOAD FROM https://info.itemis.com/download-yakindu-statechart-tools
-
21
QPNet
Synchronous Petri Nets' emulator
QPNet (Quick Petri Net) is a fast Petri Nets' emulator, created by students of Moscow State Technical University of Radio Engineering, Electronics and Automation. It brings benefits for the educational process, while being under further development and extension. QPNet это быстрый эмулятор сетей Петри, созданный студентами МИРЭА. Он применяется в учебном процессе, а так же продолжает разрабатываться и эволюционировать. -
22
-
23
E.N.M.L. means Environmental Noise Model Language. The target of the project is the definition of a XML specification model mainly devoted to electronic acoustic data exchange. ENML aims to format ANY kind of noise measurement.
-
24
-
25
...The pgModeler translates the models created by the user to SQL code and apply them onto database clusters from version 8.0 to 9.1. Please, let me know how the pgModeler is working on your computer! Help to improve this project, give your feedback about the software or report any bug at "Tickets" page. Do not forget to detail the bug and if possible attach a screenshot or model database which expressed the bug. Follow the pgModeler profile on Facebook/Twitter and be up-to-date with new features, fixes and releases. ...