Search Results for "libhamlib-4"

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.

Olympos is an holistic MDA/MDD approach to projects. It allows to create Web (PHP, J2EE), Desktop (c#) and Mobile applications (.NET, J2ME) from a UML model. Features a Web 2.0 IDE, a generator based on openArchitectureWare and several cartridges.

The FXL Project Eclipse Plugin leverages the integration of DSLs, (meta-) modeling approaches, code generation and the development of software configuration tools (sw-component-configuration).

A user-friendly drawing and verification tool for Message Sequence Charts (MSC, HMSC) and UML Sequence Diagrams. Integrated with Microsoft Visio.

Framework, Application construction set and M(umps) - API In the MINISYS environment it is possible to create in a few hours very complex business software like invoice programs, bookkeeping programs and many other. The main programming language is M (ISO-M).

Práctico es un proyecto de Software Libre publicado bajo licencia GNU GPL v2.0 para la creación de aplicaciones web de una manera completamente visual y rápida. MOVED TO GITHUB: github.com/unix4you2/practico

ABTools provides an open environment based on ANTLR and Java and provides some facilities for design and test the B language and somes extensions. ABTools est un environnement de développement base sur ANTLR et Java. Il permet de manipuler le langag

(Diver is in the process of being moved to GitHub. Please find us at https://github.com/thechiselgroup/Diver. Support requests & messages sent here may never be seen.) Dynamic Interactive Views For Reverse Engineering. Div/er is a set of Eclipse Plugins that aid developers in understanding software. It uses dynamic analysis and reverse engineering to offer views and filters that aid comprehension and discovery.

This is a C source code scanner based on symbolic logic. It analyses C source code (especially that of the Linux kernel, at which it is aimed) for programming errors and vulnerabilities. The tests are defined by the user.

** ATTENTION ** THIS PROJECT HAS MOVED TO: https://github.com/pgmodeler/pgmodeler New releases only will be available on GitHub. PostgreSQL Database Modeler, or simply pgModeler is an open source project of a CASE tool for modeling PostgreSQL that merges the classical concepts of modeling using entity-relationship diagrams with specific features that only PostgreSQL implements. The pgModeler translates the models created by the user to SQL code and apply them onto database...

This is a simple tool with a user interface to key in use case text and spell out PDF documentation. Each use case will have the following captured. 1) Use Case Name 2) Page over view. 3) Pre conditions 4) Wireframe (image) 5) Business Rules 6) Main Flow 7) Alternate Flow 8) Post Condition 9) Error scenarios 10) Technical details Usability Features: 1) Open existing usecase for editing. 2) Save copy of a use case with new use case name. 3) Retain use case export order. 4) Information messages are shown in notification bar with 'fade' effect. ...

NIProjects contains several libraries mainly intended for Java programmers. It includes TableLayout, GuiLib and Datamappers libraries.

PHPFIT is a PHP5 port of the Framework for Integrated Test (FIT) http://fit.c2.com/

Java Server Faces (JSF) CRUD generator plugin for Eclipse.

With dp4j.jar in your project classpath you directly access private members in your tests, w/o Reflection API boilerplate code; It also generates Design Patterns code and compile-time validates implementations. And Compiler & Co work for you again!

Редактор схем в соответствии с требованиями ГОСТ 19.701-90.

RegexLord is the IDE for developing regular expression assemblies for .NET. Full stop. It provides syntax highlighting (via the sharpdevelop text editor, http://sharpdevelop.net/), bracket matching, namespace management, code folding, and an easy to

A Eclipse-based toolset for early verification and validation of goal-based requirements models for the KAOS methodology.

JSPWikiWinWin Involves the requirement negotiation and elicitation in software engineering and improves the negotiation process based on WinWin Spiral Model, which supports the negotiation in different locations and time

Xuse manages requirements, use cases & other artefacts that drive software design. Xuse focuses on clear documentation & communication. It defines an XML data model for requirements & use cases with XSLT providing multiple derived views: HTML/SVG/PDF. Note there is no GUI for entering requirements, however another project (https://sourceforge.net/projects/xguse/) will provide a GUI.

A openArchitectureWare based Generator for deriving a WS-Agreement document from a formal description of a (Web-)Service and its associated assertions (SLO) to Quality Of Service (QoS). You can use predefined QoS parameters as well as introduce new ones.

Allows screen sharing over email, or through 'conversations' with contacts, so that when a contact receives a screenshot it's automatically displayed with its default image viewer.

BPMN & POEM (Process Oriented Enterprise Modelling) Package Of Plugins contains Visio stencil and templates for integrated organizational and business process modelling.

Extending Alloy with Dynamic Behaviour

RESOLVE is an integrated specification and programming language designed to develop component-based software that is fully specified and verified to be correct. It is one of the longest running software engineering projects in the USA.