Zobrazeno 1 - 10
of 14
pro vyhledávání: '"T. Naks"'
Publikováno v:
ACM SIGAda Ada Letters. 40:74-78
This paper describes work in progress on a workflow that supports consistent property-preservation proofs from early stages of system requirements specifications down to software requirements and final implementation. This workflow, called System-to-
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1d6d3cf426050d9862c120200fedad79
https://doi.org/10.1145/3431235.3431241
https://doi.org/10.1145/3431235.3431241
Publikováno v:
IFAC Proceedings Volumes. 33:69-76
This paper describes efforts made to facilitate the use of UML based tools (e.g. Booch et al, 1999) in time-sensitive and dependable distributed applications. Those efforts are based on theories developed and applied for analysing timing properties o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::38815a7334536f8acec85b5d315dd635
https://doi.org/10.1016/s1474-6670(17)36732-0
https://doi.org/10.1016/s1474-6670(17)36732-0
Publikováno v:
IFAC Proceedings Volumes. 29:7-12
A variay of tools, based on object-orimted design methodology is already available commercially. Many new tools are being developed. Many applications built by using these tools are inherently time-critical. However, it is widely known that object-or
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::418d4080ed52797c46f4320dfe694cde
https://doi.org/10.1016/s1474-6670(17)46347-6
https://doi.org/10.1016/s1474-6670(17)46347-6
Publikováno v:
ISORC
The paper discusses the role of timing analysis through the whole system life cycle. It is suggested that the handling of non functional requirements, especially timing requirements, should be regulated by a life cycle model in the same way as other
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cadcab95722a30249a58926c574364c0
https://doi.org/10.1109/isorc.1998.666804
https://doi.org/10.1109/isorc.1998.666804
Publikováno v:
WORDS
It is widely known that object-oriented methodologies, in spite of all their virtues, are pretty awkward in verifying quantitative time correctness of the specification, design and implementation of a developed product. This paper discusses some reas
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::99e08f7a979d44b99a5180d1a3d25930
https://doi.org/10.1109/words.1997.609944
https://doi.org/10.1109/words.1997.609944
Publikováno v:
ICECCS
Timing constraints and timing correctness are not only software implementation problems but are also, to a large extent, specification and design problems. The most widely studied items-scheduling algorithms and performance-are typical implementation
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9a80bb1980ba2e2688a273057f0a4f6c
https://doi.org/10.1109/iceccs.1995.479347
https://doi.org/10.1109/iceccs.1995.479347
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.
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.
Kniha
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.