Search Results for "computer-aided software engineering" - Page 21
Sort By:
Showing 1360 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
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.
-
2
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.
-
3
Syspect is a tool to specify a system using UML2 diagramms and translate them into a CSP-OZ-DC specification for formal verification.
-
4
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.
-
$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.
-
5
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.
-
6
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.
-
7
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.
-
8
OpenForecast is a package of general purpose, forecasting models written in Java that can be applied to any data series. No knowledge of forecasting is required. Using this package, the most appropriate algorithm for your data will be selected.
-
9
The MASE project investigates methods to support the coordination and executable acceptance testing of software projects. Keywords: Agile methods, distributed teams, Extreme Programming.
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
10
A framework and Java class for rapid development of quiz apps for Android-smartphones. Preview-clip: http://youtu.be/QmBexUPsqm0 I have currently no resources to push this project further. However, if you're interested feel free to contact me - depending on the feedback I receive I might re-arrange my priorities.
-
11
GeneThello (read jə-ˈne-ˈthe-lō), is an acronym for genetic othello, an othello (reversi) playing program which based on Genetic Algorithm (GA). In principle GeneThello consist of an othello program and a genetic algorithm system.
-
12
Volta is a suite of development tools for distributed, hard real-time systems. It includes Cascade, a control flow analysis tool for Java, and Clepsydra, a worst-case execution time analyzer. Also included is a Clepsydra plug-in for jEdit.
-
13
Automatic documentation of JPF components. This project is part of JPF Summer of Code. jpf-automatic-doc is coded as an extension of Java™ Pathfinder from the NASA Ames Research Center under the NOSA 1.3 Licence.
-
14
Geom4J is a computational geometry library for Java. It contains implementation of the most important computational geometry data structures and algorithms coded in pure Java, designed for ease of use and optimized for performance.
-
15
-
16
HephaisTK is a toolkit for rapid prototyping of multimodal interfaces. HephaisTK uses SMUIML, a simple markup language for describing human machine multimodal interaction scenarios and integration mechanisms.
-
17
Context-awareness is a key concept in ubiquitous computing. The Java Context-Awareness Framework (JCAF) is a Java-based context-awareness infrastructure and programming API for creating context-aware applications.
-
18
-
19
This is an independent fork of the ensj-core Ensembl Java API. This version of the API does not receive support from Ensembl. The project is still available under the original LGPL license.
-
20
Its an Eclipse 3.5 Plugin. It can be used to find linear paths for unit testing of any method. The linear path covers all the child methods and till leaf level of the hierarchy. The packages which should be covered in the path can be controlled.
-
21
A openArchitectureWare based Generator for deriving a WS-Agreement document from a formal description of a (Web-)Service and its associated assertions (SLO) to Quality Of Service (QoS). You can use predefined QoS parameters as well as introduce new ones.
-
22
Cca-forum unifies the Common Component Architecture tools and tutorial. It includes the CCA specifications, the Ccaffeine framework for HPC, and related tools. These support multilanguage scientific and parallel computing.
-
23
-
24
JavaML is a complementary representation of Java source code that is based on XML-- the representation targets software engineering and analysis tools
-
25
Daniel Farinha's personal open source repository. This is the place for Dan's sandbox, small utilities, libraries, and other personal projects at incubation stage.
