Zobrazeno 1 - 10
of 660
pro vyhledávání: '"specification languages"'
Publikováno v:
IET Cyber-Physical Systems, Vol 6, Iss 4, Pp 193-207 (2021)
Abstract The dependability characteristic of the control software of manufacturing systems is highlighted more than before, going through repeated changes to cope with various and varying requirements. Formal methods are researched to be applied to a
Externí odkaz:
https://doaj.org/article/f2d603309a134cd29e935e7d09bb0a4c
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Open Engineering, Vol 8, Iss 1, Pp 132-139 (2018)
We describe the language LLS-1 for logical specifying ontologies written in “Binary Model of Knowledge” (BMK). BMK is the system intended for specifying heavy-weight ontologies by means of conceptual-type languages. The language LLS-1 has a user-
Externí odkaz:
https://doaj.org/article/38ded965c8994d72a25cefa786b1e92d
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Current software development is often quite code-centric and aimed at short-term deliverables, due to various contextual forces (such as the need for new revenue streams from many individual buyers). We're interested in software where different force
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3afd972a302f76c2dea4fa332c083fa6
http://arxiv.org/abs/2302.00740
http://arxiv.org/abs/2302.00740
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Maskana, Vol 8, Iss 1 (2017)
Activities of a service life cycle require from developers the systematic reasoning about their related aspects. Specification languages are used in software engineering to improve the quality and delivery time of software systems by offering notatio
Externí odkaz:
https://doaj.org/article/d36bc30618a6414990ba83ed35a854a4
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Disaster Prevention and Management: An International Journal, 2008, Vol. 17, Issue 1, pp. 16-32.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/09653560810855856