Free design tool software for linux

Django 1.0.2 provides you with a professional and high-level Python Web framework which will encourage rapid development and clean, pragmatic design.

Major Features:

1. Object-relational mapper: Define your data models entirely in Python. You get a rich, dynamic database-access API for free but you can still write SQL if needed.
2. Automatic admin interface: Save yourself the tedious work of creating interfaces for people to add and update content. Django does that automatically, and its production-ready.
3. Elegant URL design: Design pretty, cruft-free URLs with no framework-specific limitations. Be as flexible as you like.
4. Template system: Use Djangos powerful, extensible and designer-friendly template language to separate design, content and Python code.
5. Cache system: Hook into memcached or other cache frameworks for super performance caching is as granular as you need.
6. Internationalization: Django has full support for multi-language applications, letting you specify translation strings and providing hooks for language-specific functionality.

Hyperic HQ project is a distributed infrastructure management system whose architecture assures scalability, while keeping the solution easy to deploy.

HQs design is meant to deliver on the promise of a single integrated management portal capable of managing unlimited types of technologies in environments that range from small business IT departments to the operations groups of todays largest financial and industrial organizations.

Objectrefenceanalyser (ora) helps developers find bugs or design errors by showing Java object references in an easy way.

It can be plugged into other programs for taking and saving "snapshots" of the object model at runtime for analysis.

DREAM Tool is a generic framework that aims at providing a common semantic domain which can express several (real-time, power consumption, resource) constraints.
The semantic domain has an executable C++ model which has been semantically anchored to the hybrid automata formalism. Although the model of computation corresponds to hybrid automata, so far we have been successful in analyzing the models by conservative approximation using timed automata on moderate size systems.
To deal with large-scale examples the user has the ability to use the simulation/testing interface on the executable C++ model before implementing the system. We plan to extend the genetic algorithms to solve a large number of problems.
DREAM is a simulation and verification framework which provides a formal model and analysis of your system in less than a day. Systems in DREAM are specified using XML in a straightforward way. I hope you find it useful.
Real-time middleware provides dependable and efficient platforms supporting key functional and quality of service (QoS) needs of distributed real-time embedded (DRE) systems.
Key challenges in DRE system developments include safe composition of system components and mapping the functional specifications onto the target platform. Model-based technologies help address these issues by enabling design-time analysis and providing the means for the rapid evaluation of design alternatives with respect to end-to-end QoS properties, predictability and performance measures before committing to a specific platform.
The Distributed Real-time Embedded Analysis Method DREAM is an open-source tool and method for optimizing multiple quality of service (QoS) properties of distributed real-time embedded (DRE) systems. The project focuses on the practical application of formal analysis methods to real-time middleware to automate the verification, development, configuration, and integration of middleware-based DRE systems.
Enhancements:
- This version implemented several optimizations for improved model checking performance, resulting in impressive performance gains of at least 2-3 times.
- There are no known memory leaks present in the current release.
- Balanced AVL trees are now used, resulting in exponential speedups in several steps of the model checking method.
- XML Schema validation was implemented.
- Verification time reporting was upgraded to include data on the simulation speeds.
- Random simulation-based testing now provides an execution trace when a deadline is missed.

GnuAccounting is a open source java accounting software that creates and administrates e.g. invoices and credit notes. GnuAccounting embeds OpenOffice to design templates and output invoices and uses MySQL to store transactional metadata on a central server.

Electric VLSI Design System is a complete Electronic Design Automation (EDA) system that can handle many forms of circuit design, including:

* Custom IC layout
* Schematic Capture (digital and analog)
* Textual Languages such as VHDL and Verilog
* Programmable logic (FPGAs)
* ...and much more.

Tess is a C++ library that helps automate final assembly of tedious graphic design tasks (e.g. from photoshop or gimp), such as conjuring piles of web page-specific navigation features.

The project can composite an arbitrary stack of RGBA images, draw antialiased TrueType text (via FreeType), and generate a few shapes and effects. It groks PPM and PAM files, and includes a Perl binding.