文件名称：PAT 非常著名的软件验证程序
文件大小：10.3MB
文件格式：ZIP
更新时间：2014-12-07 15:58:02
PAT
process analysis toolkit. 非常著名的软件验证程序
【文件预览】：
Docs
----pat.sty(22KB)
----Help.chm(3.74MB)
zh-CHS
----PAT.Common.resources.dll(40KB)
----PAT 3.resources.dll(244KB)
Examples
----UML Examples()
--------orthogonal.xmi(4KB)
--------ATM.xmi(4KB)
--------basic.xmi(2KB)
--------fork&Join.xmi(5KB)
Uninstall.exe
office.dll
LicenseGen.dll
Antlr3.Runtime.dll
Microsoft.VisualStudio.TextTemplating.dll
PAT.Editor.dll
de
----PAT.Common.resources.dll(40KB)
----PAT 3.resources.dll(244KB)
help.ico
recents.xml
Microsoft.Contracts.dll
Modules
----PCSP()
--------Syntax.xshd(10KB)
--------PAT.Module.PCSP.dll(912KB)
----place your modules here.txt(36B)
----PRTS()
--------Syntax.xshd(10KB)
--------PAT.Module.PRTS.dll(951KB)
----RTS()
--------Syntax.xshd(10KB)
--------PAT.Module.RTS.dll(880KB)
----CSP()
--------Syntax.xshd(10KB)
--------PAT.GenericDiff.dll(128KB)
--------PAT.Module.CSP.dll(1.35MB)
----LTS()
--------PAT.Module.LTS.dll(715KB)
--------Syntax.xshd(9KB)
--------PAT.Common.dll(1.32MB)
License.dll
PAT 3.ini
CUDDHelper.dll
PAT.Update.exe
PAT.Editor.Core.dll
ExtDLL
----place your dll files here.txt(25B)
PAT3.Console.exe
PAT.Launcher.exe
PAT.Editor.Docking.dll
PAT 3.exe
VBE6EXT.OLB
Agreement.rtf
PAT.Common.dll
Microsoft.Msagl.dll
zh-CHT
----PAT.Common.resources.dll(40KB)
----PAT 3.resources.dll(244KB)
Lib
----PAT.Lib.EntryList.cs(10KB)
----PAT.Lib.Prob.cs(3KB)
----PAT.Lib.VibePuzzle.dll(4KB)
----PAT.Lib.Set.cs(8KB)
----ccrewrite.exe(1.42MB)
----Microsoft.Contracts.dll(16KB)
----PAT.Lib.Stack.cs(3KB)
----PAT.Lib.Board.dll(6KB)
----Plus.zip(7KB)
----PAT.Lib.DBM.dll(12KB)
----PAT.Lib.DBM.cs(20KB)
----PAT.Lib.HashTable.dll(4KB)
----PAT.Lib.Stack.dll(4KB)
----PAT.Lib.EntryList.dll(6KB)
----PAT.Lib.Example.cs(13KB)
----PAT.Lib.CMethodDemo.cs(979B)
----PAT.Lib.Board.cs(5KB)
----PAT.Lib.Contract.Set.cs(7KB)
----PAT.Lib.Prob.dll(4KB)
----PAT.Lib.Contract.Set.dll(7KB)
----PAT.Lib.Queue.cs(4KB)
----PAT.Lib.HashTable.cs(3KB)
----PAT.Lib.Lift.dll(6KB)
----PAT.Lib.List.dll(5KB)
----PAT.Lib.Array.dll(3KB)
----Plus.dll(34KB)
----PAT.Lib.Array.cs(2KB)
----PAT.Lib.CMethodDemo.dll(3KB)
----PAT.Lib.Lift.cs(12KB)
----PAT.Lib.Example.dll(7KB)
----PAT.Lib.List.cs(4KB)
----PAT.Lib.Queue.dll(5KB)
----PAT.Lib.Set.dll(6KB)
----PAT.Lib.VibePuzzle.cs(4KB)
vi
----PAT.Common.resources.dll(44KB)
----PAT 3.resources.dll(248KB)
ja
----PAT.Common.resources.dll(44KB)
----PAT 3.resources.dll(248KB)
Interop.VBIDE.dll
Interop.Microsoft.Office.Interop.Excel.dll
Microsoft.Msagl.GraphViewerGdi.dll
PATEnv.bat
Microsoft.Msagl.Drawing.dll