Search Results for "b-tree"
Sort By:
Showing 16 open source projects for "b-tree"
View related business solutions-
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
1
Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
-
2
Linguistic Tree Constructor
Syntax tree editor for rapid annotation of existing text
Linguistic Tree Constructor (LTC) is a tool for drawing lingusitic syntax trees of already-existing text. It is a syntax editor, not a text editor, so the text has to exist already. It is best suited for large-scale, rapid creation of hand-annotated treebanks. The user can define their own node categories, and can label each node with labels, also definable by the user. -
3
IceDump
Outputs the map of values of a given PHP variable
You can use this package instead of var_dump() or print_r() PHP functions. -
4
BeigeUML
UML diagram editor
...Android version you can find also in Google Play Store. Its source code you can download at https://github.com/demidenko05/beige-uml Source of beige-android-demo (demo of Android tree/file-chooser, list-chooser etc.) still here. -
Earn up to 16% annual interest with Nexo.Put idle assets to work with competitive interest rates, borrow without selling, and trade with precision. All in one platform. Geographic restrictions, eligibility, and terms apply.
-
5
DRAKON Editor
A free cross-platform editor for the DRAKON visual language.
DRAKON is a diagram language developed within the Russian space program. Its primary objective is presenting complex software systems in a way which is easy to understand by humans. DRAKON's motto: took a glance - understood at once. DRAKON Editor helps software architects, quality specialists and developers. Architects and quality assurers can express a high-level view of how their product works. DRAKON serves them to explain the dynamics of a software system. Software engineers can use... -
6
Event-B Generic Instantiation
A Rodin Platform Plug-in for Generic Instantiation
Generic Instantiation tool is developed by HITACHI and ETHZ for Event-B as a Plug-in for RODIN platform. Main features of the tool are as follows: - Generic Instantiation Files for storing information about generic instantiation. - Wizard for creating generic instantiation files. - Editor for generic instantiation files. - Static checker for generic instantiation files. - Performing generic instantiation by creating a new project based on a source project and generic instantiation files. -
7
MBSE for MagicDraw
Plugin for MagicDraw to support MBSE with SysML
...It provides support to generate organizational structures according to the SE2 Cookbook recommendations. It provides basic pattern based support to reason on a system model, for example to extract numbers like total power, cost, power consumption for a given product tree The MBSE plugin for MagicDraw requires MagicDraw 17.0 SP4 or higher with an installed SysML plugin 17.0 SP5 or higher. Installation instructions can be found in the file ReadMe.txt in the download area as well as the corresponding UMs. -
8
The BART (B Automatic Refinement Tool) project aims at developing an automatic refinement tool for B machines.
-
9
Feature Modeling Plug-in is a tool for modeling the features (requirements) of a product line and configuring products. Product configuration is supported by automatic choice propagation and conflict resolution. Visit Home Page for papers, demo, HOW-
-
Secure File Transfer for Windows with Cerberus by RedwoodCerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
-
10
SeaMonster is a security modeling tool for threat models. It supports notations that security experts and analyzers are already familiar with, namely attack trees and misuse cases, and can connect to a repository for model sharing and reuse.
-
11
Simple TreeEditor for making hierarchical json files. Writen on Java-SWT. Tree orderable by dragging, editable by context menu. Have a simple edit panel, with name, and configurable type, and description textarea.
-
12
STDProject (Simple Tree Driven Project) is a modeling tool for software development projects. It will let you build your project, watch its consistency, generate documentation and reuse work from one project to another.
-
13
ISIADIS: development environment for hierarchical software systems. ISIADIS allows prototyping, development and running software systems that are based on hierarchical (tree-like) architecture.
-
14
cite-effect helps understand, validate and refactor programs through static analysis. After building a database, it reports variable's accesses within call tree(s), in a text format suitable for integration into editors (like jEdit or Emacs).
-
15
SATIN is a component model for mobile systems. It is a research project, and allows systems to adapt by a) Reasoning about what they can currently do b) send and recieve classes, objects, components and data. It is used in a number of projects.
-
16
Petri Nets Editor
Simple petri net editor
Simple editor and analyzer of Petri nets. It allows you to build reachability tree with/without instant transitions and Markov chains. It is also possible to set transition distributions and set all the parameters of the current distribution. This project was made as a course project at NTUU "KPI" during attending classes "Computer modelling". Feel free to make any changes to the current version or ask me if you have any question.
- Previous
- You're on page 1
- Next
