|
We focus on formal method of developing software as a basic technology of upstream process.
Software quality issue is surely a big field to complete. Therefore, we make much effort day by day. To achieve efficient software development process, we spend much of time and cost on this project.
Cost of debugging depends on how downstream the process is. Without saying, the more downstream it is, the more expensive it will be. It depends which stage the process need to be modified, and the cost for that really varies.
One of the key structures of formal method is a system with specification language, and this will play an important roll for programming. It continuously searches any technical error itself, and therefore, we can solve the system problem much quicker. Once it corrects an error at upstream process, those series of actions are adapted to downstream process automatically.
We are proud of the fact that excellent development supporting tool for formal method called "VDMTools" is introduced to our product. VDMTools has been earning great reputation and success for many years in Western Europe and America. We are supplying high quality software system to all our customers and we will be one of the leading companies of the world IT industry.
|
