1. Science
  2. Publications
  3. Information Processing Systems
  4. 3(19)'2002
  5. Type System in the Software-Intensive System

Type System in the Software-Intensive System

Ju.S. Manzhos
Annotations languages:

In the article is considered limitations of the classical Type System and it influence to the reliability of the Software-Intensive System.