Search by voice
Windows
Mac
Windows
Log in / Sign up
Windows
›
Tags › Logical modeling
Featured
Logical Modeling
Software
Relevance
Popularity
Rating
1001 Tangram Puzzles
7,542
Selectsoft Publishing
A computerized version of the anicen Chinese game, 1001 Tangram Puzzles...
Tangram is an anicent Chinese puzzle used both as a game and as a meditation tool. Originally
OSBASE iDisplay
free
277
OSBASE
iDisplay software supports extension of Windows desktop using USB(or LAN based) display devices...
iDisplay software supports extension of Windows desktop using USB(or LAN based) display devices
Magic xpa
128
Magic Software Enterprise
MarkLogic Server
free
52
Mark Logic
MarkLogic is designed for today’s data, including documents, relationships, and metadata...
MarkLogic is a document-centric, schema-agnostic, structure-aware, clustered, transactional, secure
Behemot Graphics Editor
free
21
Sergio Perani
Behemot Graphics Editor is a graphics program which allows to model and render 3D objects...
Behemot Graphics Editor is a graphics program which allows to model and render 3D objects and scenes
AVALDATA SDK-AcapLib2
13
AVAL DATA Corporation
Logic Builder SDK
free
11
Timur Software
Features: -Event-driven state machine -Supported mode-types...
Logic Builder SDK - the universal state-engine with ANSI C core, for any programming language
PRIMAVERA PROFESSIONAL - ERP Web Business Services (Servidor)
10
PRIMAVERA
CLPDUINO
10
CLPDUINO
FS20 Makrosteuerung 2
9
ELV Elektronik AG
ChemicaLogic SteamTab Duo
9
ChemicaLogic Corporation
PROVA TRAVILOG TITANIUM
6
Logical Soft
Inno Ultra
5
Martijn Laan
Bitrix .NET Forge CMS
4
Bitrix, Inc.
BEA AquaLogic BPM Studio
3
BEA Systems, Inc.
SIMATIC S7-SCL SP4 Professional 2006 SR4
3
MainConcept Analyzer TS
3
MainConcept GmbH
The MainConcept Analyzer TS tool provides deep insight into the structure and bitstream of Transport Streams...
The MainConcept Analyzer TS tool provides deep insight into the structure and bitstream of Transport
ACL2
free
1
Matt Kaufmann and J Strother Moore University of Texas at Austin
ACL2 is both a programming language in which you can model computer...
ACL2 is both a programming language in which you can model computer systems and a tool to help
Enterprise Analyst
Craftware
Enterprise Analyst is an add-in for Sparx Systems' Enterprise Architect that enables the simulation of object...
Using Enterprise Analyst, software analysts, architects and developers can validate
LEDAS 3D Geometric Solver
LEDAS Ltd.
It is commonly used as parametric engine for direct modeling of 3D geometry...
It is commonly used as parametric engine for direct modeling of 3D geometry, assembly design
1
…
7
8
9
10
11
12
13
Tags
Model
Language
Programming
Demo version
Graphics editor
Sequence diagram
Use case
Functional analysis
Model compilation
Domain Driven Design
Featured stories
See all
Anthropic’s Claude Mythos: The Model Too Risky for General Release?
Claude Mythos Preview is Anthropic’s most controversial AI release yet. Learn why it is restricted, what it can do, and why regulators and banks are paying attention.
Why Everyone Is Suddenly Talking About Small Language Models
Small language models are getting big attention. Here is why compact AI is becoming useful for apps, devices, and AI agents.
Windows 11 Finally Lets You Delete an AI Model. Just One.
Windows 11 now lets Copilot+ PC users remove one AI model. Here’s how much space it can save, what stays, and how to disable other AI features.
GPT-6 Astra Is OpenAI’s First ‘Critical’ Cyber Model
GPT-6 Astra is OpenAI’s first Critical cyber model, capable of finding zero-days and building exploits. Here’s what that means for security and safety.
OpenAI Models Left Notes to Hide Their Own Mistakes
OpenAI found GPT-5.6 Sol leaving notes that told later contexts to hide mistakes. The strange training case exposes a new weak spot in AI memory.
