|
当サイトデータベースには計20件のファイルがあります |
|
新着ダウンロード | カテゴリ：Mizar  Latest Mizar releases |  Latest Mizar releases  | バージョン: 掲載日：: 2010-1-5 |  : Mizar version 7.11.05, MML 4.133.1080 (2010/01/04)
<-- version 7.11.04, MML 4.130.1076 (2009/11/22)
<-- version 7.11.03, MML 4.128.1063 (2009/09/18)
<-- version 7.11.01, MML 4.117.1046 (2008/12/24)
<-- version 7.10.01, MML 4.111.1036 (2008/10/09)
<-- version 7.9.03, MML 4.108.1028
<-- version 7.9.03, MML 4.104.1021
|  607  0バイト   http://mizar.uwb.edu.pl/system/ |
このダウンロードを評価する | 送信 | ファイル破損／リンク切れを報告 | 友達に教える |
|
| | | カテゴリ：LMS Moodle | | Moodle | バージョン: 1.9.3 掲載日：: 2008-10-24 | : Moodle is a course management system (CMS) - a free, Open Source software package designed using sound pedagogical principles, to help educators create effective online learning communities. You can download and use it on any computer you have handy (including webhosts), yet it can scale from a single-teacher site to a 50,000-student University. This site itself is created using Moodle, so check out the Moodle Demonstration Courses or read the latest Moodle Buzz.
| | 507 0バイト UNIX http://moodle.org/ | 評価：8.00 (1 票)
このダウンロードを評価する | 送信 | ファイル破損／リンク切れを報告 | 友達に教える |
|
| | | | カテゴリ：sw-lab 並列処理 | | CPN Tools | バージョン: 2.2.0 掲載日：: 2007-10-11 | : CPN Tools is a tool for editing, simulating and analysing Coloured Petri Nets. The GUI is based on advanced interaction techniques, such as toolglasses, marking menus, and bi-manual interaction. Feedback facilities provide contextual error messages and indicate dependency relationships between net elements. The tool features incremental syntax checking and code generation which take place while a net is being constructed. A fast simulator efficiently handles both untimed and timed nets. Full and partial state spaces can be generated and analysed, and a standard state space report contains information such as boundedness properties and liveness properties. The functionality of the simulation engine and state space facilities are similar to the corresponding components in Design/CPN, which is a widespread tool for Coloured Petri Nets.
Please note that CPN Tools only runs on PC's with hardware support for OpenGL, and that you need to install a special mouse driver if you wish to take advantage of the full input facilities of CPN Tools. For more information see the hardware requirements.
| | 305 0バイト http://wiki.daimi.au.dk/cpntools/cpntools.wiki |
このダウンロードを評価する | 送信 | ファイル破損／リンク切れを報告 | 友達に教える |
|
| | カテゴリ：sw-lab 並列処理 | | CPN-AMI | バージョン: 3.1.1 掲載日：: 2007-10-11 | : From: cpn-ami@lip6.fr
Subject: New version for CPN-AMI
Date: 2005年12月1日 3:36:10:GMT-07:00
To: Recipient List Suppressed:;;Recipient.List.Suppressed:;Recipient.List.Suppressed:;@src.lip6.fr;;;
Cc: cpn-ami@lip6.fr
Dear CPN-AMI user,
You have downloaded CPN-AMI during the last month. We just want to let you know that a new version has just been released this morning: 3.0.1.
You may get informations about this version at:
http://www-src.lip6.fr/logiciels/mars/CPNAMI/history.html
and download it at:
http://www-src.lip6.fr/logiciels/mars/CPNAMI/download.html
As usual, there is no need to change the Macao password.
Best regards.
The Mars Team
-------------------
We are please to announce the latest version of CPN-AMI (3.0). CPN-AMI is a tool for creating and analyzing high level Petri nets, and includes many analysis possibilities, from structural computations to full model-checking.
This is a major release with a lot of work done on the internals. It now runs on both Linux and MacOS (for the application server). The User interface runs on MacOS 9 and X. Thus, there is now a one machine solution on MacOS X. Thus CPN-AMI and the graphical interface Macao can now run on a single MacOS machine.
On the Petri net analysis side, version 3.0 also introduces new features on top of those of CPN-AMI 2.5.2
NEW: a first support of the symbolic reachability graph, in particular, automatic computation of symmetries ; this service relies on GreatSPN. This prepares a new model checker on the symbolic reachability graph to come in a later version.
NEW: a new CPN unfolder based on Data decision Diagrams that supports very large models (still in beta)
NEW: partial support of the PNML standard (ISO/IEC 15909 standard)
UPDATED: modeling services now embed a PetriScript language to automatically generate model patterns (such as a N-FIFO) and automatically assemble Petri net components.
All details and the distribution are provided on:
http://www.lip6.fr/cpn-ami
Best regards.
--
--------------------------------------------------------------------------
Fabrice Kordon Laboratoire d'Informatique de Paris 6/SRC
Tel: +33 1 44 27 88 20 Université Pierre & Marie Curie
Fax: +33 1 44 27 87 71 4 place Jussieu, 75252 Paris Cedex 05
http://www-src.lip6.fr/~Fabrice.Kordon
| | 660 0バイト http://www-src.lip6.fr/logiciels/mars/CPNAMI/index.html |
このダウンロードを評価する | 送信 | ファイル破損／リンク切れを報告 | 友達に教える |
|
| | カテゴリ：sw-lab 並列処理 | | NuSMV2 | バージョン: 2.4.3 掲載日：: 2007-10-11 | : NuSMV is a symbolic model checker developed as a joint project between the Formal Methods group in the Automated Reasoning System division at ITC- IRST, the Model Checking group at Carnegie Mellon University , the Mechanized Reasoning Group at University of Genova and the Mechanized Reasoning Group at University of Trento.
NuSMV is a reimplementation and extension of SMV, the first model checker based on BDDs. NuSMV has been designed to be an open architecture for model checking, which can be reliably used for the verification of industrial designs, as a core for custom verification tools, as a testbed for formal verification techniques, and applied to other research areas.
NuSMV2, combines BDD-based model checking component that exploits the CUDD library developed by Fabio Somenzi at Colorado University and SAT-based model checking component that includes an RBC-based Bounded Model Checker, connected to the SIM SAT library developed by the University of Genova.
| | 473 0バイト http://nusmv.irst.itc.it/ |
このダウンロードを評価する | 送信 | ファイル破損／リンク切れを報告 | 友達に教える |
|
| | カテゴリ：sw-lab 資料 | | ISO/IEC 15909-1:2004 | バージョン: 掲載日：: 2005-7-2 | : ISO/IEC 15909-1:2004 defines a semi-graphical modelling language for the specification, design and analysis of discrete event systems, including software and in particular distributed and parallel systems where concurrency is an important characteristic. The technique, High-level Petri Nets, is mathematically defined and may thus be used to provide unambiguous specifications and descriptions of applications. The graphical nature of the technique allows information, or resource flow, and control flow to be visualised, providing a powerful aid to understanding system behaviour. It is also an executable technique, allowing specification prototypes to be developed to test ideas at the earliest and cheapest opportunity. Specifications written in the technique may be subjected to analysis methods to prove properties about the specifications, before implementation commences, thus saving on testing and maintenance time. The field of application encompasses a wide range of systems from technical systems such as manufacturing, business processes, computer software and hardware, telecommunication networks and signalling systems, defence systems, mechatronics, postal services and avionics to biological and sociotechnical systems.
| | 498 0バイト http://www.iso.org/ |
このダウンロードを評価する | 送信 | ファイル破損／リンク切れを報告 | 友達に教える |
|
| |
|
|
|
