Open Access
Open access
Springer Nature
Lecture Notes in Computer Science
,  страницы 288-296

The SLCO Framework for Verified, Model-Driven Construction of Component Software

Тип публикации: Book Chapter
Дата публикации: 2018-10-06
Springer Nature
scimago Q2
SJR: 0.352
CiteScore: 2.4
Impact factor: —
ISSN: 03029743, 16113349, 18612075, 18612083
Краткое описание
We present the Simple Language of Communicating Objects (Slco) framework, which has resulted from our research on applying formal methods for correct and efficient model-driven development of multi-component software. At the core is a domain specific language called Slco that specifies software behaviour. In this paper, we discuss the language, give an overview of the features of the framework, and discuss our roadmap for the future.
Для доступа к списку цитирований публикации необходимо авторизоваться.
 Войти с ORCID

Топ-30

Журналы

1
2
3
4
5
6
7
Lecture Notes in Computer Science
Lecture Notes in Computer Science, 7, 63.64%
Lecture Notes in Computer Science
7 публикаций, 63.64%
Frontiers in High Performance Computing
Frontiers in High Performance Computing, 1, 9.09%
Frontiers in High Performance Computing
1 публикация, 9.09%
Science of Computer Programming
Science of Computer Programming, 1, 9.09%
Science of Computer Programming
1 публикация, 9.09%
1
2
3
4
5
6
7

Издатели

1
2
3
4
5
6
7
Springer Nature
Springer Nature, 7, 63.64%
Springer Nature
7 публикаций, 63.64%
Institute of Electrical and Electronics Engineers (IEEE)
Institute of Electrical and Electronics Engineers (IEEE), 2, 18.18%
Institute of Electrical and Electronics Engineers (IEEE)
2 публикации, 18.18%
Frontiers Media S.A.
Frontiers Media S.A., 1, 9.09%
Frontiers Media S.A.
1 публикация, 9.09%
Elsevier
Elsevier, 1, 9.09%
Elsevier
1 публикация, 9.09%
1
2
3
4
5
6
7
  • Мы не учитываем публикации, у которых нет DOI.
  • Статистика публикаций обновляется еженедельно.

Вы ученый?

Создайте профиль, чтобы получать персональные рекомендации коллег, конференций и новых статей.
 Войти с ORCID
Метрики
11
Поделиться
Цитировать
ГОСТ |
Цитировать
ГОСТ Скопировать
de Putter S. et al. The SLCO Framework for Verified, Model-Driven Construction of Component Software // Lecture Notes in Computer Science. 2018. pp. 288-296.
ГОСТ со всеми авторами (до 50) Скопировать
de Putter S., Wijs A., Zhang D. The SLCO Framework for Verified, Model-Driven Construction of Component Software // Lecture Notes in Computer Science. 2018. pp. 288-296.
RIS |
Цитировать
RIS Скопировать
TY - GENERIC
DO - 10.1007/978-3-030-02146-7_15
UR - https://doi.org/10.1007/978-3-030-02146-7_15
TI - The SLCO Framework for Verified, Model-Driven Construction of Component Software
T2 - Lecture Notes in Computer Science
AU - de Putter, Sander
AU - Wijs, Anton
AU - Zhang, Dan
PY - 2018
DA - 2018/10/06
PB - Springer Nature
SP - 288-296
SN - 0302-9743
SN - 1611-3349
SN - 1861-2075
SN - 1861-2083
ER -
BibTex
Цитировать
BibTex (до 50 авторов) Скопировать
@incollection{2018_de Putter,
author = {Sander de Putter and Anton Wijs and Dan Zhang},
title = {The SLCO Framework for Verified, Model-Driven Construction of Component Software},
publisher = {Springer Nature},
year = {2018},
pages = {288--296},
month = {oct}
}
Ошибка в публикации?