Search Results for "computer-aided software engineering" - Page 3
Sort By:
Showing 176 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.
-
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.
-
1
xorlisp
Bit level lambda continuations and nothing else - Queue automata
Not working yet. To deal with the Halting Problem, computing and data are navigated using debugger ops: linearForward and treeForward, which navigate an astronomically large bit string where 1 is ( and 0 is ). All pairs are derived from (). For example, true is represented as ((()())()), and false is (()(()())). It appears related to the church encoding of lambda where T chooses first parameter and F chooses second, of a pair. Continuations are nearly finished code and are represented as a... -
2
RANGE: produce random genetic transcription networks in the NEMO language, which when compiled outputs models in Systems Biology Markup Language. Generate synthetic microarray data, or use NEMO alone to SBML-ize a network, or visualize it in cytoscape.
-
3
jMDFLib
This is a small Java library which reads MDF Files up to Version 3.00
This Library for Java shall enable developers to use (at first read, maybe later writer) MDF Files, as described by the Format Specification MDF Format by Vector Informatics. The MDF file format is widely used in automotive engineering and other fields for the recording of measurement data. This Java library parses MDF files and enables different kind of read access. If this library is not helpful for a particular purpose it can at least be used to see how the parsing (and therefore... -
4
The library for utilization of Minimal Quadtree format for storing very large sparse matrices. Please see the paper referenced below for the description of a problem. Corresponding papers: Tree-based Space Efficient Formats for Storing the Structure of Sparse Matrices (I. Šimeček, D. Langr, P. Tvrdík), In Scalable Computing: Practice and Experience, volume 15, 2014. Space Efficient Formats for Structure of Sparse Matrices Based on Tree Structures (I. Šimeček, Daniel Langr, Pavel...
-
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
IMG2GSLIB
Converts images to GSLIB grids -NEW: 3D support.
IMG2GSLIB is a small command line tool that converts images to grids into GEO-EAS format readable by geoscientific software such as GSLIB, SGeMS, Isatis, Gocad, Petrel, etc. It now can output 3D volumes from image stacking. The ASCII result is sent to stdout, so you can redirect it using the > operator if you want to save it to a file. Run java -jar IMG2GSLIB.jar without arguments to get help on usage. Requirements: -Java 1.7 -
6
A reverse engineering, metamodel driven tool that scans PHP files and directories, and delivers an UML/XMI representation of the classes / packages found. The XMI code that it generates can be imported into any UML modeling tool. It is available on PEAR.
-
7
Java based astronomical logging software which stores it's data in a free and open XML based format (OpenAstronomyLog). Discontinued project: Please check out the fork: https://github.com/capape/observation-manager for an updated version
-
8
Human Speakable Programming Language
foundation of the General Intelligence Operating System
HSPL is Human Speakable Programming Language, allowing for communication between human-to-computer and human-to-human in the same language. This project has moved to http://sourceforge.net/p/spel We are currently working on human-to-computer programming-language with mostly English base vocabulary. Though once we have that, we plan to add support for other world Languages, including Chinese, Spanish, Russian, Arabic, Hindi, among others. Eventually HSPL shall be the... -
9
LGML
LGPL GML parser
LGML is a GML parser under the LGPL license. The aim is to parse a GML document or fragment in order to get a WKT output. 2D and 3D inputs are both handled, but it is not permitted to have mixed geometries. The caller can choose if the input coordinates are parsed as X, Y, Z (if present) order, or Y, X, Z (if present) order. The willing of the project is to be a starting point useful for developers that need to parse GML objects in order to use them, for example, in the context of OGC... -
$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.
-
10
trafalgar.map
Open Street Map (OSM) tools, OSM/XML parser, tag extractor
This is going to be a set of tools which is intended to be used with huge OSM files like the planet files in XML format. The parser reads directly from packed *.gz files and it is not needed to unpack the OSM/XML data files to the local disk. Now in 0.3.0: osm_tags: tag analyzer (like tag watch) osm_split: split osm file in single files for nodes, ways and relations and collect some meta information (will be used as input for other tools). osm_cut: create rectangular... -
11
Note: The project has moved to https://github.com/pyhys/minimalmodbus The files available here are very old, download from Github instead. MinimalModbus is an easy-to-use Python module for talking to instruments (slaves) from a computer (master) using the Modbus protocol, and is intended to be running on the master. Example code includes drivers for Eurotherm and Omega process controllers. The only dependence is the pySerial module (also pure Python). This software supports the ‘Modbus RTU’ and ‘Modbus ASCII’ serial communication versions of the protocol, and is intended for use on Linux, OS X and Windows platforms. ...
-
12
PHDL
An HDL alternative to PCB graphical schematic capture tools.
PHDL is an HDL that functions as an alternative to mainstream graphical schematic capture tools. The language is compiled into a pcb netlist which can then be imported into a layout tool. We are currently on version 2.1 of the tool. We have created an eclipse plugin version of the tool as well as a standalone command-line based version. Both function identically and output a netlist that can be imported into a pcb layout tool. VHDL revolutionized how FPGA designs and digital logic... -
13
XML-Parser Library for BR-Automation PLC
Simple to use XML-Parser/Composer Library for B&R Automation PLC (SPS)
The Library xmlio is a simple to use non validating XML-Parser/Composer for B&R Industrial-Automation PLC (B&R SPS). It reads and writes Process-Variables including Structures from and to XML-Files. Easy to use: #include <xmlio.h> /* Write Variable to XML-File */ status = xmlWrite(strName, strFile, strDevice, 0); /* Read XML-File into Variables */ status = xmlRead(strFile, strDevice, ignoreUnknown, &line, &character); -
14
Hilbert II - QEDEQ
proof verifier for mathematical proofs and documentation generator
In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started. -
15
Dependency Discovery Tool
A tool for discovering external dependencies in Office files.
The Dependency Discovery Tool searches through binary office files (.doc, .xls and .ppt) and tries to find any documents or files that are linked to the document. It is written in java, using the Apache POI libraries ( http://poi.apache.org ) This project was part of a summer scholarship from the School of Engineering and Computer Science at Victoria University, Wellington (http://ecs.vuw.ac.nz) in conjunction with Archives New Zealand ( http://archives.govt.nz ). At the moment it requires Java 6 to build and run, but this should change soon, and it will run on Java 5 upwards. -
16
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.
-
17
Easy Equations
Hand Written Equation Creator
Easy Equations is a utility using which one can write the mathematical equations. The focus of this utility is to provide user friendly access to write mathematical equations which is helpful for students, lecturers, mathematicians and Research persons who prefer using mathematical equations in a document, PowerPoint or web sites. Works on Windows as well as Linux platforms. Software Requirements: JDK 7 or higher. Linux Platform with kernel version 2.7 or higher.(for Linux users).python... -
18
The proposed Geospatial Meta-ontology is useful for conceptualizing and modeling the geospatial object characteristics in the context of software engineering. This ontology establishes the fundamental modeling concepts to be used in the target ontology.
-
19
GDLEditor
Web-based editor for the Gateway Description Language (GDL).
Web-based editor for the Gateway Description Language (GDL). -
20
MpcReader retrieves comet and asteroid orbital data in MPC format from the web and store it on your computer in different formats. The data is fetched from the MPC. The main job of MpcReader is to convert plain MPC data to the format needed for KStar
-
21
CocoCommons
Modern, cross platform library of functions used in CoCo software
This is a modern set of libraries intended for use in software related to the Tandy Radio Shack Color Computer (the CoCo). Some functionality may also be useful in more general Motorola 6809 centered projects. CocoCommons provides a set of libraries for common tasks such as reading DECB and RBF filesystems, interpretting common file formats, and displaying CoCo-like screens. These are used extensively in the DriveWire 4 project and the upcoming nineserver project. ... -
22
hex2file
Tool to convert hexadecimal files to custom file formats
hex2file is a tool to convert Intel hexadecimal files into custom file formats and it also display the hex file contents in different views. -
23
C++ Airline Travel Solution Provider
C++ Airline Travel Solution Provider
The name has changed: that project has become the Airline Travel Solution Provider, AirTSP for short. -
24
Tonic EPC
.EPC (Electronic Product Code) Encoding/Decoding Library for .NET
Tonic EPC is an EPC (Electronic Product Code) Encoder/Decoder library written in C#. It aims to support the latest EPC TAG Data Standard (see http://www.gs1.org/gsmp/kc/epcglobal/tds/) with focus on id and tag uri handling. Have a look at the project wiki for further information. -
25
XMLtoRDF
Program to transform any XML document to a RDF one.
...This program should be able to parse almost any scenario so far to make a full-valuable RDF file, where every pieces of scenario has their own URI. This project is from University of West Bohemia in Czech republic, required to Fundamentals of Software Engineering (KIV/ZSWI).