This paper shows not only that the state of an objecty parameterizes the dyad (stimulus, response) but that it is also the performer of the state transition initiated by the stimulus. Thus, the logic object is a feedback composition of the logic pseudoobject and the static logic object. It is also stated that, without considering the new role of the state, the content of the concept "state" cannot be completely explained. The current intuitive conception of canonical decomposition of an entity is confronted with the exactly introduced decomposition and with the mentioned division of the logic object into a pseudoobject and a static object
Objects have been described as having identity, state and behaviour, but there are differing views a...
A general, rigorous but reasonably simple, and meaningful approach to the concept of state for circu...
Classical algebraic specification is an accepted framework for specification. A criticism which appl...
This paper shows not only that the state of an objecty parameterizes the dyad (stimulus, response) b...
The marriage of logic and objects is a very wide-ranging problem, approached with various approaches...
The marriage of logic and objects is a very wide-ranging problem, approached with various approaches...
The paper deals with the state and performance of a logical object on a state-differentiating level ...
A logical characterization of the typical features of object-oriented languages could yield a clear ...
Objects have been described as having identity, state and behaviour, but there are differing views a...
Although less studied than purely action or state based logics, state/event based logics are becomin...
Dynamic logic, broadly conceived, is the logic that analyses change by decomposing actions into thei...
Event-driven software systems continuously wait for occurrence of some external or internal events. ...
Objects can be seen, at an abstract level, as information tokens made of two parts: an identificatio...
In previous work, we proposed a logic-based framework in which computation is the execu-tion of acti...
michal,bezem¡ We discuss briefly the duality (or rather, complementarity) of system descriptions bas...
Objects have been described as having identity, state and behaviour, but there are differing views a...
A general, rigorous but reasonably simple, and meaningful approach to the concept of state for circu...
Classical algebraic specification is an accepted framework for specification. A criticism which appl...
This paper shows not only that the state of an objecty parameterizes the dyad (stimulus, response) b...
The marriage of logic and objects is a very wide-ranging problem, approached with various approaches...
The marriage of logic and objects is a very wide-ranging problem, approached with various approaches...
The paper deals with the state and performance of a logical object on a state-differentiating level ...
A logical characterization of the typical features of object-oriented languages could yield a clear ...
Objects have been described as having identity, state and behaviour, but there are differing views a...
Although less studied than purely action or state based logics, state/event based logics are becomin...
Dynamic logic, broadly conceived, is the logic that analyses change by decomposing actions into thei...
Event-driven software systems continuously wait for occurrence of some external or internal events. ...
Objects can be seen, at an abstract level, as information tokens made of two parts: an identificatio...
In previous work, we proposed a logic-based framework in which computation is the execu-tion of acti...
michal,bezem¡ We discuss briefly the duality (or rather, complementarity) of system descriptions bas...
Objects have been described as having identity, state and behaviour, but there are differing views a...
A general, rigorous but reasonably simple, and meaningful approach to the concept of state for circu...
Classical algebraic specification is an accepted framework for specification. A criticism which appl...