Add to ORKGThis paper presents a model for the creation of software systems using the example of a menu-select interaction system based on Communication Sequential Process (CSP) theory. This theory enables the specification and analysis of various patterns of communication between processes. The model includes the specifications of commonly used processes such as ‘stoppable’, ‘resettable’, ‘backtrackable ’ and ‘coroutine’. Implementation of the model has been carried out on the basis of LISP language and it has been approved in a series of tests
AbstractIdealized CSP is a programming language combining simply typed, call-by-name procedures with...
Abstract: This paper summarizes a model of interaction for CVEs inspired by the process followed in ...
This paper proposes a new modeling method of inter-actions in software development process, which fo...
This paper presents a model for the creation of software systems using the example of a menu-select ...
The use of formal notations has many advantages in the specification of interactive systems. However...
CSP (Communicating Sequential Processes) is a notation proposed by Hoare, for expressing process com...
We discuss issues relating to the use of CSP, a process-based formal notation, in the specification ...
technical reportCommunicating Sequential Processes (CSP) is a well known paradigm for communication ...
Two possibilities of automated CSP (Communicating Sequential Processes) support are introduced in [1...
As software systems continue to increase in sophistication and complexity, so do the interface requi...
© 2016, International Journal of Pharmacy and Technology. All rights reserved.The current stage of d...
Communicating Sequential Processes (CSP) is a well-known formal language for describing concurrent s...
. Virtual environments are made up of many components that are typically specified at different leve...
AbstractIn a research report we have proposed an axiomatic semantics for the language of communicati...
We define a translation from the User Action Notation (UAN) to the process algebra Communicating Seq...
AbstractIdealized CSP is a programming language combining simply typed, call-by-name procedures with...
Abstract: This paper summarizes a model of interaction for CVEs inspired by the process followed in ...
This paper proposes a new modeling method of inter-actions in software development process, which fo...
This paper presents a model for the creation of software systems using the example of a menu-select ...
The use of formal notations has many advantages in the specification of interactive systems. However...
CSP (Communicating Sequential Processes) is a notation proposed by Hoare, for expressing process com...
We discuss issues relating to the use of CSP, a process-based formal notation, in the specification ...
technical reportCommunicating Sequential Processes (CSP) is a well known paradigm for communication ...
Two possibilities of automated CSP (Communicating Sequential Processes) support are introduced in [1...
As software systems continue to increase in sophistication and complexity, so do the interface requi...
© 2016, International Journal of Pharmacy and Technology. All rights reserved.The current stage of d...
Communicating Sequential Processes (CSP) is a well-known formal language for describing concurrent s...
. Virtual environments are made up of many components that are typically specified at different leve...
AbstractIn a research report we have proposed an axiomatic semantics for the language of communicati...
We define a translation from the User Action Notation (UAN) to the process algebra Communicating Seq...
AbstractIdealized CSP is a programming language combining simply typed, call-by-name procedures with...
Abstract: This paper summarizes a model of interaction for CVEs inspired by the process followed in ...
This paper proposes a new modeling method of inter-actions in software development process, which fo...