Zobrazeno 1 - 10
of 33
pro vyhledávání: '"Vilkomir, Sergiy A."'
Publikováno v:
In Information and Software Technology 2009 51(2):478-496
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.
Autor:
Vilkomir, Sergiy, Pennell, Galen
Publikováno v:
2016 IEEE Ninth International Conference on Software Testing, Verification & Validation Workshops (ICSTW); 2016, p39-45, 7p
non-peer-reviewed This paper describes the application of the Trace Function Method to specify the requirements of a software component. We illustrate the method on a software component of a telecommunications system that was developed by Ericsson. B
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1249::4843e94c48885ff80587db84a94c31de
non-peer-reviewed This paper presents a method of estimating the availability of fault-tolerant computer systems with several recovery procedures. A segregated failures model has been proposed recently for this purpose. This paper provides further an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1249::3e83e1f9c1ad589965588902a5f7b3bb
non-peer-reviewed
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1249::ad22bfe5a491a4a6f70548d112c04783
non-peer-reviewed We describe our experience applying tabular mathematical approaches to software specifications. Our purpose is to show alternative approaches to writing tabular specifications and to help practitioners who want to apply such methods
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1249::158a2d8e759aeb62e5015a9c8f6c8fd7
non-peer-reviewed Agent-oriented conceptual modelling (AOCM) is a relatively new technique that offers significant benefits in the modelling and development of complex computer systems. It is highly effective in answering questions such that what are
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1249::65661999724e3944da187b558ad976f6
Non-peer-reviewed Agent-oriented Conceptual Modelling (AoCM, as exemplified by the i* notation [5], represents an interesting approach to modelling early phase requirements that is particularly effective in capturing organizational contexts, stakehol
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1249::67493ac8869f9460b6a3ca7127ede19b
Publikováno v:
2015 9th International Symposium on Image & Signal Processing & Analysis (ISPA); 2015, p44-47, 4p