Search Results for "visual basic net"

HiPS tool is developed at the Department of Computer Science and Engineering, Shinshu University, which is a tool design and analysis of Petri nets, developed using Microsoft Visual C # and C++. HiPS tool has a way of intuitive GUI which enable hierarchical and/or timed-net design. HiPS tool has also functions of static/dynamic analysis : T-invariant detection, Reachability path analysis, deadlock state detection, and k-boundedness analysis. In addition, it is possible to perform a random walk simulation with each firing steps.

Tools to allow Z specifications to be written in Microsoft Word. Includes a unicode font for Z symbols. Provides: WYSIWYG editing fully integrated into Word; Typechecking using fuzz (for Spivey Z) or CZT (for ISO standard Z); Indexing and cross-referencing; Diagrams of specification structure; Conversion from Spivey to Standard Z- also available as a stand-alone program and Java class for non-windows users. See project website for details.

The Basic Object System (BOS) means to provide a dynamic environment for hosting and using components. It can also be described as a general purpose software framework based on component technology.

OnyX is a C++ Integrated Development Environment for Linux that resembles the old Visual basic 3.0

A complete Metro-styled toolkit built in pure GDI+, which gives way to great performance and most of all, great appearance. Simply add the .DLL to your Visual Studio toolbox and you're off! *Requires .NET Framework 4