• 加姆斯

  • 806篇参考文献[SW0497 8]
  • 综合代数的建模系统(GAMS)是明确地设计用于线性、非线性和混合整数的建模。
  • CASL

  • 168篇参考文献[SW02265]
  • COFI被称为CASL:共同的代数的 规格语言其主要特点如下:
  • 拉帕克

  • 1552篇参考文献[SW0503]
  • 通过调用基本线性代数子程序(BLAS)。拉帕克设计…3级BLASα-α集规格对于FORTRAN子程序做各种类型…
  • 麦考莱2

  • 1503篇参考文献[SW05337 ]
  • 支持研究代数的几何与交换代数它的创作得到了资助…计算方法的安装明确地和他们在一起。MaCulay2可以计算Betti数、EXT、上同调…环的积分闭包,以及更多。电脑代数系统
  • 科菲

  • 41篇参考文献[ SW01631 ]
  • COFI:共同框架倡议代数的 规格和发展。COFI,共同框架倡议…代数的 规格而软件的开发,是一种开放的国际合作。主要的初始…设计一个连贯的家庭代数的 规格语言,基于一个关键的选择结构…普通CASL的设计代数的 规格语言,连同它的子语言和扩展…
  • 多层螺旋线

  • 29篇参考文献[SW29 626]
  • 可用)μCRL:用于分析的工具集代数的 规格. μCRL是一种用于指定……的语言。AN中的分布式系统代数的时尚它的目标是规格系统行为…过程-代数的抽象数据类型的形式和数据元素…支持μCRL的分析和操作规格. μCRL规格可以自动转换…
  • 雷德伯特

  • 94篇参考文献[SW1297]
  • 突出他们的内置代数的几何结构。更多明确地作者讨论了替代策略…
  • 科斯卡尔

  • 26篇参考文献[SW13076]
  • 新近发展的煤系扩张代数的 规格语言CASL,允许建模系统…这里,我们演示了如何指定进程。代数,即CCS(R米尔纳),通信和并发…
  • 吉纳克

  • 68篇参考文献[SW01609]
  • 代表计算机代数系统它已经被明确地发展成为一个替代引擎…不提供粗放代数的能力和一个简单的编程语言,而是…
  • Z

  • 272篇参考文献[SW1091]
  • 提倡正式的纪律规格推理?另一个失望是…从关系演算的角度介绍了它的代数的没有提到性能;许多…
  • 泽农

  • 21篇参考文献[SW0653]
  • 聚焦环境,面向对象代数的 规格证明系统,能够产生…
  • 哈斯卡尔

  • 16篇参考文献[SW0399 ]
  • HasCasl:集成高阶规格开发了HASCASL的设计方案。的高阶扩张代数的 规格语言CASL,作为一个广泛的服务…
  • 螺旋形的

  • 46篇参考文献[SW0903]
  • 螺旋使用域具体的基于语言的语言代数的DSP算法的制定…
  • HIPSPEC

  • 12篇参考文献[SW0736]
  • 这些等式性质构成了一个代数的 规格对于程序,而且可以…
  • 快速规格

  • 7篇参考文献[SW19206]
  • QuaQueSc,一个自动生成的工具代数的 规格对于纯函数集。工具…
  • 亚当

  • 7篇参考文献[SW21957]
  • 使用计算机工具的动态特性代数.明确地我们提出了一种识别吸引子的方法。方程,计算机中的一个长期研究的问题代数. 基于广泛的实验与离散…
  • 谦虚

  • 30篇参考文献[ SW01544 ]
  • 规格语言如PROMELA,在轻量过程中处理组合性。代数刚性的,过程的代数风格语义,和(iii)仍然提供现代和灵活的规格构建…
  • 马斯

  • 5篇参考文献[SW0842]
  • 结合必要的编程设施代数的 规格设计和研究的能力代数的算法…
  • 傲慢

  • 5篇参考文献[ SW049 13]
  • 提供AN功能的模块代数的建模和编程软件,如AMPL…通用程序设计语言与领域具体的 代数的建模语言,(2)提供了一个简单的…