Search Results for "computer-aided software engineering"
Sort By:
Showing 215 open source projects for "computer-aided software engineering"
View related business solutions-
Enterprise-grade ITSM, for every businessFreshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
-
Outgrown Windows Task Scheduler?Windows Task Scheduler wasn't built for complex, cross-platform automation. Get a free diagnostic that shows exactly where things are failing and provides remediation recommendations. Interactive HTML report delivered in minutes.
-
1
Selenium
Browser automation framework and ecosystem
Selenium automates browsers. That's it! What you do with that power is entirely up to you. Primarily it is for automating web applications for testing purposes, but is certainly not limited to just that. Boring web-based administration tasks can (and should) also be automated as well. If you want to create robust, browser-based regression automation suites and tests, scale and distribute scripts across many environments, then you want to use Selenium WebDriver, a collection of language... -
2
OpenCV
Open Source Computer Vision Library
The Open Source Computer Vision Library has >2500 algorithms, extensive documentation and sample code for real-time computer vision. It works on Windows, Linux, Mac OS X, Android, iOS in your browser through JavaScript. Languages: C++, Python, Julia, Javascript Homepage: https://opencv.org Q&A forum: https://forum.opencv.org/ Documentation: https://docs.opencv.org Source code: https://github.com/opencv Please pay special attention to our tutorials!... -
3
BinExport
Export disassemblies into Protocol Buffers
BinExport is a disassembly export plugin developed by Google as part of the BinDiff ecosystem, designed for reverse engineering and binary analysis. It works with popular disassemblers including IDA Pro, Binary Ninja, and Ghidra, enabling the export of disassembly data into a structured Protocol Buffer format. This exported data can then be used for binary comparison, diffing, and advanced analysis tasks through BinDiff or other compatible tools. BinExport captures detailed information such... -
4
Mobile Open-Source Software and Tools
Android, UIQ 3.0, Series 60 Edition 5 open-source software
Android, Symbian UIQ 3.0 and Symbian Series 60 Edition 5 open-source software, tools, libraries and themes. Most notable the FX-602P / FX-603P Simulator and the HP-45 Emulator are hosted here. -
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
JAGS is Just Another Gibbs Sampler. It is a program for the statistical analysis of Bayesian hierarchical models by Markov Chain Monte Carlo.
-
6
HEALPix
Data Analysis, Simulations and Visualization on the Sphere
Software for pixelization, hierarchical indexation, synthesis, analysis, and visualization of data on the sphere. Please acknowledge HEALPix by quoting the web page http://healpix.sourceforge.net (or https://healpix.sourceforge.io) and publication: K.M. Gorski et al., 2005, Ap.J., 622, p.759 Full software documentation available at https://healpix.sourceforge.io/documentation.php Wiki Pages: https://sourceforge.net/p/healpix/wiki/Home Exchanging Data with HEALPix (in FITS files):... -
7
Navigational Algorithms
Navigational Algorithms - Marine navigation
- Celestial Navigation: Sight Reduction, Line Of Position, Fix... - Positional Astronomy: Nautical Almanac, RA, GHA, Dec - Coastal Navigation: Range, Bering, Horizontal angles, IALA... - Sailings: Rhumbs, Loxodromic, Orthodromic, Meridional parts... - Weather , Tides - Software: PC, Android https://sites.google.com/site/navigationalalgorithms/ -
8
An open source implementation of the High Level Architecture Run-Time Infrastructure. Focused on modularity and flexibility, Portico provides an extensible environment to support HLA simulation development and research.
-
9
Eclipse 4diac
Eclipse 4diac the open source solution for industrial automation
Eclipse 4diac is an open source PLC environment allowing to implement industrial control solutions in a vendor neutral way. 4diac implements IEC 61499 extending IEC 61131-3 with improved support for controller to controller communication and dynamic reconfiguration. With that 4diac provides the infrastructure for Industrie 4.0 and industrial IoT. Further information and the latest versions can be found here: https://eclipse.dev/4diac/ -
Grafana: The open and composable observability platformGrafana is the open source analytics & monitoring solution for every database.
-
10
Grassroots DICOM
Cross-platform DICOM implementation
Grassroots DiCoM is a C++ library for DICOM medical files. It is accessible from Python, C#, Java and PHP. It supports RAW, JPEG, JPEG 2000, JPEG-LS, RLE and deflated transfer syntax. It comes with a super fast scanner implementation to quickly scan hundreds of DICOM files. It supports SCU network operations (C-ECHO, C-FIND, C-STORE, C-MOVE). PS 3.3 & 3.6 are distributed as XML files. It also provides PS 3.15 certificates and password based mecanism to anonymize and de-identify DICOM datasets. -
11
Cambridge Z88
Software development for 4Mb portable, using Z80 CPU and AA batteries
This project is for the portable computer "Cambridge Z88", produced by Sir Clive Sinclair (of ZX Spectrum fame). We continue to support software development (ROM, 3rd party apps on memory cards and desktop applications). We have moved to https://cambridgez88.jira.com/wiki (development, source code and documentation). However, we continue to publish files for download here. -
12
OpenAPC
An open process control and laser engraving software solution
An extensive and multi-platform visualisation, process control and HMI application that supports many different devices via an open plug-in interface. Beside a visual GUI editor a debugger is part of the package. -
13
McuOnEclipse
Releases of McuOnEclipse projects
Processor Expert components and Eclipse examples and plugins. -
14
TANGO is an object oriented control system for Linux and Windows. It provides a framework in C++, Java and Python for implementing distributed control objects an accessing them via a well-defined API. This sourceforge project a
-
15
SPELL
Satellite Procedure Execution Language and Library
SPELL is a framework composed of an integrated environment for the development and execution of satellite automated procedures. It is capable of running any procedure via different Ground Control System and for any spacecraft. The goal of SPELL is to have a powerful and readable automation language, which can be shared across Satellite Operators and Satellite Manufacturers. If we all use the same language, the cost and the risk associated with automated procedures will go down! SPELL... -
16
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. -
17
detectproj
Automated detection of the unknown early map projection
New scientific software supporting the automated detection of the early map projection and its parameters. Useful for studying and analysis of different kinds of maps with the lack of information about the map projection. The analysis is based on the minimization of residuals between control points on the early and current reference maps. Designed for cartographers as well as for enthusiasts. Available free of charge. The awareness of the map projection is primarily important... -
18
Interlocking system for modular model railroading. The goal is the development of hard- and software for an model interlocking interfacing on the one hand to the model railroad and on the other to the model of the userinterface of an real interlocking.
-
19
OpenDDS
OpenDDS is open source publish/subscribe middleware
OpenDDS is an open source implementation of the Object Management Group (OMG) Data Distribution Service (DDS), providing a publish/subscribe middleware solution for real-time distributed systems. OpenDDS includes development and run-time tools. Full product information, source code, documentation, build instructions, and license information are available from http://www.opendds.org. Commercial consulting, support, and training for OpenDDS are available. OpenDDS is in production use... -
20
TurboVNC
High-speed, 3D-friendly, TightVNC-compatible remote desktop software
TurboVNC is a high-performance, enterprise-quality version of VNC based on TightVNC, TigerVNC, and X.org. It contains a variant of Tight encoding that is tuned for maximum performance and compression with 3D applications (VirtualGL), video, and other image-intensive workloads. TurboVNC, in combination with VirtualGL, provides a complete solution for remotely displaying 3D applications with interactive performance. TurboVNC's high-speed encoding methods have been adopted by TigerVNC and... -
21
PLEXIL (plan execution software)
Plan execution language and executive
NOTE: Since 2022 this hosting of PLEXIL is deprecated. PLEXIL has moved to GitHub at https://github.com/plexil-group/plexil. Documentation is found at https://plexil-group.github.io/plexil_docs. Please use these new locations. PLEXIL is a plan execution language and technology developed by NASA and used in automation and autonomy applications at NASA and in the public sector. This software includes compilers for the language, the executive (runtime environment), and related tools.... -
22
mXparser - Math Parser Java C# Library
A flexible mathematical expressions parser for JAVA, Android, C# .NET
mXparser is highly flexible parser of math expressions. Software provides easy to use API for JAVA, Android, C# .NET/MONO (CLS). Main functionalities: - basic operators, i.e.: +, -, *, ^, ! - Boolean logic operators i.e.: or, and, xor - binary relations i.e.: =, <, > - math functions (large library of 1-arg, 2-arg, 3-arg - - functions) i.e.: sin, cos, Stirling numbers, log, inverse functions - constants (large library), i.e.: pi, e, golden ratio - n-args functions i.e.: greatest... -
23
SBW (Systems Biology Workbench)
Framework for Systems Biology
The Systems Biology Workbench(SBW) is a framework for application intercommunications. It uses a broker-based, distributed, message-passing architecture, supports many languages including Java, C++, Perl & Python, and runs under Linux,OSX & Win32. It comes with a large number of modules, encompassing the whole modeling cycle: creating computational models, simulating and analyzing them, visualizing the information, in order to improve the models. All using community standards, such as... -
24
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. -
25
TA-Lib.git: Technical Analysis Library
Mirror of the TA-Lib project using a Git repository
This project is intended to provide Git access to the code of the original project, TA-Lib, which uses Subversion. It is intended for system integrators wishing to use TA-Lib in their Git-managed project through Git submodules or subtrees. No actual development is being done here; all development happens in the original project.
