TAAPSD'2006. OLS on OpenSpecs and OpenComRTOS. Dec. 5-8 2006 Kiev.

Open License Society will present two papers at TAAPSD'2006 in Kiev, Ukraine. This international conference covers theoretical and applied aspects of program systems development. http://www.taapsd.ukma.kiev.ua/index.html

Organized by Kyiv National Taras Shevchenko University, Kyiv-Mohyla Academy, and Institute of Software Systems of National Academy of Science of Ukraine.

Titles from Open License Society:

1. OpenComRTOS: lessons from developing a distributed Real Time Operating Systems using formal modeling techniques. Presented by Eric Verhulst and Gjalt de Jong.

2. The Methodology of Interacting Entities and its practical implementations (in OpenSpecs). Presented by Vitaliy Mezhuyev