Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 4

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last

Wyniki wyszukiwania

help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote

Transformation of dynamic aspects of UML models into LOTOS behaviour expressions

100%
Hnatkowska B., Huzar Z.
International Journal of Applied Mathematics and Computer Science
|
2001
|
tom 11
|
nr 2
537-556
EN
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.
2
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

Jerzy Battek - computer scientist from mathematicians

100%
Huzar Z., Szajowski K. J.
Antiquitates Mathematicae
|
2019
|
tom 13
PL
Artykuł przybliża sylwetkę Jerzego Batteka (14.01.1927--12.08.1991), który należał do tego pokolenia młodzieży, któremu udało się przetrwać okres II Wojny Światowej, nie przerywając całkowicie nauki szkolnej. W czasie okupacji uczył się na tajnych kompletach II Ośrodka Naukowego i uzyskał małą maturę w 1945 roku. Pełną maturę zdał w 1947 roku w Państwowym Liceum dla Dorosłych we Wrocławiu, po której rozpoczął studia na Wydziale Matematyki, Fizyki Chemii Uniwersytetu i Politechniki Wrocławskiej. Studia ukończył w 1952 roku jako magister filozofii. Po studiach, w 1952 roku, rozpoczął pracę w Katedrze Matematyki na Wydziale Mechanicznym Politechniki Wrocławskiej i jednocześnie był aktywnym uczestnikiem Seminarium Matematyki Stosowanej zorganizowanym i początkowo prowadzonym przez Hugona Steinhausa. Pracę doktorską, przygotowaną pod kierunkiem Juliana Perkala, obronił w 1961 roku. W 1962 roku zostaje mu powierzone kierowanie Zakładem Metod Numerycznych i Graficznych w Katedrze Matematyki Politechniki Wrocławskiej, co rozpoczęło istotny zwrot Jego zainteresowań w kierunku zagadnień objętych dzisiaj informatyką. W 1965 roku obejmuje kierownictwo Ogólnouczelnianego Ośrodka Obliczeniowego z wrocławską maszyną Odra-1003. Końcowy fragment niniejszego opracowania poświęcony jest zagadnieniom, które miały istotne znaczenie dla doc. Jerzego Battka w okresie, który rozpoczęło utworzenie Ośrodka Obliczeniowego do końca życia.
EN
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 Chemistry at the University and Wrocław University of Technology. He graduated in 1952 as a master of philosophy. After graduation, in 1952, he started working at the Department of Mathematics at the Faculty of Mechanical Engineering of the Wrocław University of Technology and at the same time was an active participant in the Applied Mathematics Seminar organized and led initially by Hugo Steinhaus. He defended his doctoral thesis, prepared under the direction of Julian Perkal, in 1961. In 1962 he was entrusted with managing the Department of Numerical and Graphic Methods in the Mathematics Department of the Wrocław University of Technology, which began a significant shift of his interests towards the issues covered by IT today. In 1965, he took over the management of the University-wide Computing Center with the Odra-1003 machine from Wrocław. The final fragment of this study is devoted to issues that were important for doc. Jerzy Battek during the period that began the creation of the Computing Center for the rest of his life. This period of his life concide with important part of birth of computer science, which is usually associated with the birth and spread of computers.
3
Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik
Content available

Computer science at Wroclaw University of Science and Technology - seventies and eighties

100%
Huzar Z., Bilski E.
Antiquitates Mathematicae
|
2016
|
tom 10
PL
Artykuł omawia kształtowanie się i rozpowszechnianie zastosowań infomatyki w latach siedemdiesiątych i osiemdziesiątych ubiegłego wieku w Politechnice Wrocławskiej. W szczególności skupia się na formowaniu i realizacji programów związanych z projektowaniem i zastosowaniem systemow i sieci komputerowych.
EN
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 in Polish terminology. For a long time it was said about the machines doing mathematical counting or digital machines, and the computer has denied these terms until the end of the seventies. Also, the term computer came late – the first ex cathedra sounded in Poland only in 1968, and the author of the term is considered Romuald Marczyński.
4
Content available remote

Refinement of UML collaborations

81%
Hnatkowska B., Huzar Z., Tuzinkiewicz L.
International Journal of Applied Mathematics and Computer Science
|
2006
|
tom 16
|
nr 1
155-164
EN
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 notion of sub-collaborations allows us to refine collaboration diagrams in a systematic way.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.