Write, check, index and diagram Z specifications in Microsoft Word.
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.
This is a handy utility which monitors the status of Hudson or Jenkins (a Continuous Integration tool). It reads the RSS feeds, and sits in your system tray. Checkout http://hudsontracker.sourceforge.net/index.html for more info and screenshots.
Software Process Model Suite is a toolset for modeling and simulate software process models. Is composed by: 1. a simulator engine; 2. a modeling tool based on SPEM, that uses model transformation approach; 3. a visual graphical simulator.
W3LVisualizer is a general Web-based visual editor. With its extension mechanism, it provides a framework for building custom editors easily. The frontend is writting entirely with HTML and Javascript using AJAX technologies.
Deploy in 115+ regions with the modern database for every enterprise.
MongoDB 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.
A simple visual editor for drawing OPJ models; these models represents an extension to the classic Petri-net diagram; they were developed before the unification of OO methodologies and the relative release of the first UML specification.
Extensible language for portable parallelism. Any visual element may be used to extend program syntax and a re-writing rule defined for it. Syntactic elements have properties attached, enabling symbolic manipulation to specialize to hardware.
This project targets to develop a visual UML editor for the popular Eclipse IDE. The webrice plugin is fully compatible with the Eclipse Framework and allow developers easily to model and document their software through the UML2.1 diagrams.
Buildap is a Visual Component Based Development framework. It is available as standalone tool as well as Netbeans and Eclipse plugins. SVG viewer/editor and Diagram Editor are also available. See Buildap powered project at http://e-records.buildap.com/.