Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 29.895.661 Times

P-UMLaut 1.2

  Date Added: July 10, 2010  |  Visits: 822

P-UMLaut

Report Broken Link
Printer Friendly Version


Product Homepage
Download (80 downloads)



The P-UMLaut tool allows the user to transform UML 2.0 Sequence Diagrams to semantically equivalent Petri Nets. These Petri Nets may then be simulated using the supplied PN simulator (of PEP descent) or operated on with any tool that can work with high level Petri Nets. By plugging different Realms into the simulation by way of an event filter, the modeled world may then be displayed and interacted with in various fashions. A 3D animation module is supplied as well as two examples utilizing the complete toolchain. Whats New in This Release: - A new Petrinet Simulator was implemented in Java which features Highlevel-PN to Lowlevel-PN unfolding and Timed-PN simulation. - Filtering was enhanced. Irrlicht 0.12 is used.. Results of P-UMLaut

Requirements: No special requirements
Platforms: Linux
Keyword: Petri Petri Nets Pn Pumlaut Quality Assurance And Testing Semantically Sequence Sequence Diagrams Tool Transform Umlaut User
Users rating: 0/10

License: Freeware Size: 15.9 MB
USER REVIEWS
More Reviews or Write Review


P-UMLAUT RELATED
Programming  -  Open Source Requirements Management Tool 1.5
Open Source Requirements Management Tool is designed to achieve full SDLC traceability for features, requirements, design, implementation, and testing. Open Source Requirements Management Tool has a UI for requirements derivation, version...
145 MB  
Programming  -  Sahi 2007-06-22
Sahi is an automation and testing tool for web applications, with the facility to record and playback scripts. Developed in java and javascript, this tool uses simple javascript to execute events on the browser. Sahis features include,...
1.5 MB  
Scientific and Engineering  -  Quality Assurance & Control system 2.1
Quality Assurance & Control system software provides you a Quality Assurance & Control database client server system. Postgresql server, delphi clients, web php, www-sql interface. It could be used for cable factory, solve all traceability needs,...
 
Programming  -  BuildBot 0.7.5
BuildBot project is a system to automate the compile and test cycle required by most software projects to validate code changes. By automatically rebuilding and testing the tree each time something has changed, build problems are pinpointed...
583.68 KB  
Programming  -  Abbot 1.0.0 RC5
Abbot helps you test your Java UI. Abbot framework comprises Abbot, which lets you programmatically drive UI components, and Costello (built on Abbot) which allows you to easily launch, explore and control an application. The framework may be used...
5.7 MB  
Programming  -  phpautotest 1.0.3
phpautotest is a tool for conducting automated regression tests on PHP-driven Web sites. Variable values as well as HTTP output can be tested. HTTP output is tested using regular expressions.. Get phpautotest at SourceForge.net. Fast, secure and...
184.32 KB  
Programming  -  GAJET 0.1-20070723
GAJET (Genetic Alrogithm for Java Evolutionary Testing) is an automatic test generation tool for Java that uses a genetic algorithm. GAJET project uses EMMA to measure test coverage.. Get GAJET at SourceForge.net. Fast, secure and free downloads...
634.88 KB  
Network & Internet  -  Quality Assurance Agent 0.1
QAA is a XUL Mozilla Firefox extension that performs a user supplied test list on a Web application. Test sessions can be defined by example. A report is generated when sessions are replayed. Whats New in This Release: - This release can...
30.72 KB  
Programming  -  Acovea 1.0.1
Acovea implements a genetic algorithm for finding the "best" options for compiling programs with the GCC C and C++ compilers. ACOVEA (Analysis of Compiler Options via Evolutionary Algorithm) implements a genetic algorithm to find the "best"...
399.36 KB  
Programming  -  TAHI Test Suite 1.4.8 (Self-Test TestSuite)
TAHI Test Suite provides a mechanism for validating an IPv6 implementation against a standardized test for conformance to the IPv6 specification, extensions and directly related protocols. TAHI Project is the joint effort formed with the...
645.12 KB  
NEW DOWNLOADS IN LINUX SOFTWARE, PROGRAMMING
Linux Software  -  Polling Autodialer Software 3.4
ICTBroadcast Auto Dialer software has a survey campaign for telephone surveys and polls. This auto dialer software automatically dials a list of numbers and asks them a set of questions that they can respond to, by using their telephone keypad....
488 B  
Linux Software  -  Total Video Converter Mac Free 3.5.5
Total Video Converter Mac Free developed by EffectMatrix Ltd is the official legal version of Total Video Converter which was a globally recognized brand since 2006. Total Video Converter Mac Free is a free but powerful all-in-one video...
17.7 MB  
Linux Software  -  Skeith mod_log_sql Analyzer 2.10beta2
Skeith is a php based front end for analyzing logs for Apache using mod_log_sql.
47.5 KB  
Linux Software  -  SLAX 6.0+
Slax is a modern, portable, small and fast Linux operating system with a modular approach and outstanding design. Despite its small size, Slax provides a wide collection of pre-installed software for daily use, including a well organized graphical...
190 KB  
Linux Software  -  GTK+ 2.5
GTK+, which stands for the GIMP Toolkit, is a library for creating graphical user interfaces for the X Window System. It is designed to be small, efficient, and flexible. GTK+ is written in C with a very object-oriented approach. Language bindings...
60 MB  
Programming  -  FLEX-db Digital Asset Manager 3.0.9
FLEX-db - an enterprise Digital Asset Manager (DAM). It ingests and links metadata with files, creates thumbnails, and processes files using business rules. FLEX-db has a JSP client, Java app server for file input and output and an EJB metadata...
21.57 MB  
Programming  -  Libicom 0.9.0
The libicom library is a character based dynamicly linked library for Linux. It is used to remotely control the Icom IC-R8500 wide band receiver via an RS232 link. All call and return parameters to the control functions are character string based....
20.48 KB  
Programming  -  dotdesktop 0.3
Dotdesktop library provides ability to parse desktop entry file and access the information in a convenient way. Desktop entry file format is defined by freedesktop.org, it is used to describe information about an application such as the name and...
327.68 KB  
Programming  -  Cedalion for Linux 0.2.6
Cedalion is a programming language that allows its users to add new abstractions and define (and use) internal DSLs. Its innovation is in the fact that it uses projectional editing to allow the new abstractions to have no syntactic limitations.
471.04 KB  
Programming  -  libyasl 0.2
Libyasl is a C++ class library to easily realize TCP/UDP/Multicast clientsand servers in IPv4 and IPv6 environments under GNU/Linux systems.
143.36 KB