The lack of formal semantics for the UML creates many ambiguity problems, especially when real-time systems are specified. The paper proposes an approach to a formal definition of UML statecharts. Main features of the UML statecharts are described, and next, a transformation of the UML statecharts into LOTOS is defined.
Birth of computer science is usually associated with the birth and spread of computers. This may be due to the development of technology and electronic techniques, but different ideas of building computing machines has already formed two centuries ago. Computers, from the first moments of its existence, have been a source of fascination. They perceived their potential meant that the mass journalism, also Polish, appeared electronic brain. Currently used the word computer a long time could not settle...
The paper concerns the concept of refinement as a commonly used design practice in the software development process. The refinement relationship is formulated and formally expressed for UML collaborations. Collaborations are suitable for presenting the proposed approach as they represent both static and dynamic aspects of a modeled system or its part, for example, a use case. Our approach to refinement is based on the rule of preserving the observable behavior of a modeled system. The introduced...
The article introduces the figure of Jerzy Jan Battek (January 14, 1927 - August 12, 1991), who belonged to this generation of youth who managed to survive the period of World War II, without interrupting school education altogether. During the occupation, he studied in secret sets of the Second Science Center and obtained a small high school diploma in 1945. He graduated in 1947 at the State Secondary School for Adults in Wrocław, after which he began studying at the Faculty of Mathematics, Physics...
Page 1