ISS Library

МЕТОД ДОВЕДЕННЯ ВЛАСТИВОСТЕЙ ПРОГРАМ В КОМПОЗИЦІЙНО-НОМІНАТИВНИХ МОВАХ IPCL

Панченко Т.В. (2008) МЕТОД ДОВЕДЕННЯ ВЛАСТИВОСТЕЙ ПРОГРАМ В КОМПОЗИЦІЙНО-НОМІНАТИВНИХ МОВАХ IPCL. Проблеми програмування (1). pp. 3-16. ISSN 1727-4907

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
263Kb

Abstract

Викладено композиційний метод верифікації систем спеціального класу – моделі багатоекземплярного виконання програм у серверному середовищі з паралелізмом у режимі почергового виконання з переключенням і взаємодією через спільну пам’ять. У роботі специфіковано задачу, побудовано відповідні моделі, сформульовано два варіанти часткової коректності програм на введених композиційних мовах та запропоновано методологію верифікації, що включає метод з лінійною складністю замість експоненційної.

Item Type:Article
Subjects:D. Software > D.1. PROGRAMMING TECHNIQUES
ID Code:347
Deposited By:G.U. Volkova
Deposited On:31 Mar 2008 13:51
Last Modified:20 Jun 2008 18:40

Repository Staff Only: item control page