Search Results for "computer-aided software engineering"
Sort By:
50 projects for "computer-aided software engineering" with 2 filters applied:
-
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.
-
Save Up to 91% on Cloud Compute With Spot VMsRun batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
-
1
JAGS is Just Another Gibbs Sampler. It is a program for the statistical analysis of Bayesian hierarchical models by Markov Chain Monte Carlo.
-
2
Community Z Tools
Tool support for the Z formal notation
Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt -
3
Extracts dependencies and OO metrics from Java class files produced by most Java compilers. Computes API differences between versions. No source needed. Includes both Swing and command-line interfaces, with XSL stylesheets for formatting output.
-
4
EPICS-sumo
A SUpport MOdule manager for EPICS
sumo, the SUpport MOdule manager, is a set of tools to support software development for the EPICS framework. It manages build dependencies and consistent builds of the EPICS support modules. -
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
5
-
6
Gobisoft
Software auto-installation builder
Gobisoft is a batch package builder for applications, it builds a self-install package of your programs. Creates a stand alone executable file that performs the (secured installation and removing) of the elements necessary to distribute your applications. The software offers many possibilities, such as executing commands before and after installation. -
7
ELFIO
A header-only C++ library for accessing files in ELF binary format
ELFIO is a header-only C++ library intended for reading and generating files in the ELF binary format -
8
chklinks is a non-threaded Perl link checker. It helps finding broken links on your website. It does not raises many simultaneously connections for its job, run out of the resources and crash your system in a moment.
-
9
CLISP is a portable ANSI Common Lisp implementation and development environment by Bruno Haible. Interpreter, compiler, debugger, CLOS, MOP, FFI, Unicode, sockets, CLX. UI in English, German, French, Spanish, Dutch, Russian, and Danish.
-
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
10
kodeWeave
HTML/CSS/JS and Markdown Playground For Web Designers and Developers
kodeWeave is a realtime coding playground for HTML, CSS and Javascript. Similar to JSFiddle and JSBin, but kodeWeave was made to work offline but also as a prototyping application to build applications for desktop operating systems while on mobile devices. (PhoneGap Build is recommended for mobile devices) kodeWeave similar to jsfiddle, jsbin, dabblet, liveweave, codepen, cssdeck, cssdesk, tinkerbin, d3 playground, plunker and pastebin, but allows you to export your web app as a desktop... -
11
my-gradle-build
Build tool utilizing gradle
Introducing forks for existing plugins and also combining plugins for a set of build tools to be used with gradle. -
12
The FXL Project Eclipse Plugin leverages the integration of DSLs, (meta-) modeling approaches, code generation and the development of software configuration tools (sw-component-configuration).
-
13
ckon
automatic build tool for ROOT data analysis software
ckon is a C++ program/tool which automatically takes care of compilation, dictionary generation and linking of programs and libraries developed for data analyses within the CERN ROOT analysis framework. This includes parsing include headers to figure out which libraries the main programs need to be linked to. It uses automake/autoconf to be platform independent and GNU install compliant. In addition, m4 macros are automatically downloaded and the according compiler flags included based on a... -
14
-
15
TICO
Interactive communication boards for people with severe disabilities.
TICO is currently a part of ARASUITE!!!! Please, look for ARASUITE in Sourceforge!!!! https://sourceforge.net/projects/arasuite/ TICO is a tool for the design and execution of interactive communication boards. Communication boards are highly used in augmentative and alternative communication (AAC) environments. -
16
Intelligent e-knowledge base engine for any kind of knowledge-based applications, supporting effective knowledge presentation, precise knowledge search, adaptive learning and immediate consulting.
-
17
Decision Table Preprocessor
Ccide is a Decision Table preprocessor.
Ccide reads a source program, in one of several programming languages, expands all embedded decision tables, and generates the new, expanded source. Ccidew processes C language programs directly. The script, ccide, uses ccidew and m4, to process BASIC, JAVA, CC, C++, BASH, QB, VB, and EX(euphoria), source files containing embedded decision tables. Ccide checks all conditions once and only once, avoiding side effects. Ccide checks tables for conflicts and other... -
18
Dataweb Project is a RAD (Rapid Application Development) written in java. It's a client/server framework that allows to develop and to use tables, forms, reports, modules, plugins, services, webservices and other from remote. See project web site.
-
19
With dp4j.jar in your project classpath you directly access private members in your tests, w/o Reflection API boilerplate code; It also generates Design Patterns code and compile-time validates implementations. And Compiler & Co work for you again!
-
20
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.
-
21
"Ant for PDE" allows Ant to build, test and deploy Eclipse plugins and features using Eclipse's native PDE build system.
-
22
CpX is an XML-based lightweight C++ development environment.It’s a philosophy of simple OO software engineering, with a C++ subset & base classes.It has general-purpose useful C++ services & tasks to speed up build.Tired? A Sudoku game is given in CpX as a bonus.
-
23
A collection of open-source build and release tools, useful for creating and configuring software development, release, and QA production infrastructures.
-
24
GenGMF is a model driven generator framework for the Eclipse GMF graph and map models. It will generate large models from a small template model for you. It is based on Eclipse GMF, AspectJ and openArchitectureWare.
-
25
The intention of this project is to provide a freely available application to create and perfom interactive comunication boards to be used by people with severe motor disabilities.