Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
Formal specification of software components, as a core research area in software engineering, has been widely studied in decades. Although quite a few formal models have been proposed for this purpose, specification of concrete software components is still a challenging task due to the complexity of the functionalities of the components. In this paper, we use the stream function model to specify the...
Formal specifications of software components are critical to software development. Several types of formal or semi-formal methods are commonly used for software specification, such as specification languages, graphic diagrams, algebraic descriptions, and stream functions. Each of these methods addresses the specification problem from a different view point and has its own strengthens and weaknesses...
The basic queue is a first-in-first-out linear data structure (software component). It can be considered as a communication device with one input port and one output port. In the paper, we investigate the behavior of an extended queue that has one input channel and multiple output channels. An enter-queue command enters a data item into the queue as does an ordinary queue, but a de-queue command removes...
An interactive stack is a software component which stores data in a last in/first out strategy. The regular behaviour of an interactive stack captures all input streams of push and pop commands which do not lead to a stack underflow. We investigate the behaviour of interactive stacks for input streams outside the service domain. We specify a fault sensitive stack, a fault tolerant stack, a robust...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.