Search Results for "computer-aided software engineering" - Page 16
Sort By:
Showing 2437 open source projects for "computer-aided software engineering"
View related business solutions-
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
Save Up to 91% on Cloud Compute With Spot VMsRun batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
-
1
Priority Estimation Tool (AHP)
PriEsT is a decision making tool for Analytic Hierarchy Process (AHP).
Priorty Estimation Tool (PriEsT) is a decision analysis tool. You can use it for ranking the options you have, or alternatively, you may use it for resource allocation (budgeting) problems. In PriEsT, you enter a list of available options and then define your criteria for prioritization. After defining criteria, PriEsT allows you to enter your judgements against each criterion, which are then used to calculate the final ranking (or weights). Please cite this if you find it... -
2
-
3
SAJaS
Simple API for JADE-based Simulations
The Simple API for JADE-based Simulations (SAJaS) is a proposal to bridge the gap between MAS simulation and development. SAJaS enhances MABS frameworks with JADE-based features. While empowering MABS modellers with modelling concepts offered by JADE, SAJaS also promotes a quicker development of simulation models for JADE programmers. In fact, the same implementation can, with minor changes, be used as a large scale simulation or as a distributed JADE system. SAJaS provides, for certain... -
4
MGSyn
MGSyn - Automatic Synthesis for Industrial Automation
MGSyn (Model, Game, Synthesis) is an open-source tool which integrates game-based synthesis into model-driven development for industrial control and automation. It is served for research and educational purposes. MGSyn has been originally developed by Department of Informatics (Unit 6), TU München and fortiss GmbH and is now maintained by fortiss GmbH. The software is released under the GNU General Public License Version 3.0 (GPLv3). Please download the tutorial for step-by-step... -
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.
-
5
jSulfoQuant
Sb/(Sb+As) content ratio determination of the sulfosalts minerals
A computer program for a fast and accurate determination of Sb/(Sb+As) content ratio in the tetrahedrite-tennantite and bournonite-seligmannite solid solution series by at least one spectral parameter (band position or relative intensity) of their Raman spectra. -
6
Collection of reusable componentized Design Patterns implemented in Java. The implementations will not be limited to those from GoF. Long term aim is to provide a full catalog of Software Engineering best practices in Java along with show case demos.
-
7
FileProtocol
File Access from your Browser
Bottom-line File Access using your browser File explorer, File download, File upload, Direct Links -
8
PANTHER project: software for modeling of protein sequence and function evolution, and tools for applying these data to the analysis of genome data, expression data and coding SNPs. Details available at http://www.pantherdb.org.
-
9
PesoLib
Biblioteca para obtenção de peso de itens sobre balanças
PesoLib é uma biblioteca que é capaz de detectar e conectar-se à uma balança plugada no computador, os pesos podem ser recebidos sem a necessidade de solicitação, ou seja quando um item for colocado sobre a balança a biblioteca enviará o peso automaticamente para sua aplicação. -
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.
-
10
The Virtual Math Teams (VMT) Project (vmt.mathforum.org) at the Math Forum enables K-12 math collaborative learning, professional development of educators, & group cognition research. VMT is now integrated with GeoGebra (http://www.geogebra.org/).
-
11
Ship Lock Scheduling
Scheduling lockages at ship locks with several parallel lock chambers
This Java software includes algorithms of combinatorical optimization for the NP-hard offline ship lock scheduling problem. Solutions and performed computations can be displayed graphically. Besides, there is a framework for generating test instances and running these in parallel, as well as R/JGR code for statistical evaluation. Some tools for estimating the quality of calculated solutions will be further improved. Initially the software was developed within a project of TU Berlin regarding... -
12
-
13
BABA stands for Basic-Algorithms-of-Bioinformatics Applet. This project aims to create a set of bioinformatic algorithms presented didactically. The algorithms available at the moment are: Needleman&Wunsch, Smith&Waterman, Four Russians and Nussinov.
-
14
PriorityPruner is a software program which can prune a list of SNPs that are in high linkage disequilibrium (LD) with other SNPs in the list, while preferentially keeping SNPs of higher priority (e.g., the most significant SNPs in a genome-wide association study).
-
15
Proxy Infortuni INAIL
Gestione telematica della denuncia di infortunio su porta di dominio
Il proxy-infortunio-inail, nato come una esigenza per i consulenti del lavoro di un'associazione di categoria, in particolare la CNA (Confederazione Nazionale dell'Artigianato e della Piccola e Media Impresa), si pone l'obiettivo di abbattere i tempi di compilazione ed invio di una denuncia di infortunio presso INAIL, e di gestire tutte le fasi dell'inter successivo che scaturisce dall'acquisizione della denucia pressso INAIL. Di seguito un elenco delle principali funzionalità : -recupero... -
16
JS/UML is a plugin for the Eclipse IDE that reverse-engineers JavaScript code to a UML model which can then be used to generate documentation and other artifacts.
-
17
Etchimaths(A'LEVEL)
Etchimaths(A'LEVEL) is a typical Mathematics software for A'LEVEL
Etchimaths(A'LEVEL) is a Mathematics software, a helping tool for Mathematics simulation(solving) and study for the GCE ADVANCED LEVEL standard.It is a solving machine as well as a teaching machine -
18
Halstead Metrics Tool
Software Metrics Analyzer for C,C++,Java Programs
...This analysis is based on a measurement analysis framework defined to structure, compare, analyze and provide an understanding of the various measurement approaches presented in the software engineering measurement literature. -
19
BioC
We describe a simple XML format to share text documents and annotation
A minimalist approach to share text documents and data annotations. Allows a large number of different annotations to be represented. Project files contain: - simple code to hold/read/write data and perform sample processing. - BioC-formatted corpora - BioC tools that work with BioC corpora BioC goals - simplicity - interoperability - broad use - reuse There should be little investment required to learn to use a format or a software module to process that format. We are... -
20
G4LTL-ST
Generating PLC programs from formal specifications
G4LTL-ST is a standalone tool and a Java library for automatically generating industrial control software (supporting IEC-61131-3 Structure Text) from LTL or extended logic specifications. See Tutorial.txt inside the package for step-by-step instructions. For technical demails, see CAV'14 paper "G4LTL-ST: Automatic Generation of PLC Programs". The old version (G4LTL; under BSD license) is available under file\arxiv. -
21
Science & Engineering Inventory
Rediscover the Simplicity http://www.atgclabs.com/
Request new Lab Inventory feature or module and receive a free Single User version with new feature. Help us to improve Lab Inventory. We want to hear your feedback! https://www.atgclabs.com/products/li The Lab Inventory System is an innovative, easy to learn full-featured solution for research laboratories. You can quickly and easily upload your existing Excel based inventory and get started in minutes, manage laboratory inventory, place orders and keep track of them in one... -
22
Visualization of Protein-Ligand Graphs
Compute protein graphs. Moved to https://github.com/MolBIFFM/PTGLtools
NOTE: Project moved to https://github.com/MolBIFFM/PTGLtools. The Visualization of Protein-Ligand Graphs (VPLG) software package computes and visualizes protein graphs. It works on the super-secondary structure level and uses the atom coordinates from PDB files and the SSE assignments of the DSSP algorithm. VPLG is command line software. If you do not like typing commands, try our PTGL web server: http://ptgl.uni-frankfurt.de/ -
23
EasyModbusTCP Server Simulator .NET/JAVA
Modbus TCP/UDP Server Simulator and Modbus RTU Slave Simulator
Modbus TCP Server simulator and library for .NET and Java implementation. See Library and source code: www.easymodbustcp.net For Connection to Modbus-TCP, Modbus-UDP clients, and Modbus RTU Master. Server listens at port 502 (can be changed). Shows also Protocol informations. Allows Multiple connections Digital Inputs; Coils; Input Registers and Holding Registers can be viewed and changed in a table-view Version V2.5: - Upgrade Library with new functions Version V1.1: -... -
24
YoMo
You Only Meter Once - The open hardware smart metering system
Researches have shown that immediate feedback can increase energy saving dramatically. YoMo aims to empower people using low-cost open hardware smart meters in their household. The metering system consists of a coordination unit, a raspberry pi, and several smart meters, arduino boards equipped with communication shields and our self-designed yomo metering shield. The smart meters are attached to household devices and monitor their energy consumption. The gathered data is timestamped and... -
25
Opt4J
Modular Java framework for meta-heuristic optimization
Opt4J is an open source Java-based framework for evolutionary computation. It contains a set of (multi-objective) optimization algorithms such as evolutionary algorithms (including SPEA2 and NSGA2), differential evolution, particle swarm optimization, and simulated annealing. The benchmarks that are included comprise ZDT, DTLZ, WFG, and the knapsack problem. The goal of Opt4J is to simplify the evolutionary optimization of user-defined problems as well as the implementation of arbitrary...