Search Results for "computer-aided software engineering" - Page 2
Sort By:
Showing 92 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.
-
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
1
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... -
2
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... -
3
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. -
4
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. -
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.
-
5
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.
-
6
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... -
7
GDLEditor
Web-based editor for the Gateway Description Language (GDL).
Web-based editor for the Gateway Description Language (GDL). -
8
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
-
9
The metric project supplies, via the web, educational materials in mathematics and mathematics-based subjects. There are interactive explorations of mathematical ideas, self-test exercises, tools and tutorials.
-
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.
-
10
remoteME
Remote computer access through Android devices
remoteME is a good-looking, extremely configurable and open source Android remote controller for your computers no matter what operation system you are using (Linux, MAC OS, or MS Windows). It offers you at least 11 remotes for the most frequent media players plus those which you create by yourself. Remotes for mouse, keyboard, presentation and power control are also included. Before using client application, please be sure you have a remoteME server running on your... -
11
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. ... -
12
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). -
13
SemaRule Navigator is an Integrated Suite of Open-Source and Free-License Software, placing Semantic and Text Analysis Technologies in the toolbox of Researchers, Students, and Enterprises.
-
14
knowceans
Utility classes from maps to search engine to random samplers
Collection of several multi-purpose Java libraries. --- knowceans-tools = collection of Java utility classes. --- Highlights: --- org.knowceans.util: IndexQuickSort, TableList: apply order of one array/list to others +++ Vectors, ArrayUtils: array convenience +++ RandomSamplers, CokusRandom, ArmSampler, Densities: random sampling and distributions +++ Arguments: command line parser +++ StopWatch, Which, ExternalProcess: runtime stuff +++ ParallelFor: OpenMP workalike +++ PatternString,... -
15
Footballer and Football Simulation Markup Language and related Software, Football(er) Simulation Markup Language = FerSML
-
16
This software allows for a user to generate test data. This is useful for testing Hadoop or other data processing clusters.
-
17
GUI utility in pure Java for viewing and editing XML content; example of application built with Superficial http://superficial.sourceforge.net
-
18
The Registry/Repository of Representation Information for Engineering (RRoRIfE) is a Java-based tool for building up and using a repository of information about 2D and 3D modelling formats and format migration software.
-
19
VNC for use with the BrowserMob Selenium JavaScript Validator. This tool is made available for users of BrowserMob FREE Website Monitoring and Load Testing. The BrowserMob Local Validation Service can be downloaded from https://browsermob.com/tools.
-
20
The aim of ALIVE is to develop new approaches to the engineering of flexible, adaptable distributed service-oriented systems based on the adaptation of social coordination and organisation mechanisms.
-
21
Loid is used to work with Java and Objective-C to simplify data exchange bindings. Loid can generate meta-information available at run-time. Requesting clients or applications can inference on the meta-information for data binding.
-
22
LoroDux is planned to be a OSM and Java based multi platform navigation software for mobile devices for blind and visually impaired persons. Release of first alpha version was September 10, 2010. http://wiki.openstreetmap.org/wiki/LoroDux
-
23
Tolk is based on the Spring design pattern to Filter & Translate data from data sources eg.TCP/IP connections, text files, databases and Serial (rs232,usb,BT). Typical applications is to manipulate data and manage devices such as IPICO RFID readers
-
24
Example-based Modeling (EMO) is an tool to create data models, with examples, using a web interface. You interactively create a web-accessible database of models and samples for those models. A white paper describes the underlying assumptions.
-
25
Memomics Forge is a meta-project for software that utilizes the Memomics Semantic Service. Memomics Semantic Service provides semantic data which can be embedded in applications via webservices.