Search Results for "computer-aided software engineering" - Page 39
Sort By:
Showing 3450 open source projects for "computer-aided software engineering"
View related business solutions-
$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.
-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
1
CANStream
An applicaton for CAN bus coms development, testing and validation
CANStream is a .NET application intended to be used for CAN (Controller Area Network) bus communication development, testing and validation. CANStream allows to extensively test any system using CAN communication by sending and receiving CAN frames. Thanks to its powerful built-in mathematical expression evaluator, CANStream can also behave as a real control system feeding back the test device or commanding a third party device with context sensible data. Extended data logging and data... -
2
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. -
3
Behaviour Control Framework
A C++ framework that uses inhibition trees for behaviour control.
The Behaviour Control Framework is a generic platform-independent C++ framework that implements a control architecture consisting of a hierarchical network of behaviour layers. These layers each contain behaviours that can inhibit one another and interact to achieve control. A full discussion of the structure and ideas behind this framework can be found in the Doxygen documentation that comes with the release. This documentation is well worth a read before you decide if the library is for... -
4
State Controller Library
A C++ framework that implements generalised finite state machines.
The State Controller Library is a generic platform-independent C++ framework that allows finite state machines and multi-action planning generalisations thereof to be realised. The structure and implementation of this library focuses on the application of finite state machines to real-time control loops, but can be reasonably adapted for virtually any other application, even completely unrelated to control systems. An emphasis has been placed on having very low overhead so as not to hurt... -
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
5
Attitude Estimator
A C++ implementation of a nonlinear 3D IMU fusion algorithm.
Attitude Estimator is a generic platform-independent C++ library that implements an IMU sensor fusion algorithm. Up to 3-axis gyroscope, accelerometer and magnetometer data can be processed into a full 3D quaternion orientation estimate, with the use of a nonlinear Passive Complementary Filter. The library is targeted at robotic applications, but is by no means limited to this. Features of the estimator include gyro bias estimation, transient quick learning, multiple estimation algorithms,... -
6
coreflightexec
NASA Core Flight Executive framework for embedded applications
OBSOLETE - Please proceed to new repo: https://github.com/nasa/cFE This project will be closed in the near future ALERT: The cFE-6.5.0a release package is now available. This package includes the assert based unit test tool under the /tools directory. This tool is also available under the cfs-ut-assert project. This release package also includes a few minor updates/corrections to documentation. No source code updates were made in the cFE-6.5.0a release package. The Core... -
7
algorithms.js
Classic algorithms and data structures implemented in JavaScript
Traditional Computer Science algorithms and data structures implemented in JavaScript. Algorithms such as collatzConjecture, extendedEuclidean, fastPower, fibonacci, findDivisors, fisherYates, gcd (Greatest common divisor), greatestDifference, lcm (Least common multiple), newtonSqrt, nextPermutation, powerSet, reservoirSampling, shannonEntropy, etc. -
8
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: -... -
9
An open-source implementation of our network-based target deconvolution approach, named target addiction score (TAS). License: The TAS R-package is made available under the terms of the GNU General Public License, which means that the source code is freely available for use within other software, but if you alter the code and distribute it, you must make the new source code freely available as well. This software is distributed in the hope that it will be useful, but WITHOUT ANY...
-
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
10
PingPong Simple
Simple single player Ping Pong game
during my army services i had access to a useless 1 GB ram desktop computer with a Pentium 4 processor. i wanted to have a little bit of fun so i decided to create a simple game while at the same time having no resources at all ... well actually to be honest i had access to notepad "the best code editor in the world" at this moment i had only one question how can create this game while having no programming languages installed ... after thinking i found out that i can still use the... -
11
Manga Bot
Download manga over the world
This tool aims to download manga from the internet to see them offline later. Feel free to feedback to me any errors and new features you want via email dangduy2910@gmail.com or leave comments here. Thanks for using it. Supported sites: === Vietnamese === blogtruyen.com vechai.info manga24h.com truyentranhtuan.com truyentranh8.net izmanga.com otakufc.com truyen.academyvn.com lhmanga.com === English === mangafox.me mangapark.me -
12
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... -
13
JavaCá&Lá
A Java Distributed Shared Memory Middleware
How can we easily develop applications for multicore or multicomputer architectures? We frequently use middlewares for that problem, but they are often complex and less productive. This way, at DECOM-UFOP, we have a middleware, named JavaCa&La or just JCL, to build portable and scalable solutions over many high performance computer architectures. Our middleware APIs is simple, intuitive and designed for young and senior programmers who don’t have high performance programming skills. Using... -
14
tGlue
Glue Libraries for Users as an Environment
A platform-independent environment to glue developed libraries (such as different quantum-chemistry libraries) together for research, education and further development. Git repository: https://gitlab.com/groups/tglue -
15
ICon (Input Configurator) is a Java-based system for managing input devices and building advanced interaction techniques using a dataflow model. It contains a runtime engine, a rich library of input devices, several processing modules and a visual editor.
-
16
Inno Setup Toolbar Advanced for VB6
Deploy Visual Basic 6.0 Applications Easily
The best alternative or even a successor to Package Deployment Wizard. You can now deploy applications straight from your Visual Basic 6.0 projects via Inno Setup by using this Visual Basic Add-In. It is fork and improved version of Inno Setup Toolbar 2.0 by Coder_Ghost of Planet Source Code inheriting the characteristics of Package Deployment Wizard. Now the deployment of applications written in Visual Basic 6.0 is now much more easier and less troublesome than before. System... -
17
pyhard2, control hardware from python
An object-oriented framework for the development of instrument drivers
pyhard2 is an object-oriented framework to help in the development of instrument drivers. pyhard2 is proposed as an alternative to LabVIEW. Emphasis is given on serial drivers but the framework can be used with any socket. The source also contains the implementation of a PID controller and a setpoint ramp generator. The instrument drivers may further be incorporated in a GUI, using, e.g. PyQt or PySide. Threading is automatically taken care of. Furthermore, generic GUI (called... -
18
QAdvancedItemViews
QAdvancedItemViews (QAIV) extends the capabilities of QTableView
QAdvancedItemViews (QAIV) extends the capabilities of the Qt classes QTableView and QSortFilterProxyModel. E.g. QAdvancedTableView supports multicolumn filtering and includes a header view alowing users to create, modify and delete filter. Additional utility classes provide proxy models for conditional decorations, groupings and a lot more. -
19
The Systems Biology Results Markup Language is a language describing data. Unlike flat data formats, SBRML allows describing the origin of the data as well. This project hosts a library and tools for using SBRML.
-
20
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,...
-
21
-
22
Python Variable Variables Manager
a python manager class for named variables (variable name is variable)
Addressing the question for variable variables in python (i.e. variables with variable names), which has been posed on stackoverflow: http://stackoverflow.com/questions/1373164/how-do-i-do-variable-variables-in-python The consensus is to use a dictionary for this. This is a good idead, however, there are many aspects arising from this: * you'll yourself be responsible for this dictionary, including garbage collection (of in-dict variables) etc. * there's no locality for variable... -
23
Logi (Local Observations to Global Integration) transforms several local coordinate systems (composed of polar measurements) into a global spatial uniform network with respect to the Guide to the Expression of Uncertainty in Measurement (GUM).
-
24
PingPongPro
Find ping-pong signatures like a pro
IMPORTANT NOTE: This project has been migrated to GitHub and is no longer maintained here. Please refer to: https://github.com/suhrig/pingpongpro Piwi-interacting RNAs (piRNAs) are a class of small non-coding RNAs, predominantly active in the germ line. There, they limit the detrimental effect of transposons on the genome. They do so by forming a complex with Piwi proteins. The complex binds and then cleaves mRNA molecules of active transposons. The resulting mRNA fragments induce the... -
25
MSAProbs: Multiple Sequence Alignment
One of the most accurate multiple protein sequence aligners
MSAProbs is an open-source protein multiple sequence ailgnment algorithm, achieving the stastistically highest alignment accuracy on popular benchmarks: BALIBASE, PREFAB, SABMARK, OXBENCH, compared to ClustalW, MAFFT, MUSCLE, ProbCons and Probalign.