Search Results for "computer-aided software engineering" - Page 41
Sort By:
Showing 2437 open source projects for "computer-aided software engineering"
View related business solutions-
Build Securely on AWS with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
1
jWords is a port of WORDS (by William Whitaker, a free latin-to-english dictionary program written in Ada), to Java. Besides the dictionary will be translated to the German language.
-
2
A Eclipse-based toolset for early verification and validation of goal-based requirements models for the KAOS methodology.
-
3
JSPWikiWinWin Involves the requirement negotiation and elicitation in software engineering and improves the negotiation process based on WinWin Spiral Model, which supports the negotiation in different locations and time
-
4
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.
-
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.
-
5
XDAQ is a software platform designed specifically for the development of distributed data acquisition systems. The development is carried out at CERN, the European Organization for Nuclear Research. Please visit http://xdaq.web.cern.ch
-
6
Framework for making Windows applications that are one .exe file in AutoHotKey_L,C++,C#, VB.NET,Java,Groovy,Common Lisp,Nemerle,Ruby,Python,PHP,Lua,Tcl,Perl,Jint,S#,WSH VBScript,HTML/JavaScript/CSS,COM, PowerShell without compiling . For .NET 4.
-
7
DASM is a new simple platform which helps programmer to implement and evaluate any distributed algorithm. Programmer can implement his/her distributed algorithm using DASM primitives and monitors the results in diagrams during execution.
-
8
This is the page for my MSc project, which concerns the convertion of some UML diagrams into UPPAAL timed automata, in order to apply model-checking.
-
9
IMPACT
Integrated Multiprogram Platform for Analyses in ConTest
Graphical User Interface for a software used to assess adaptive evolution in protein-coding genes. Makes use of several known bioinformatics software. IMPACT is free software, targeted to the scientific community. Maldonado E, Dutheil JY, da Fonseca RR, Vasconcelos V, Antunes A (2011) IMPACT: Integrated Multiprogram Platform for Analyses in ConTest. Journal of Heredity, 102 (3): 366-369. doi: https://doi.org/10.1093/jhered/esr003 -
Host LLMs in Production With On-Demand GPUsDeploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
-
10
jLlama is a desktop application to monitor servers over SSH. Any figure retrieved from the command line can be polled and graphed in real time. Out of the box, jLlama can graph CPU and Memory usage for Linux and Solaris servers.
-
11
Java program to create a (potentially multilingual) glossary of the unique words in any given Lojban text. Note that the Sourceforge page for this was superceded by the Bitbucket repository: https://bitbucket.org/pretoriusjf/vlastezba/overview Any further updates will be made there.
-
12
A tool for application of the QUPER model to quality requirements. Developed as a part in a master's thesis in computer sciences.
-
13
Justhink is a framework for develop artificial intelligence simulations. The Framework provides a simulation software and an API to develop external modules that are plugged into simulation, such as the problem/mission and artificial intelligence modules
-
14
Syspect is a tool to specify a system using UML2 diagramms and translate them into a CSP-OZ-DC specification for formal verification.
-
15
-
16
Web application to make user-friendly requests on large XML database. Tools to XML-ize large bodies of semi-formal texts (like floras). Computer-assisted specimen identification. Uses natural language processing, 2D/3D images analysis and generation.
-
17
ELIA(Eyegaze Language Integration Analysis) supports the analysis of eye-tracking data for studies in language processing. ELIA eases early analysis of data to enable iterative development of experiments in response to spoken language.
-
18
-
19
A linguistic tool to aid in the study of Linguistics/Phonology, specifically distinctive features of possible language sounds. Comprised of both a Visual C++ .NET version as well as a Java based web applet version. The C++ version has all but been ab
-
20
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.
-
21
The aim of ATRACO project is to contribute to the realization of trusted ambient ecologies. Interactive appliances, collaborative devices, and context aware artefacts, as well as models, services, software components are parts of ambient ecologies.
-
22
clinicalStudyTracker
Clinical study tracker tracks case study members through activities.
Developed at Medical Research Council UK to meet a common clinical trial need to track various types of clinical data. Users log dates of completed tasks against participant ID. Simple, useable, reduces lost data! Makes graphical progress reports. -
23
xMxmlCompiler is an eclipse plugin that provides an Eclipse Builder on mxml resource changes and a GUI to the Flex 4 compiler (mxmlc) of the open SDK. It run on GNU/Linux and Windows eclipse platform version.
-
24
A framework for developing multi device and technology capable mobile sites with the Coldfusion language. Initially developed for OpenBD v1.4 (also on v1.5) and tested in Jetty server on a Windows computer. Bundles tested to work in MacOSX and Win.
-
25
K people is a software platform capable of integrating with enterprise systems. It enables workers to improve productivity, while giving management the the means to plan and monitor activity.