PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 20

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  wzorce projektowe
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available Utilizing Object Capabilities to Improve Web Application Security
Koppmann Michael, Kudera Christian, Pucher Michael, Merzdovnik Georg
Applied Cybersecurity & Internet Governance
|
2022
|
Vol. 1, No. 1
1--18
EN
Nowadays, more and more applications are built with web technologies, such as HTML, CSS, and JavaScript, which are then executed in browsers. The web is utilized as an operating system independent application platform. With this change, authorization models change and no longer depend on operating system accounts and underlying access controls and file permissions. Instead, these accounts are now implemented in the applications themselves, including all of the protective measures and security controls that are required for this. Because of the inherent complexity, flaws in the authorization logic are among the most common security vulnerabilities in web applications. Most applications are built on the concept of the Access-Control List (ACL), a security model that decides who can access a given object. Object Capabilities, transferable rights to perform operations on specific objects, have been proposed as an alternative to ACLs, since they are not susceptible to certain attacks prevalent for ACLs. While their use has been investigated for various domains, such as smart contracts, they have not been widely applied for web applications. In this paper, we therefore present a general overview of the capability- based authorization model and adapt those approaches for use in web applications. Based on a prototype implementation, we show the ways in which Object Capabilities may enhance security, while also offering insights into existing pitfalls and problems in porting such models to the web domain.
2
Content available Weryfikacja użycia metody oceny jakości implementacji wzorców projektowych w zastosowaniu produkcyjnym
Wojszczyk Rafał, Stola Piotr
Zeszyty Naukowe Wydziału Elektroniki i Informatyki Politechniki Koszalińskiej
|
2019
|
Nr 14
83--92
PL
Programiści pracujący zgodnie z metodykami zwinnymi bardzo chętnie implementują wzorce projektowe w trakcie swojej pracy. Często robią to bazując wyłącznie na własnym doświadczeniu, co nie uwzględnia dodatkowych korzyści, których można oczekiwać po implementacji wzorców. Celem artykułu jest przedstawienie przebiegu i wyników z weryfikacji metody oceny wzorców projektowych w zastosowaniu produkcyjnym. Eksperyment przeprowadzono wspólnie z zewnętrzną firmą, pracującą według zwinnej metodyki wytwórczej.
EN
Developers working according to agile methodologies are very happy to implement design patterns in their work. They often do so based solely on their own experience, which does not take into account the additional benefits that can be expected from implementing patterns. The purpose of the article is to present the mileage and results of verification of the method of assesment design patterns in production. The experiment was conducted jointly with an external company, working according to a agile manufacturing methodology.
3
Content available Model i metoda oceny jakości implementacji wzorców projektowych
Wojszczyk Rafał
Zarządzanie Przedsiębiorstwem
|
2019
|
Vol. 22, nr 4
22--28
EN
Design patterns are very popular in programmers. It allow you to solve choosen problems in the object-oriented languages, and also provide some benefits, for example: lower cost of program upgrades. Implementations of patterns (even the same kind) can vary considerably from one another and do not provide the expected benefits. The paper presents a solution for measuring the implementation of patterns, and then provides a verification of this solution in practice and on the space of a joint formal representation.
4
Content available Verification of accuracy and cost of use methos of quality assessment of implementation of design patterns
Wojszczyk Rafał
Applied Computer Science
|
2019
|
Vol. 15, no 1
5--17
EN
Professional programmers use many additional tools over the Integrated Development Environment during their work. Very often they are looking for new solutions, while expecting that the new tool will provide accurate results, and the cost of use will fit within the planned budget. The aim of the article is to present the results of two comparative analyzes carried out in terms of accuracy and the cost of using the quality assessment method of implementation of design patterns.
5
Content available The agent, state-space model of the mobile robot
Oprzędkiewicz K., Ciurej M., Garbacz M.
Pomiary Automatyka Robotyka
|
2018
|
R. 22, nr 3
41--50
EN
The paper is devoted to present a new agent model of wheeled mobile robot. The proposed model based on nonlinear state space, discrete model of kinematics and employes Braitenberg algorithm to control the robot during move to target with passing obstacles. As a real robot the Khepera robot with IR proximity sensors was considered. The proposed agent model can be generalized onto another similar classes of devices. Results of experiments show that the proposed model correctly describes the behaviour of real device during realization of different jobs, for example obstacle passing.
PL
W artykule zaprezentowano nowy model agentowy kołowego robota mobilnego. Proponowany model bazuje na nieliniowym równaniu stanu opisującym kinematykę robota i wykorzystuje algorytm Braitenberga z zadanym punktem końcowym w celu omijania przeszkód. Jako przykład rzeczywistego robota rozważono robot Khepera III z czujnikami IR do wykrywania i omijania przeszkód. Zaproponowany model agentowy może być uogólniony na inne klasy podobnych urządzeń. Wyniki symulacji pokazują, że zaproponowany model dobrze opisuje zachowanie się rzeczywistego urządzenia podczas realizacji różnych zadań, np. przy omijaniu przeszkód.
6
Content available Zastosowanie technik eksploracji danych na przykładzie badania popularności wzorców projektowych w serwisie społecznościowym Stackoverflow.com
Czyczyn-Egird D., Wojszczyk R.
Zeszyty Naukowe Wydziału Elektroniki i Informatyki Politechniki Koszalińskiej
|
2016
|
Nr 10
81--94
PL
Idea sieci społecznościowych jest znana od wielu lat. Jednak dopiero od niedawna nabrały nowego znaczenia, do czego przyczyniła się popularność współczesnych serwisów społecznościowych. Generowana treść przez społeczności jest ogromnym zasobem wiedzy do przeanalizowania. W artykule przedstawiono wyniki badań nad popularnością wzorców projektowych w oparciu o dane zgromadzone w wyspecjalizowanych sieciach społecznościowych. Wyniki badań uzyskano poprzez wykorzystanie technik eksploracji danych.
EN
The idea of social networks has been known for many years. However, only recently took on a new meaning, which was due to the popularity of today's social networks. Social service user-generated content constitutes tremendous stores of knowledge to be analysed. The article presented results of research on the popularity of design patterns on the basis of data gathered in the specialised social networks. The research results were obtained thanks to using data mining techniques.
7
Content available Wykorzystanie modeli danych do weryfikacji implementacji wzorców projektowych
Wojszczyk R., Khadzhynov W.
Zeszyty Naukowe Wydziału Elektroniki i Informatyki Politechniki Koszalińskiej
|
2016
|
Nr 10
193--209
PL
Wzorce projektowe to zagadnienie szeroko opisywane w uznanej literaturze i wykorzystywane przez wielu programistów, ale mimo to nie ma nad nimi formalnej kontroli. W artykule poruszony został problem weryfikacji implementacji wzorców projektowych stosowanych w programowaniu obiektowym. W procesie weryfikacji wyróżniono dwa modele danych: formalną reprezentację będącą ekwiwalentem badanego oprogramowania oraz repozytorium implementacji wzorców zawierające informacje opisujące implementację wzorców projektowych. Opracowane rozwiązanie pozwoli wykazać błędy i potencjalne problemy w implementacji.
EN
Although the design patterns constitute the issue that has been widely discussed in the literature and used by many software developers, there is no formal control over them. The article discussed the problem of verifying the implementation of design patterns applied in object-oriented programming. Two following data models were distinguished in the process of verification: a formal representation that is an equivalent of the analysed software, and a repository of implementation of patterns containing information describing the implementation of design patterns. The proposed solution will make it possible to show implementation errors and potential problems.
8
Content available Koncepcja hybrydowej metody do oceny jakości zaimplementowanych wzorców projektowych
Wojszczyk R.
Zeszyty Naukowe Wydziału Elektroniki i Informatyki Politechniki Koszalińskiej
|
2015
|
Nr 7
17--26
PL
Wzorce projektowe są jednym z elementów, które wpływają pozytywnie na wewnętrzną jakość oprogramowania. Celem publikacji jest przedstawienie koncepcji metody umożliwiającej ocenę zaimplementowanych wzorców projektowych. W pracy krótko przedstawiono różne modele jakości oprogramowania oraz wybrane badania związane z wzorcami projektowymi. Następnie opisana została koncepcja proponowanej metody, która łączy w sobie różne podejścia do statycznej analizy oprogramowania. Przedstawione zostało również rozwinięcie modelu danych reprezentującego badane oprogramowanie oraz kierunki dalszego rozwoju metody.
EN
Design patterns are one of the elements that have a positive impact on the internal quality of software. The aim of the publication is to present the concept of a method for evaluation of the implemented design patterns. This paper briefly presents the various models of software quality and selected research related to design patterns. Then it describes the concept of the proposed method which combines different approaches to static software analysis. It has also been presented a data model describing examined the software and directions for the further development of the method.
9
Zasady, heurystyki oraz skazy w projektowaniu zorientowanym obiektowo
Lewandowski T.
Studia Informatica
|
2015
|
Vol. 36, nr 3
61--80
PL
Artykuł omawia różne odmiany dobrych praktyk, które mają zastosowanie w projektowaniu zorientowanym obiektowo – heurystyki, zasady, skazy oraz wzorce. Na tej podstawie przedstawione zostają główne modele jakościowe projektu, tzw. modele FCM (ang. Factor-Criteria-Metric). W pracy zawarte są również metody pomiaru i identyfikacji problemów związanych z wymienionymi praktykami.
EN
Article describes different kinds of best practices which are used in the object oriented software design – heuristics, principles, smells and patterns. Based on that, there are presented main project quality models the so-called FCM (FactorCriteria-Metric) models. Additionally the measurement and problem identification connected with the mentioned best practices is discussed as well.
10
Content available remote Architektura aplikacji internetowych
Todryk Grzegorz
Zeszyty Naukowe WSEI. Seria Transport i Informatyka
|
2014
|
T. 4, nr 1
39--47
PL
Celem niniejszego artykułu jest przedstawienie architektury aplikacji internetowych (webowych), sposobu ich działania i zasad projektowania. Artykuł obejmuje zagadnienia związane z zasadą działania sieci internet, rodzajami technologii i języków programowania używanych przy tworzeniu aplikacji internetowych, a także używanych wzorców projektowych i szkieletów aplikacji. Jako przykład podano fragmenty kodu napisanego w języku PHP w Zend Framework.
EN
This paper aims at presentation of internet applications architecture, their operation and design principles. Presentation starts with review of Internet operation. Next short presentation of useful technologies and programming languages follows. Also design templates and application frameworks are briefly described. Practical code examples using PHP language and Zend framework form original part of the paper.
11
Content available remote From relatively isolated system to object approach : the story of system development & modeling tools
Greniewski M. J.
Studia i Materiały / Europejska Uczelnia Informatyczno-Ekonomiczna w Warszawie
|
2013
|
Nr 2(6)
19--28
EN
Business modeling (generally system modeling) approach with object oriented technology plays very imported role in today business engineering, information system design, and so on. The history of it is practically very short. Early models were built with so called boxes and connecting them into a set. There were two categories of boxes: one named a black box and the other white box. The functionality of boxes named as black was not formally described or unknown. The name white box concerns boxes with functionality formally described or known. In 1956 Henryk Greniewski (University of Warsaw)1 presented the very first theoretical approach to the principle of systems and processes modeling introducing the concept of the relatively isolated system. Two years later, Jay W. Forrester of Harvard University (who earlier specialized in flight simulation and modeling) published results concerning of usage box technique to simulate behavior of industrial dynamics2. The second step was performed by the Swedish team (directed by Ivar Jacobson3 – information system design with prototype of object approach, for Ericson company) around 1965, and the third by the Norwegian team (authors of Simula 674 – extension of Algol 60, first simulation language proposing concepts of primitive classes and objects: Ole-Johan Dahl & Kristen Nygaard of Norwegian Computing Center). Next step in development of the object concepts was the first object oriented programming language Smalltalk5; it was the beginning of further object oriented programming languages like Java, C# and others. The languages like UML6 (Unified Modeling Language) providing options for modeling of business processes, being under continued elaboration, seem to be the latest development up to now.
PL
Modelowanie systemów z użyciem podejścia obiektowego odgrywa współcześnie istotną rolę w inżynierii zarządzania, projektowaniu systemów informatycznych itp. Historia modelowania systemów jest bardzo krótka. Wczesne modele były budowane z tak zwanych skrzynek łączonych w kompletny model systemu. Uwzględniano dwie kategorie skrzynek: nazywanych odpowiednio czarnymi albo białymi skrzynkami. Funkcjonalność czarnych skrzynek była formalnie nieokreślona (domyślna). Funkcjonalność białych skrzynek była formalnie opisana i znane było jej działanie. Pierwsze teoretyczne podejście do zasad modelowania systemów względnie odosobnionych (pierwowzór podejścia obiektowego) przedstawił Henryk Greniewski w 1956 roku. Dalszy rozwój tej idei pokazano w podejściu do projektowania systemu informacyjnego dla firmy Ericson (Szwecja) przez zespół Ivara Jacobsona około 1965 roku. Pierwsza implementacja zasad systemu względnie odosobnionego do programowania komputerów została zrealizowana w języku symulacji Simula 67. Język Smalltalk (1976) był przełomowy w sformułowaniu programowania obiektowego. Graficzny język obiektowy – UML – jest komputerowo zorientowanym narzędziem do modelowania systemów i procesów, stanowiącym rozwinięcie pierwotnych idei systemu względnie odosobnionego.
12
Content available From workflow design patterns to logical specifications
Klimek R.
Automatyka / Automatics
|
2013
|
Vol. 17, no. 1
59--63
EN
This work concerns issues related to automatic generation of logical specifications. Logical specifications can be extracted directly from developed software models. Received specification can be used in the process of a system formal verification using a deductive approach. The generated logical specification is just a set of temporal logie fonnulas as well as verified system properties are expressed in temporal logie. The extraction process is based on the idea of organizing the whole analyzed model as a set of certain design patterns of control flows. A method of automatic transformation of workflow design patterns to temporal logie formulas is proposed. These formulas constitute a logical specification and may be the first step towards a formal verification of system correctness using any method of the deduction-based reasoning. Applying the presented concepts enables bridging the gap between naturalness and intuitive of the deductive inference and the difficulty of its practical application in the case of software models.
PL
Praca dotyczy zagadnień związanych z automatyczną generacją i modelowaniem specyfikacji logicznej. Specyfikacja logiczna może być wygenerowana bezpośrednio z modeli oprogramowania. Tak uzyskana specyfikacja następnie może być wykorzystana w procesie formalnej weryfikacji przy wykorzystaniu podejścia dedukcyjnego. Wygenerowana specyfikacja reprezentowana jest przez zbiór formuł logiki temporalnej, również weryfikowane własności systemu mogą i powinny być wyrażone w logice temporalnej. Proces ekstrakcji opiera się na założeniu, aby cały analizowany model oprogramowania został zbudowany w oparciu o przyjęte, dowolne, ale najlepsze dla danej klasy zastosowań, wzorce projektowe. Została zaproponowana metoda automatycznej translacji wzorców projektowych (przepływów) do postaci formuł logiki temporalnej. Formuły te składają się na logiczną specyfikację i mogą stanowić pierwszy krok w kierunku formalnej weryfikacji poprawności systemów z wykorzystaniem dowolnej metody wnioskowania dedukcyjnego. Zastosowanie przedstawionych koncepcji umożliwia połączenie naturalności i intuicyjności samego wnioskowania logicznego oraz praktycznego zastosowania tych metod w przypadku modeli oprogramowania.
13
Projektowanie i wytwarzanie aplikacji typu RIA na platformę Adobe Flex. Technologie, wzorce, narzędzia
Augustyn D., Warchał Ł.
Studia Informatica
|
2011
|
Vol. 32, nr 2B
535-546
PL
W artykule przedstawiono zaproponowany przez autorów sposób projektowania i wytwarzania zaawansowanych aplikacji internetowych wykorzystujących konkretne technologie związane z platformą Adobe Flex. Omówiono zalecane praktyki, stosowane wzorce projektowe oraz przedstawiono wybrany framework aplikacyjny – PureMVC. Zaproponowano pewne jego rozszerzenia wspomagające proces wytwarzania oprogramowania.
EN
In this article authors propose the method of designing and developing advanced internet applications based on Adobe Flex. Best practices and some design patterns are discussed. The paper presents the particular application framework – PureMVC. Authors propose some extensions to the framework that support development process.
14
Content available Weryfikacja procesów biznesowych metodą dedukcyjną z wykorzystaniem logiki temporalnej
Klimek R.
Pomiary Automatyka Robotyka
|
2011
|
R. 15, nr 12
190-193
PL
Praca dotyczy formalnej analizy i weryfikacji modeli biznesowych wyrażonych w notacji BPMN. Weryfikacja oparta jest na wnioskowaniu dedukcyjnym. Jako metodę wnioskowania dla modeli biznesowych zaproponowano metodę tablic semantycznych, która cechuje się apagogicznością oraz analitycznością. Została przedstawiona metoda translacji podstawowych wzorców projektowych BPMN do formuł logiki temporalnej, stanowiących logiczną specyfikację analizowanegomodelu. Zarówno logiczna specyfikacja, jak i właściwości badanych procesów są wyrażone formułami tzw. najmniejszej logiki temporalnej. Formuły te są następnie przetwarzane z wykorzystaniem metody tablic semantycznych. Innowacyjność proponowanego podejścia może istotnie wpłynąć na redukcję kosztów wytwarzania oprogramowania, ze względu na możliwość wykrycia błędów oprogramowania już w fazie jego modelowania, wyprzedzając tym samym znacznie fazy implementacji i testowania.
EN
The paper concerns formal analysis and verification of business models expressed in BPMN. This verification is based on a deductive reasoning. As a method of inference for business models semantic tableaux method is proposed. Automatic trans- formations of the basic BPMN workflow patterns to temporal logic formulas are proposed. These formulas constitute a logical specification of the analyzed model. Both the logical specification and the desired system properties are expressed as formulas of the smallest linear temporal logic. These formulas are later processed using semantic tableaux method. Applying this innovative concept might result in software development costs reduction as some errors might be addressed in the modeling phase not in implementation or testing phase.
15
Wzorce projektowe w konstrukcji narzędzi przetwarzania kodu źródłowego
Forczek M., Bartela K., Szmal P.
Prace Naukowe Instytutu Informatyki Stosowanej Politechniki Wrocławskiej. Konferencje
|
2007
371-384
PL
Przedstawione w artykule wzorce projektowe definiują konstrukcję modułów front-end'u taką aby mogły one być wykorzystane w większej liczbie zastosowali związanych z przetwarzaniem kodu źródłowego. Wzorce pomagają uzyskać modularną implementację, pozwalającą na wygodne składanie ścieżki przetwarzania ze skompilowanych bibliotek dynamicznych. Pozwalają oddzielić bloki przetwarzania wstępnego od bloku semantyki. Ich stosowanie daje też korzyści w procesie produkcyjnym samych narzędzi - poprawia architekturę ich konstrukcji, wymusza wyodrębnienie wewnętrznych interfejsów pomiędzy blokami funkcjonalnymi, które stanowią następnie ważne elementy dokumentacji technicznej narzędzia. Wzorce z powodzeniem zastosowano w kilku projektach - zarówno komercyjnych jak i badawczych.
EN
Nowadays, the source code apart from behavioral description - which is essential to generate executable form. -contains also records of its construction assumptions, implementation details notes, testing process requirements, and other information as well. All those data are crucial to achieve good ratings in project supervision, risk minimizing, and product quality. In consequence, there are many purposes of source code processing: compilation, but also documentation generation, refactorizalion, integrity and.correctness verification etc. Design Patterns presented here define front-end modules construction, which gives a possibility of modules reuse. The Patterns enforce modular implementation style, which allows composing code processing path from dynamically linked units in a convenient way. They clearly separate source text processing front-end from semantics units. Also the tools development process can benefit from using these patterns: they improve internal architecture, introduce mid-interfaces between functional blocks that become important form of technical documentation of tool interiors. The design patterns described here have been successfully applied in a few projects - commercial and research ones.
16
Content available remote Design Patterns in Web-Oriented Cutting Systems
Hrytsyshyn Y., Tkachenko T.
Machine Dynamics Problems
|
2007
|
Vol. 31, No. 3
38-43
EN
Material cutting is widely used in various industries such as light, engineering, shipbuilding and other industries. Platforms of different shape are used to be cut into details. The most effective way of cutting is when the material waist is drawn to minimum. There are a lot of program solutions to automated material cutting. The major problem is that the cost of such solutions is often quite high comparing to the amount and quality of the tasks they solve. One way of solving this is the widening of functionality of the cutting system. But this immediately results in the increase of the system size and mainly of its cost. Another flaw of the existing systems is the difficulties with their upgrade and extension. When a new version is released, the customer must perform the migration to a new version by himself, which can take much time and costs.
17
Content available A compile-time deadlock detection pattern
Korzycki M.
Computer Science
|
2007
|
Vol. 8, Spec. Ed
85-92
EN
The paper presents the application of the trait technique in generic programming for compiletime deadlock detection and prevention in multihreaded applications.
PL
W artykule zaprezentowano przykład zastosowana techniki trejtów z C++ do wykrywania potencjalnych zakleszczeń w programie wielowątkowym.
18
Projekt systemu minimalizacji dla środowiska zorientowanego obiektowo
Korbaś G.
Zeszyty Naukowe. Informatyka / Politechnika Opolska
|
2005
|
Vol. 302, z. 2
91-106
PL
W artykule przedstawiono projekt systemu minimalizacji funkcji wielu zmiennych o wartościach rzeczywistych. Projekt wykonano dla środowiska zorientowanego obiektowo przy zastosowaniu zagadnień programowania obiektowego i wzorców projektowych. Poszczególne elementy systemu zobrazowano diagramami UML. Ostatecznie uzyskano prosty, elastyczny i efektywny system, który zaimplementowano w środowisku Delphi firmy Borland.
EN
The paper presents the project of the minimization system. It is designed for object oriented environment with the use of object oriented programming rules and design patterns. UML diagrams of project parts are presented. The system is simple, effective and flexible. It has been implemented in Borland's Delphi.
19
Content available remote Wzorce analityczne w projektowaniu systemów informacji przestrzennej
Kołodziński E., Ożarowski M.
Roczniki Geomatyki
|
2004
|
T. 2, z. 2
144-155
EN
The report presents description of analysis patterns usage in spatial information computer systems design. Specific features of GIS computer systems and modeling problems related to these systems are described. Reasons for considering process of GIS software design as specific process of software production are discussed. Report describes sources of patterns used during implementation of computer systems and best practices linked with usage of these models. Analysis GIS patterns definition is proposed. Formal description of such a pattern is presented. Several examples of analysis GIS patterns is discussed: street city network, physical resources transfer network. Usage of these patterns in systems created in GEOBA environment is shown. Justification of building analysis GIS patterns sets for national infrastructure library containing spatial data is presented. The most important scientific trends of analysis patterns usage in software design process and influence of these patterns on computer systems production is described.
20
Content available remote Ocena wykorzystania wzorców projektowych w tworzeniu systemów informacji przestrzennej
Rudowicz-Nawrocka J.
Roczniki Geomatyki
|
2004
|
T. 2, z. 2
156-159
EN
In this article the concept of design patterns and their using were discussed. Special usefulness of patterns in order to improve integration and possibilities of reusing GIS projects and models and to improve quality of software were stressed. Example of analysis pattern, which can be redused in different geospatial application, was presented. The lack of commonly using patterns by designers and the need of defining unambiguous structure patterns catalogue were stated.
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ć.