|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
On Representation of Simulation Time in Functional Programming Styleстатья
- Авторы: Buzdalov D.V., Petrenko A.K., Khoroshilov A.V.
- Журнал: Programming and Computer Software
- Том: 45
- Номер: 8
- Год издания: 2019
- Издательство: Pleiades Publishing, Ltd
- Местоположение издательства: Road Town, United Kingdom
- Первая страница: 485
- Последняя страница: 496
- Аннотация: Functional programming plays the big role in the modern computer science and its importance is growing. This is not accidential: this approach helps to create better and more reliable software that is easy to reason about (both manually and automatically). However, these techniques are hardly used in the field of tools helping designing and modeling mission- critical systems. In this paper, we are trying to apply some nice techniques of functional programming to create a modeling system, in particular a simulation system for analysis of temporal behavioural properties of mission-critical systems. As a first step, we designed a representation of simulation time in terms of abstractions used in functional programming and tried to study its compositionability properties.
- Добавил в систему: Петренко Александр Константинович