HOME > 产品/服务
すべての製品?サービス
     
ZIPC ZIPC（中文）
以状态迁移表为基础，是适用于嵌入式软件开发的CASE工具的事实标准。
   
ZIPC AUTOSAR（中文）
支持以AUTOSAR为基准的系统开发的Modeling工具。
   
ZIPC++
ZIPC中引入UML，是适用于物体指向型嵌入式系统的CASE工具。
     
ZIPC SPLM
确保企划Model、设计书、编码、式样设计等项目管理，适用于多品种开发的要件管理系统。
     
ZIPC Feature
企划Modeling专用编辑器。
     
UPPAAL
考虑到时机制约的状态迁移Model，是具有视觉效果的综合Model的验证工具。
Perfect Pass Perfect Pass
对来自状态迁移Model的实验项目，进行自动抽样的工具。
     
Drawrial Drawrial
为GUI的设计做成最适合的画面式样的工具。
     
EPM EPM
实现“项目可见性”的实时Modeling工具。
ASN.1 Tool ASN.1 Tool
抽象结构表记方法ASN.1的开发支援工具。
▲ ページTOPへ