Search Results for "system linux"
Sort By:
77 projects for "system linux" with 2 filters applied:
-
$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.
-
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.
-
1
ECLiPSe CLP
ECLiPSe Constraint Logic Programming System
The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques. -
2
odaba
ODABA is an terminology-oriented database management system and develo
ODABA is an terminology-oriented database management system (TODBMS) on a high conceptual level. It provides a number of enhanced features based on natural language analysis. Terminology orientation allows designing user oriented data models. Enhanced event model and Active Data Link technology support rapid development of GUI applications. Several development, documentation, test and analyzing tools are provided in order to support developers and administrators. .NET interface and a... -
3
DMF: Distributed Multiplatform Framework
Development framework including code generator and UML ex/import
A component based programming framework. This project is aimed to support various target frameworks. A wxWidgets based GUI application is the major sample which also provides rapid database GUI design with UML import and export (db reverse engineering). -
4
EcoLab is a C++ based Agent Based Modelling system, with emphasis on high performance computing for scaling to large simulations.
-
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
5
Sparx' EA - MDG for TRAK
MDG for Sparx' Enterprise Architect to Create TRAK arch. descriptions
Custom add-in (MDG technology) for Sparx Systems Enterprise Architect UML modelling tool (https://sparxsystems.com/products/ea/index.html) to create architecture descriptions using TRAK https://sf.net/projects/trak Provides: - the set of TRAK views that can be represented using UML and SysML . Each view display a custom toolbox palette with the objects and relationships that are needed for that TRAK view - relationships can be made directly from the objects on a view using the... -
6
Automatic Drawing Generation
A canvas library for generating technical drawings
The ADG library (Automatic Drawing Generation) is a set of functions focused on automating the drawing of mechanical parts. It is not a CAD system but a GObject-based library where a custom application can put common CAD entities such as paths, hatches and dimensions, to automatically create technical drawings. A demo application is provided in order to show the capabilities of the canvas. Although it is possible to interact with the library directly in C (that is what the adg-demo... -
7
EiffelStudio is an Integrated Development Environment (IDE) that provides comprehensive facilities to programmers. It offers a comprehensive suite of tools that enable programmers to produce correct, reliable, and maintainable software while keeping control of the development process. If you want to create fast, robust, scalable applications, then EiffelStudio™ will offer you a cost-effective solution. Imagine being able to model your system as you think – capturing your requirements and...
-
8
Pretty Damn Quick (PDQ) analytically solves queueing network models of computer and manufacturing systems, data networks, etc., written in conventional programming languages. Generic or customized reports of predicted performance measures are output.
-
9
The Whole Platform is a technology for engineering the production of software. We provide an Eclipse based Language Workbench for developing, manipulating and transforming languages using a model driven approach.
-
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
USE is a system for the specification and validation of information systems based on a subset of the Unified Modeling Language (UML) and the Object Constraint Language (OCL). Please report any encountered bugs using the ticket system. The USE documentation can be found on the project homepage linked below. Downloads for the most popular plugins can be found here: http://sourceforge.net/projects/useocl/files/Plugins/
-
11
The Object-Role Modeling (ORM) standard version 2, associated schemas and generation tools, and a reference implementation in the form of the Natural Object-Role Modeling Architect for Visual Studio (NORMA) product.
-
12
setupdocx
Multidocument automation by templates - for sphinx, mkdocs, epydoc ...
The ‘setupdocx‘ provides a control layer for continuous documentation by the simplified creation, packaging, and installation of documentation. The provided commands are distributed as entry points and optional base classes for further customization into 'setup.py' - setuptools / distutils. Manages arbitrary document templates for the supported builder, supports multiple builds with arbitrary document layouts, designs, and patched contents. The current release supports the following... -
13
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... -
14
DTDS
Data Type Definition System
DTDS is a system of definition of data types for unification of information exchange with use of different Samond Classes Library functions and for generation of source texts based on the completed data type definition -
15
MSCViewer
A tool for visualization and analysis of logs as sequence diagrams
MSCViewer is a tool intended for debugging of control flows in concurrent, distributed systems. The tool loads logs generated by various entities in the system and visualize a sequence diagram chart for events and interactions. The diagram is fully interactive: entity can be added/removed from the diagram and shuffled; events can be filtered, searched, highlighted and annotated with comments. MSCViewer features integration with a Python interpreter which allows writing Python scripts... -
16
jFuzzyLogic is a java implementation of a Fuzzy Logic software package. It implements a complete Fuzzy inference system (FIS) as well as Fuzzy Control Logic compliance (FCL) according to IEC 61131-7 (formerly 1131-7).
-
17
itemis CREATE - formerly known as Yakindu Statechart Tools (SCT) - is a tool for the specification and development of reactive, event-driven systems with the help of state machines. It consists of an easy-to-use tool for graphical editing and provides validation, simulation and code generators for different target platforms. Visit http://www.statecharts.org for more information! !! YAKINDU SCT HAS MOVED !! DOWNLOAD FROM https://info.itemis.com/download-yakindu-statechart-tools
-
18
S-BITE
S-BITE is an AS level topology generator for the Internet
The Structure-Based Internet Topology gEnerator (S-BITE) is an Autonomous System (AS) level topology generator for the Internet. The generator exploits a technique that partitions the network topology into two distinct blocks: the Core, which captures the underlying community structure of the Internet, and the Periphery, representing the “tendrils” of the topology. Thanks to this layering, S-BITE is able to accurately reproduce Internet topology at the statistical level,matching... -
19
-
20
The Java Light Component Framework (JLCF) is a framework for developing modular applications for the java language. It allows designing an application using building blocks with well-defined inputs and outputs (aka software components). Using this well-defined modular approach, the application has a clear and explicit design which facilitates the development and maintenance of a software system. JLCF focuses on usability on a simple programming model and also provides advanced features...
-
21
CHSM is a language system for specifying concurrent, hierarchical, finite state machines (an implementation of "statecharts") to model and control reactive systems.
-
22
This project will provide tools that leverage WS-CDL and Pi Calculus to build more robust Service Oriented Architectures (SOA). The tools are now released (and supported) through JBoss Tools (version > 3.2): http://www.jboss.org/tools
-
23
Jensor is a light-weight, low-overhead Java Profiler built using Java BCI. Jensor provides innovative analysis modules like JVM Replay, Pattern Analysis and Tagging Engine for technical as well as business analysis based on the same underlying data.
-
24
Trike
Computer-aided threat modeling
Trike is a platform-independent tool for systematic, computer-assisted threat modeling, from requirements through deployment. We are developing Trike v2 on GitHub (https://github.com/octotrike/trike). Our mailing lists are still here on SourceForge, and we're leaving the old code repository & releases up for archival purposes. Plus you probably want to use something while you're waiting for v2. -
25
Jact is a tool to provide severval ways of configurating the Asterisk PBX. It's base upon UML2 models of the configuration files. The goal is to get a functional description of all configuration elements around the Asterisk.
