Разработка и проектирование программ. CASE-технологии

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, Ftrtft 2002, Co-Sponsored by Ifip Wg 2.2, Oldenburg, Germany, September 2002 : Proceedings (Lecture Notes in Computer Science, 2469)