Search Results for "uml-editor"

...It supports about 95% of the ANS Forth CORE wordset and features conditional compilation, pipes, files, assertions, forward declarations, enumerations, structures, suspended execution, recursion, include files, etc. It comes with an RPN calculator, BASIC interpreter, line editor, preprocessor, compiler, decompiler, C-source generator, a virtual machine, and a multitasking environment.

MinForth V3.4 is a classic Forth system with command-line interface. Development resource requirements are minimal. A source text editor and a C compiler are sufficient. By design no toolchain is required to adapt or rebuild MinForth. A complete rebuild takes only few seconds. Current sources are for Windows and Linux (32-bit or 64-bit). MinForth primitive definitions are written in mixed Forth and C language and are transpiled to pure C code. Main but not exclusive application for the transpiler is to build the MinForth V3.4 high-level Forth compiler. ...

FOML is an expressive logic rule language that supports object modeling, analysis, and inference. It naturally supports model-level activities, such as constraints (extending UML diagrams), dynamic compositional modeling, analysis and reasoning about models, model testing, design pattern modeling, specification of Domain Specific Modeling Languages, and meta-modeling. FOML can reason about: 1. The model meta-data (meta-model level reasoning, or syntax reasoning) 2. Data level: reason about a model and its data (instance model, i.e., diagram) FOML is built as a semantic layer on top of PathLP - a compact logic rule language of guarded path expressions, an adaptation of a subset of F-logic.