Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "Inżynieria oprogramowania" wg kryterium: Wszystkie pola

  Lista filtrów
Wyrównaj
Wyświetlanie 1-25 z 29
Tytuł:
Inżynieria oprogramowania. Przegląd metodyk
Software Engineering. Review of Methodologies
Autorzy:
Burgielski, Benedykt
Powiązania:
https://bibliotekanauki.pl/articles/509622.pdf
Data publikacji:
2016
Wydawca:
Akademia Finansów i Biznesu Vistula
Tematy:
inżynieria oprogramowania
metodyki
BPMN
software engineering
methodologies
Business Process Model and Notation (BPMN)
Opis:
W artykule dokonano przeglądu niektórych metodyk inżynierii oprogramowania oraz oceniono ich wady i zalety. Przedstawiono najnowsze tendencje szczególnie w obszarze rozwiązań typu BPMN. Pokazano przyczyny, które wymusiły stworzenie narzędzi w ramach inżynierii oprogramowania. W kolejnych częściach artykułu zawarto opisy trzech metodyk – obiektowej, strukturalnej i BPMN. W zakończeniu porównano i oceniono przydatność poszczególnych metodyk.
The author made a short review of some software engineering methodologies. Evaluation of strengths, weaknesses, and limitations of these methodologies is made in this paper. The author brings forward new perspectives in this area: the BPMN (Business Process Modelling Notation) methodology. In point 2, there are shown some reasons for creating particular tools in the software engineering area of interest. Points 3-5 contain a short description of three of them: structured approach, object approach and BPMN. In the conclusion part, the author made comparisons and evaluated usefulness of particular methodologies.
Źródło:
Zeszyty Naukowe Uczelni Vistula; 2016, 49(4) Informatyka; 57-69
2353-2688
Pojawia się w:
Zeszyty Naukowe Uczelni Vistula
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On computer-assisted software engineering – a personal view
Inżynieria oprogramowania wspomagana komputerowo. Spojrzenie osobiste
Autorzy:
Stańczyk, Stefan
Powiązania:
https://bibliotekanauki.pl/articles/944216.pdf
Data publikacji:
2014
Wydawca:
Polski Uniwersytet na Obczyźnie w Londynie
Tematy:
komunikacja
komputer
inżynieria komputerowa
informatyka
programowanie
technika programowania
oprogramowanie
Opis:
Artykuł prezentuje informatykę jako dziedzinę nauki powstałą z połączenia elementów matematyki, nauk ścisłych i humanistycznych. Końcowy produkt informatyki – informatyczne systemy użytkowe – przewyższają stopniem komplikacji wiele zadań inżynierskich ze względu na odmienny typ przetwarzanych materiałów, wysoki poziom abstrakcji i konieczność dyskretnego prezentowania obiektów i procesów zachodzących w ciągłej rzeczywistości. Artykuł wskazuje również na podobieństwa i różnice pomiędzy inżynierią oprogramowania a tradycyjnymi dziedzinami inżynierskimi, takimi jak budownictwo, mechanika czy elektronika, i na tej podstawie stawia tezę o wysokiej przydatności systemów komputerowych do budowy aplikacji informatycznych.
Źródło:
Zeszyty Naukowe PUNO; 2014, 2; 181-185
2052-319X
Pojawia się w:
Zeszyty Naukowe PUNO
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Inżynieria wymagań w metodach Agile
Requirements Engineering in Agile Software Development
Autorzy:
Lipski, A.
Powiązania:
https://bibliotekanauki.pl/articles/1396866.pdf
Data publikacji:
2010
Wydawca:
Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:
Agile
inżynieria wymagań
inżynieria oprogramowania
agile
requirements engineering
software engineering
Opis:
"Zwinne" wytwarzanie oprogramowania (Agile Software Development) stało się bardzo popularne na przestrzeni kilku ostatnich lat. Metody Agile zostały wymyślone w celu szybszego dostarczenia działającego oprogramowania do klienta oraz dostosowania się oprogramowania do zmiennych potrzeb klienta. Można zauważyć, że istnieje wiele technik i praktyk wymyślonych oraz opracowanych w kontekście tradycyjnej inżynierii wymagań, które obecnie wykorzystywane są z dobrym rezultatem przez metody Agile. Celem tego artykułu jest pokazanie, w jaki sposób techniki inżynierii wymagań są wykorzystywane przez metody Agile oraz w jaki sposób metody te mogą być udoskonalone za pomocą tych technik.
Agile Software Development approaches have become increasingly popular during the last few years. Agile practises have been developed with the aim to deliyer software faster and to ensure that the software meets changing needs of customers. We can find out that there are a lot of practices and approaches which are created and developed in context of traditional Requirements Engineering and which are used by Agile methods with a good result. The goal of this article is to show how the Requirements Engineering technics are used by Agile methods and how this methods can be improved by them.
Źródło:
Biuletyn Instytutu Systemów Informatycznych; 2010, 5; 47-53
1508-4183
Pojawia się w:
Biuletyn Instytutu Systemów Informatycznych
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Creative problem solving in software engineering organization
Kreatywne rozwiązywanie problemów w wytwarzaniu oprogramowania w organizacji
Autorzy:
Olczyk, Grzegorz
Powiązania:
https://bibliotekanauki.pl/articles/586024.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Ekonomiczny w Katowicach
Tematy:
Creativity
Management
Projects
Software engineering
Inżynieria oprogramowania
Kreatywność
Projekty
Zarządzanie
Opis:
The aim of the article is to present the neglected issue of creativity in organi-zations in Poland in the context of the knowledge workers’ environment. For instance, software development processes demonstrated the possibilities of expanding functional flow with creative problem solving (CPS) operations. Also, there were presented empiri-cal works and creative techniques used, which contributed to finding new and unique problem solutions. The text can be a theoretical background for undertaking empirical research in the field of creativity in the organization and contribute to filling knowledge gaps in Polish literature on creativity in knowledge-based organizations.
Celem artykułu jest przedstawienie pomijanego w literaturze zagadnienia kreatywności w organizacjach w Polsce w kontekście otoczenia pracowników wiedzy. Na przykładzie procesów tworzenia oprogramowania zademonstrowano możliwości rozszerzenia przepływu funkcjonalnego o kreatywne rozwiązywanie problemów CPS (Creative Problem Solving). Przedstawiono również prace empiryczne oraz wykorzystane w nich techniki kreatywne, które przyczyniły się do znalezienia nowych i unikalnych rozwiązań problemu. Tekst może stanowić teoretyczne zaplecze dla podjęcia badań empirycznych w dziedzinie kreatywności w organizacji oraz przyczynić się do wypełnienia niedoborów wiedzy w polskiej literaturze o kreatywności w organizacji opartej na wiedzy.
Źródło:
Studia Ekonomiczne; 2019, 390; 18-33
2083-8611
Pojawia się w:
Studia Ekonomiczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Software configuration management for multiple releases: influence on development effort
Zarządzanie konfiguracją oprogramowania dla wielu wersji: wpływ na koszt wytwarzania
Autorzy:
Maludziński, S. P.
Powiązania:
https://bibliotekanauki.pl/articles/305437.pdf
Data publikacji:
2007
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
zarządzanie konfiguracją oprogramowania
inżynieria oprogramowania
software configuration management
SCM
multisite
software engineering
Opis:
Software Configuration Management (SCM) evolves together with the discipline of software engineering. Teams working on software products become larger and are geographically distributed at multiple sites. Collaboration between such groups requires well evaluated SCM plans and strategies to easy cooperation and decrease software development cost by reducing time spent on SCM activities - branching and merging, that is effort utilized on creation of revisions ('serial' versions) and variants ('parallel' versions). This paper suggests that SCM practices should be combined with modular design and code refactoring to reduce cost related to maintenance of the same code line. Teams which produce several variants of the same code line at the same time should use approaches like components, modularization, or plug-ins over code alternations maintained on version branches. Findings described in this paper were taken by teams in charge of development of radio communication systems in Motorola GEMS divisions. Each team collaborating on similar projects used different SCM strategies to develop parts of this system.
Zarządzanie konfiguracją oprogramowania (SCM) ewoluuje razem z dyscypliną inżynierii oprogramowania. Zespoły pracujące nad wytwarzaniem oprogramowania stają się coraz większe oraz niejednokrotnie fizycznie znajdują się w ośrodkach położonych na różnych kontynentach. Współpraca pomiedzy takimi zespołami powinna opierać się na dobrze przygotowanych planach zarządzania konfiguracją oprogramowania. Niniejszy artykuł sugeruje, że praktyki zarządzania konfiguracją oprogramowania powinny być połączone z fazami projektowania oraz refaktoringiem kodu, tak aby zmniejszyć koszt zwiazany z utrzymaniem tej samej linii kodu. W opinii autora artykułu, każdy z wariantów oprogramowania powinien być wytwarzany przy użyciu technik innych niż związane z zarządzaniem konfiguracją. Zespoły pracujące nad kilkoma wariantami tej samej linii kodu powinny przedkładać biblioteki i komponenty nad modyfikacje dokonywane i utrzymywane na gałęziach wersji. Doświadczenia opisane w artykule zostały nabyte przez zespoły pracujące w dziale firmy Motorola zajmującym się wytwarzaniem oprogramowania dla systemów radiokomunikacyjnych.
Źródło:
Computer Science; 2007, 8, Spec. Ed; 109-116
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Logic programming tools for formal software specification
Zastosowanie narzędzi programowania logicznego do formalnej specyfikacji oprogramowania
Autorzy:
Przymusińska, H.
Powiązania:
https://bibliotekanauki.pl/articles/91501.pdf
Data publikacji:
2011
Wydawca:
Warszawska Wyższa Szkoła Informatyki
Tematy:
software engineering
logic programming
programming tools
inżynieria oprogramowania
programowanie logiczne
narzędzia programowania
Opis:
Two of the most important problems in software engineering are the problem of elaborating and refining software requirements into accurate specifications, and the problem of transforming specifications of complicated problems into executable code. Proving that software products produced agree with the specifications (verifiability) is the main reason for pursuing the study of formal specifications.
Jednym z najistotniejszych problemów w inżynierii oprogramowania jest opracowanie i zawężenie wymagań dotyczących oprogramowania w celu określenia dokładnych specyfikacji, a także kwestia przekształcenia specyfikacji dotyczących złożonych problemów w wykonywalne kody. Głównym powodem podjęcia się badania formalnych specyfikacji jest udowodnienie, że oprogramowanie produkowane jest z nimi zgodne (chodzi o weryfikowalność). Artykuł ukazuje, iż programowanie logiczne połączone z rachunkiem sytuacyjnym można z powodzeniem stosować jako formalną specyfikację oprogramowania.
Źródło:
Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki; 2011, 5, 6; 67-73
1896-396X
2082-8349
Pojawia się w:
Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Fire Control System Software for Remote Controlled Weapon Stations : History, State of the Art and Opportunities for Future Development
Oprogramowanie systemu kierowania ogniem zdalnie sterowanych modułów uzbrojenia : historia, teraźniejszość oraz perspektywy rozwoju
Autorzy:
Kruszyna, Rafał
Powiązania:
https://bibliotekanauki.pl/articles/403502.pdf
Data publikacji:
2020
Wydawca:
Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:
software engineering
fire control system
software
inżynieria oprogramowania
system kierowania ogniem
oprogramowanie
Opis:
This paper presents the evolution of fire control system software for Remote Controlled Weapon Stations (ZSMU in Polish) developed and manufactured by Zakłady Mechaniczne “Tarnów” S.A. (Poland). The paper describes the architecture, scope and purpose of research and development of the fire control system software, and the prospective directions of its future development. A complement to the paper is a specification of the optimisation methods used during the development of the fire control system software and the work organisation of a team of programmers working on the source code of the fire control system software. The paper illustrates how the consistent execution of research and development improves the effectiveness, scalability, and optimisation of the ZSMU fire control system software.
W publikacji przedstawiono ewolucję oprogramowania systemu kierowania ogniem zdalnie sterowanych modułów uzbrojenia ZSMU, opracowanych i produkowanych w Zakładach Mechanicznych „Tarnów”. Opisano architekturę, zakres i cel przeprowadzanych prac badawczo-rozwojowych oraz dalsze potencjalne kierunki rozwoju. Jako uzupełnienie, podano metody optymalizacji zastosowane przy rozwoju oprogramowania oraz organizację pracy dla wieloosobowego zespołu programistów, pracującego nad kodem źródłowym. Publikacja obrazuje, w jaki sposób konsekwentne prowadzenie prac badawczo-rozwojowych prowadzi do zwiększenia efektywności, skalowalności i optymalizacji oprogramowania systemu kierowania ogniem dla zdalnie sterowanych modułów uzbrojenia.
Źródło:
Problemy Mechatroniki : uzbrojenie, lotnictwo, inżynieria bezpieczeństwa; 2020, 11, 2 (40); 95-110
2081-5891
Pojawia się w:
Problemy Mechatroniki : uzbrojenie, lotnictwo, inżynieria bezpieczeństwa
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
UML – punkt widzenia studenta uczelni technicznej w Lublinie
Autorzy:
Ulidowski, Adam
Wrzos, Jan
Włodarczyk, Bartłomiej
Krocz, Krzysztof
Drozd, Patryk
Żyła, Kamil
Powiązania:
https://bibliotekanauki.pl/articles/98232.pdf
Data publikacji:
2019
Wydawca:
Politechnika Lubelska. Instytut Informatyki
Tematy:
UML
software engineering
information system modelling
survey
inżynieria oprogramowania
modelowanie systemów informatycznych
ankieta
Opis:
Unified Modeling Language (UML) is a commonly known OMG (Object Management Group) standard for designing software systems. However, practice shows that the usage of UML varies depending on the specificity of a software system and company. The authors decided to explore the perspective of students with experience in using UML by conducting an exploratory survey with them. Analysis of the data gathered revealed that they use UML diagrams as an additional help when developing software. The main risk turned out to be different diagram interpretations. At last, the main motivation to learn UML was obtaining a credit at university.
Unified Modeling Language (UML) jest powszechnie nauczanym i stosowanym standardem Object Management Group (OMG) służącym do opisu systemów informatycznych. Jednakże praktyka pokazuje, że użyteczność UML waha się w zależności od specyfiki projektu i systemu informatycznego. Autorzy zdecydowali się przeprowadzić ankietę badającą opinie studentów, mających styczność z językiem UML, na temat wykorzystania wykonanych w nim diagramów. Analiza zebranych ankiet wykazała, że diagramy UML pełnią zazwyczaj rolę pomocniczą, głównym ryzykiem ich użycia są różnice w ich interpretacji, a główną motywacją do nauki jest uzyskanie zaliczenia na uczelni.
Źródło:
Journal of Computer Sciences Institute; 2019, 13; 279-282
2544-0764
Pojawia się w:
Journal of Computer Sciences Institute
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Online Robotic Labs In Software Engineering Courses
Zdalne laboratoria robotyki w zajęciach inżynierii oprogramowania
Autorzy:
Gonzalez, F.
Zalewski, J.
Powiązania:
https://bibliotekanauki.pl/articles/266592.pdf
Data publikacji:
2014
Wydawca:
Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:
online labs
robotics labs
STEM curriculum
software engineering education
laboratorium robotów
inżynieria oprogramowania
robotyka
Opis:
Florida Gulf Coast University, College of Engineering has developed over recent years a sophisticated undergraduate software engineering lab for use in embedded systems and related team project courses. A number of teaching modules have been developed, with emphasis on security, complex systems, and webbased access. The objective of the current project is to focus on developing a lab specific to robotics applications, with online access, which can be used across the undergraduate curricula, especially in software engineering courses. Creating an Online Robotics Lab takes advantage of the existing equipment, software and curricular modules to expand them for broader use, and help develop a more advanced full-scale operation across the curriculum. Developing such a lab will have an impact on advancing teaching in disciplines such as Sciences, Technology, Engineering and Math (STEM).
W ciągu ostatnich kilku lat, na Wydziale Inżynierii Florida Gulf Coast University, powstało bardzo złożone laboratorium inżynierii oprogramowania przenaczone do zajęć z systemów wbudowanych i innych kursów uwzględniających projekty zespołowe. Opracowane zostały odpowiednie moduły nauczania, na tematy związane z bezpieczeństwem, systemami złożonymi, i dostępem przez Internet. Celem obecnego projektu jest utworzenie laboratorium specyficznego dla potrzeb robotyki, z dostępem przez Internet, które moża wykorzystywać w innych dziedzinach, a wszczególności w inżynierii oprogramowania. Proces tworzenia laboratorium opiera się na istniejących urządzeniach, oprogramowaniu i modułach nauczania, z roszerzeniem ich w kierunku zastosowania w kursach z innych dziedzin, poza inżynierią. Laboratorium takie będzie miało wpływ na postęp w nauczaniu w takich dyscyplinach, jak nauki ścisłe, technologia, inżynieria i matematyka. W artykule opisano proces tworzenia i użycia modułów z wykorzystaniem ośmiu urządzeńrobotów, począwszy od prostych robotów Lego, do skomplikowanych pojazdów sterowanych zdalnie przez Internet.
Źródło:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2014, 37; 15-18
1425-5766
2353-1290
Pojawia się w:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Badanie akceptacji oprogramowania open source na wydziałach inżynierskich uczelni technicznej
Testing of open source software acceptance on the engineering faculties of universities of technology
Autorzy:
Radomski, S.
Muc, A.
Szeleziński, A.
Mysiak, P.
Powiązania:
https://bibliotekanauki.pl/articles/266786.pdf
Data publikacji:
2017
Wydawca:
Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:
akceptacja oprogramowania
model UTAUT
open source
inżynieria oprogramowania
software acceptance
UTAUT model
software engineering
Opis:
Masowa produkcja oprogramowania powoduje, że do wykonania określonych zadań można użyć programów od różnych producentów. Nie wszystkie jednak programy cieszą się taką samą popularnością. Badanie cech, które czynią, że dany program jest bardziej akceptowany niż inny, o podobnej funkcjonalności, stało się niezbędne i jest sukcesywnie rozwijane. W przypadku młodej kadry inżynierskiej przyzwyczajenia odnośnie używanego oprogramowania technicznego kształtowane są na uczelni, na której zdobywają wiedzę i umiejętności. Uczelnie techniczne bardzo często bazują na specjalistycznym oprogramowaniu w procesie kształcenia. Jest ono ważne zwłaszcza przy projektowaniu zajęć praktycznych, typu projekty lub laboratoria. Oprogramowanie specjalistyczne bywa często bardzo drogie, a przez to niedostępne dla studentów. Naturalną alternatywą dla tej sytuacji jest możliwość korzystania z oprogramowania open source.
The massive production of software contributes to the possibility of using the programmes from different producers in order to complete definite tasks. Not all of the programmes, however, are so popular. The testing of software features about the similar functionality shows that some software are more acceptable than the other. This is required and is successfully developed. The habits and preferences of young engineers staff connected with technical software are shaped during studies at the university where they acquire knowledge and abilities. Universities of technology very often base their classes on special software during the process of education. It is especially important while designing a draft of practical classes such as laboratories and projects. Nevertheless, this specialized software is very expensive and at the same time unavailable for students. A natural alternative for this situation is the possibility to use open source software.
Źródło:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2017, 52; 109-114
1425-5766
2353-1290
Pojawia się w:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analiza wydajności bibliotek do testowania aplikacji internetowych na platformie ASP.NET Core
Perfomance analysis of libraries for testing web applications on the ASP.NET Core platform
Autorzy:
Niedziela, Karol
Nieradko, Jakub
Powiązania:
https://bibliotekanauki.pl/articles/24083521.pdf
Data publikacji:
2022
Wydawca:
Politechnika Lubelska. Instytut Informatyki
Tematy:
inżynieria oprogramowania
testy jednostkowe
wydajność
ASP.NET Core
C#
software engineering
unit tests
performance
Opis:
W artykule została przeprowadzona analiza wydajnościtrzech bibliotek: XUnit, NUnit, MSTest, mająca na celu porównanie wydajności czasowej.Wydajność została sprawdzona przy wykorzystaniu testu obciążeniowego, testów synchronicznych oraz asynchronicznych. Testy synchroniczne oraz asynchroniczne zostały podzielone na grupy po 10, 25, 50 oraz 100 przypadków testowych. Dla każdej grupy zostało wykonane po trzydzieści pomiarów czasowych. Badania zostały wykonane przy pomocy autorskiego projektu napisanego na platformie ASP.NET Core.
This paper conducts a performance analysis of three libraries: XUnit, NUnit, MSTest, aiming to compare the time performance. The performance was checked using load test, synchronous and asynchronous tests. The synchronous and asynchronous tests were divided into groups of 10, 25, 50 and 100 test cases. The tests were carried out using an inhouse project written on the ASP.NET Core platform.
Źródło:
Journal of Computer Sciences Institute; 2022, 25; 323--329
2544-0764
Pojawia się w:
Journal of Computer Sciences Institute
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Automated code generation for safety-related applications: a case study
Automatyczna generacja programów dla komputerowych systemów bezpieczeństwa: przykład studialny
Autorzy:
Gluch, D. P.
Kornecki, A. J.
Powiązania:
https://bibliotekanauki.pl/articles/305421.pdf
Data publikacji:
2007
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
inżynieria oprogramowania
narzędzia oprogramowania
automatyczna generacja kodu
software engineering process
software tools
automatic code generation
Opis:
Artykuł opisuje możliwości zastosowań technologii automatycznej generacji programów (AGP) dla komputerowych systemów bezpieczeństwa. Przeprowadzone badania koncentrowały się na charakterystykach systemów oprogramowania bazujących na modelowaniu i automatycznych narzędziach oprogramowania. W szczególności studium pozwoliło na kolekcję danych dotyczących wymagań inżynieryjnych, wiedzy i wysiłku koniecznego do pomyślnej realizacji projektu wykorzystującego praktykę i technologię AGP. Takie charakterystyki, jak organizacja generowanego programu, rozmiar, łatwość czytania, relacja między programem a modelem, konstrukcje programu ułatwiające operacje w czasie rzeczywistym i generacja przerwań, były przedmiotem identyfikacji. Dodatkowo, projekt używał metodologii inżynierii oprogramowania, gdzie analiza i konstrukcja były zintegrowane w procesie realizacji programu na bazie modelu. Analiza dotyczyła statycznych i dynamicznych charakterystyk wybranych technik i narzędzi oprogramowania wpływających na bezpieczeństwo systemu.
Źródło:
Computer Science; 2007, 8, Spec. Ed; 37-48
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Concurrent systems modeling with CCL
Modelowanie systemu w CCL
Autorzy:
Kułakowski, K.
Powiązania:
https://bibliotekanauki.pl/articles/282097.pdf
Data publikacji:
2012
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
CCL
DFD
inżynieria oprogramowania
metody formalne
eksplozja stanów
software engineering
formal methods
state explosion problem
Opis:
One of the challenges facing software engineering is to conduct research into new methods of modeling systems. The CCL notation shown in the article tries to follow in this direction. The solutions and methods presented here indicate its practical application to modeling complex eomputer systems using the struetural, dataflowcentric approach. The basis for the proposed integration between CCL and struetural methods is the newly defined externalization mechanism. It allows the details of inter-process communication to be abstracted away, thereby reducing the size of the submodels which are subject to further verification. Thanks to the methods adopted here, the overall picture of the system becomes morę readable for humans, and, due to the significant submodel state space reduction, the effective use of formal methods for their analysis becomes possible.
Jednym z podstawowych zadań związanych z inżynierią oprogramowania jest szukanie nowych i optymalizacja istniejących metod modelowania systemów informatycznych. Przedstawiona w pracy notacja CCL stara się wpisywać w ten nurt badań. Prezentowane podejście pokazuje jej użyteczność w kontekście użycia metod strukturalnych (diagramy przepływu danych) do modelowania złożonych systemów informatycznych. Podstawą proponowanej integracji pomiędzy CCL i metodami modelowania strukturalnego jest nowowprowadzone pojęcie eksternalizacji. Pozwala ono abstrahować od szczegółów implementacyjnych komunikacji międzyprocesowej, redukując tym samym wielkość modeli podlegających dalszej weryfikacji. Dzięki przyjętemu rozwiązaniu modele stają się bardziej czytelne dla projektantów, oraz dzięki znaczącej redukcji przestrzeni stanów, możliwe staje się efektywne wykorzystanie metod formalnych w celu ich dalszej analizy.
Źródło:
Automatyka / Automatics; 2012, 16, 2; 115-125
1429-3447
2353-0952
Pojawia się w:
Automatyka / Automatics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Propozycja modelowych cech narzędzia wspomagającego zwinne zarządzanie projektami inżynierii oprogramowania
The proposal for model features of the tool supporting an agile project management in software engineering
Autorzy:
Synowiec, Jakub
Błaszczyk, Tomasz
Powiązania:
https://bibliotekanauki.pl/articles/591762.pdf
Data publikacji:
2015
Wydawca:
Uniwersytet Ekonomiczny w Katowicach
Tematy:
Inżynieria oprogramowania
Metodyki zwinne
Narzędzia informatyczne
Zarządzanie projektami
Agile methods
Project management
Software engineering
Software tools
Opis:
W artykule opisano próbę analizy zasadności wykorzystania informatycznych narzędzi wspierających zwinne zarządzanie projektami oraz określenia modelowych cech, którymi powinno charakteryzować się takie oprogramowanie, aby zaspokoić oczekiwania konkretnych członków zespołów projektowych w każdej fazie ich realizacji (koncepcyjnej, planowania, produkcji, testowania w fazie operacyjnej). Rozważania prowadzono, opierając się na wynikach pogłębionych wywiadów, przeprowadzonych wśród członków zespołów projektowych realizujących zadania w sektorze inżynierii oprogramowania.
In this paper we described an attempt of the analysis the legitimacy of the use of tools to support project management and to determine the characteristics of the model, which should have the tools to meet the needs of post-specific members project teams at every level of implementation (planning, design, production, testing and management). The data we used was collected by in-depth interviews conducted with members of the software engineering project teams.
Źródło:
Studia Ekonomiczne; 2015, 235; 222-235
2083-8611
Pojawia się w:
Studia Ekonomiczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
CryptXXX V3 : analiza użytego mechanizmu szyfrowania
Analysis of cryptographic mechanisms used in ransomware CryptXXX v3
Autorzy:
Glet, M.
Powiązania:
https://bibliotekanauki.pl/articles/211071.pdf
Data publikacji:
2016
Wydawca:
Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:
ransonware
inżynieria oprogramowania
inżynieria wsteczna
RC4
RSA
złośliwe oprogramowanie
ransomware
software engineering
reverse engineering
malicious software
Opis:
Celem artykułu jest analiza sposobu działania złośliwego oprogramowania typu ransomware w kontekście wykorzystywanych mechanizmów kryptologicznych. Inżynierii wstecznej poddana zostaje najnowsza w danym momencie wersja oprogramowania CryptXXX. Odkryte zostają wykorzystywane mechanizmy kryptograficzne, wskazane zostają ich słabości oraz możliwości poprawy.
The main purpose of this paper was to analysis how malicious software is using cryptographic mechanisms. Reverse engineering were applied in order to discover mechanisms used in ransomware CryptXXX v3. At the end were given some useful advices how to improve CryptXXX.
Źródło:
Biuletyn Wojskowej Akademii Technicznej; 2016, 65, 4; 94-121
1234-5865
Pojawia się w:
Biuletyn Wojskowej Akademii Technicznej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zastosowanie kolorowanych sieci Petriego w projektowaniu systemów czasu rzeczywistego
Using coloured Petri nets for real-time systems design
Autorzy:
Samolej, S.
Trybus, B.
Powiązania:
https://bibliotekanauki.pl/articles/156259.pdf
Data publikacji:
2005
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
kolorowane sieci Petriego
systemy czasu rzeczywistego
inżynieria oprogramowania
coloured Petri nets
real-time systems
software engineering
Opis:
W artykule przedstawiono metodę zastosowania kolorowanych sieci Petriego (sieci CPN) do wytwarzania systemów czasu rzeczywistego. Opis systemu prowadzony jest przy użyciu metodyki SDRTS (Structured Design for Real-Time Systems) i sieci CPN. Ostatecznym rezultatem procesu projektowego jest zbiór hierarchicznych czasowych sieci CPN odpowiadajacych diagramom metodyki SDRTS, umożliwiający symulację i formalną analizę wytwarzanego systemu.
A way of application of coloured Petri nets (CPN) in real-time systems development is presented in the paper. The system is described simultaneously using SDRTS (Structured Design for Real-Time Systems) method and CPN language. The final result of the development process is a set of hierarchical timed coloured Petri nets corresponding to SDRTS diagrams that makes it possible to simultane and formally analyse the system designed.
Źródło:
Pomiary Automatyka Kontrola; 2005, R. 51, nr 1, 1; 11-13
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Metodyka prowadzenia projektów oprogramowania systemów pomiarowo-sterujących
Project management methodology for control and measuring systems
Autorzy:
Łukaszewski, R.
Zawistowski, P.
Powiązania:
https://bibliotekanauki.pl/articles/152981.pdf
Data publikacji:
2010
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
systemy pomiarowo-sterujące
zarządzanie projektami
inżynieria oprogramowania
PRINCE2
Scrum
DSDM
control-measuring systems
project management
software engineering
Opis:
Artykuł dotyczy problematyki metodyk prowadzenia projektów systemów pomiarowo-sterujących. W artykule przedstawiono koncepcję autorskiej metodyki opracowanej na podstawie metodyk już istniejących. Zaprezentowano założenia organizacji zespołu, cyklu życia i zarządzania czasem, procesy oraz eksperyment przeprowadzony z wykorzystaniem metodyki.
Project management as well as control and measuring systems are the issues that the paper is focused on. It is the first time the correlation between them is discussed. The conception of the project management methodology developed on the basis of several existing methodologies is presented in the paper (Section 2). Key issues of team organization, life cycle, time management and processes (Fig. 1) are shown and described in order to fully understand the assumptions of the methodology (Section 3). To analyse correctness of the methodology, the experiment was conducted (Section 4) during which participants wrote programs for two distributed control and measuring systems with use of the software engineering technic - Test-Driven Development methodology with dedicated LabVIEW tools (NI Unit Test Framework Toolkit and JKI VI Tester). The positive result of the experiment as well as reception of the developed approach proved methodology to be highly usable for the environment of control and measuring systems.
Źródło:
Pomiary Automatyka Kontrola; 2010, R. 56, nr 11, 11; 1333-1335
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Software engineering standardization shift for enterprise systems development process
Autorzy:
Zabawa, P.
Powiązania:
https://bibliotekanauki.pl/articles/94873.pdf
Data publikacji:
2016
Wydawca:
Szkoła Główna Gospodarstwa Wiejskiego w Warszawie. Wydawnictwo Szkoły Głównej Gospodarstwa Wiejskiego w Warszawie
Tematy:
software engineering
software development process automation
modeling
meta-modeling
UML
MOF
MDA
application context
inżynieria oprogramowania
standaryzacja
modelowanie
Opis:
The paper is focused on the processes of software development of enterprise systems. It is related to the new concept of software development paradigm named Context-Driven Meta-Modeling Paradigm (CDMM-P) introduced by the author. The CDMM-P can be applied to define modeling or meta-modeling languages, to construct enterprise systems data layer. The CDMM-P concept is based on application open ontologies in the form composed of notions characteristic for software engineering and it constitutes the first implementation and the first application of open ontologies in software engineering domain. The paper presents the concept of a shift of existing OMG standardization approach. It explains why the CDMM-P graph representation and its API should be the subject of standardization in place of MOFbased close ontology structures.
Źródło:
Information Systems in Management; 2016, 5, 4; 593-604
2084-5537
2544-1728
Pojawia się w:
Information Systems in Management
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Komentarze w kodach wybranych programów
Comments in the codes of selected programs
Autorzy:
Skhut, Sviatoslav
Iholkina, Kateryna
Powiązania:
https://bibliotekanauki.pl/articles/131989.pdf
Data publikacji:
2018
Wydawca:
Wrocławska Wyższa Szkoła Informatyki Stosowanej Horyzont
Tematy:
source code
software
software engineering
documentation
software management
code comments
kod źródłowy
oprogramowanie
inżynieria oprogramowania
dokumentacja
zarządzanie oprogramowaniem
komentarze kodu
Opis:
Writing comments is as important as writing code. The main purpose of using comments is to improve readability of our code but frequently thoughtless comment writing decrease understandability of source code. Comments must be concise and precise simultaneously. Also, when our code is changed, comments for this code must be changed too. While using comments in our code we must realize that if expressiveness of our programming language allows us to express clearly what we want in code, there is no need to write comments at all. And if we decide to use comments, they must be extremely accurate and understandable, because another person must understand, what we do and most importantly, why we do it. Frequently comments can be replaced with good clear names of variables, functions or classes. Also, we can replace our comments with assertions. Comments should clarify and explain our intentions. Copyrights and an authorship can be implemented using comments too. But our IDE can do these things automatically.
Źródło:
Biuletyn Naukowy Wrocławskiej Wyższej Szkoły Informatyki Stosowanej. Informatyka; 2018, 8, 1; 24-28
2082-9892
Pojawia się w:
Biuletyn Naukowy Wrocławskiej Wyższej Szkoły Informatyki Stosowanej. Informatyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Koncepcja metodyki zarządzania procesem wytwórczymsystemów pomiarowo-sterujących
The concept of software development process management methodology for control and measurement systems
Autorzy:
Zawistowski, P.
Powiązania:
https://bibliotekanauki.pl/articles/151136.pdf
Data publikacji:
2013
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
systemy pomiarowo-sterujące
inżynieria oprogramowania
zarządzanie projektami
analiza wymagań
testowanie
LabVIEW
BRMS
control and measurement systems
software engineering
project management
requirements gathering
testing
Opis:
W artykule zaprezentowano autorską metodykę zarządzania procesem wytwórczym systemów pomiarowo-sterujących w środowisku LabVIEW oraz koncepcję informatycznego systemu zarządzania projektem. Metodyka zakłada integrację fazy definiowania wymagań i testowania, co pozytywnie wpłynie na jakość tworzonych aplikacji. Ponadto wykorzystanie systemu zarządzania regułami do weryfikacji testów zapewni większą dokładność przeprowadzanej analizy wyników.
An original approach to the software development process of control and measurement software development in LabVIEW is presented in the paper. By integrating the requirements of definition phase and the test phase, the development process can be significantly improved. The concept of the IT system architecture supporting created methodology is described in the article as well. The system allows for more efficient planning and management of tests. By using the Business Rules Management System (BRMS), tests are validated more complex in opposition to existing scenario testing approaches, used for LabVIEW applications development. Article consists of five sections. First one contains the introduction to problems of control and measurement systems. Selected aspects of software engineering are described in section 2.The description and explanation of the methodology (section 3) and conception of dedicated project management system, including the architecture of the software development process management system (Figure 1), the activity diagram of the software development process management system (Figure 2) and the physical database diagram of the software development process management system (Figure 3) is presented (section 4) afterwards. The summary of the article, the pros and cons of the methodology and the system are presented in last section.
Źródło:
Pomiary Automatyka Kontrola; 2013, R. 59, nr 6, 6; 590-593
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Senior lab projects for teaching the Internet of Things in a Software Engineering program
Laboratoria dla „Internetu rzeczy” w programie Inżynierii Oprogramowania
Autorzy:
Gonzalez, F.
Guo, D.
Nowicki, A.
Zalewski, J.
Powiązania:
https://bibliotekanauki.pl/articles/268134.pdf
Data publikacji:
2017
Wydawca:
Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:
internet of things (IoT)
cloud computing
engineering education
software engineering education
online labs
Internet rzeczy
przetwarzanie w chmurze
kształcenie inżynierów
inżynieria oprogramowania
zdalne laboratorium
Opis:
This paper addresses student labolatories for courses related to the Internet of Things (IoT) in an undergraduate Software Engineering program. It revews the concept of the IoT, first, then discusses benefits of IoT in education, especially in engineering, and finally presents examples of projects, reviewing some more fundamental concepts of introducing such labs. Specific examples of IoT projects include software development for: a robotic arm accessed through AWS, GPS tracker with Sparkfun data stream services, online health monitoring with a smartwatch and Google Cluod, and remote relay access from a phone with MQTT service.
W artykule omówiono zagadnienia laboratoriów studenckich dla kursów związanych z „Internetem rzeczy”, w programie studiów Inżynierii Oprogramowania. Przedstawiono koncepcję Internetu rzeczy i omówiono korzyści płynące z użycia tej technologii w kształceniu, szczególnie w dyscyplinach inżynierskich, dyskutując podstawowe problemy z tym związane. W szczególności, opisano praktyczne rozwiązania problemów laboratoryjnych, z użyciem robota, systemu GPS, inteligentnego zegarka i zdalnego przekaźnika, oraz przekazywania odpowiednich danych do przetwarzanuia w chmurze.
Źródło:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2017, 52; 31-36
1425-5766
2353-1290
Pojawia się w:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Komputerowy symulator obiektu przeznaczony do testowania oprogramowania sterowników PLC
An object simulator for PLC software testing
Autorzy:
Kulisz, J.
Czerwiński, R.
Mocha, J.
Chmiel, M.
Powiązania:
https://bibliotekanauki.pl/articles/156583.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
sterowanie procesami przemysłowymi
programowalne sterowniki logiczne PLC
uruchamianie oprogramowania
testowanie oprogramowania
symulatory procesów
inżynieria oprogramowania
industrial control
programmable logic controller (PLC)
program diagnostics
debugging
simulation
process simulators
software engineering
software productivity
Opis:
W artykule przedstawiono koncepcję programowego symulatora obiektu sterowania przeznaczonego do uruchamiania i testowania oprogramowania dla sterowników PLC. Symulator emuluje zachowanie fizycznego obiektu przemysłowego i komunikuje się ze sterownikiem za pośrednictwem karty wejścia-wyjścia podłączanej do komputera. Pozwala on na przetestowanie tworzonej aplikacji bez udziału fizycznego obiektu, dzięki czemu znacząco przyspiesza proces tworzenia, uruchamiania oraz testowania oprogramowania.
The paper discusses hardware and software tools used to support program testing and verification of Programmable Logic Controllers (PLC). Three main ideas of tools supporting PLC application development are presented: software PLC simulators (Fig. 1), software PLC simulators with software object simulators (Fig. 2), and software object simulators with a hardware PLC (Fig. 4). The last idea is discussed wider in the paper. The authors propose a new concept of the tool for supporting PLC program testing - an object simulator which is a separate device. The simulator consists of a PC equipped with an appropriate I/O card, and an object simulator program running on the PC. The object simulator program is responsible for emulating behavior of an industrial object, and providing appropriate visualization of its operation, enabling also the PLC programmer to simulate object faults. The PC does not communicate with the PLC using a network interface, but through physical I/Os of the PLC. The simulator is thus capable of testing the most of functionality built in PLC I/O modules, and time-critical functions, e. g. interrupts. The proposed concept of an object simulator can provide a reliable substitute for a physical object, and thus a significant part of software tests can be performed with use of the simulator. This can significantly facilitate and accelerate development of the application.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 1, 1; 3-5
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Measuring commercial software operational reliability: an interdisciplinary modelling approach
Pomiar niezawodności eksploatacyjnej oprogramowania komercyjnego: interdyscyplinarne podejście do modelowania
Autorzy:
Shatnawi, O.
Powiązania:
https://bibliotekanauki.pl/articles/301306.pdf
Data publikacji:
2014
Wydawca:
Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
Tematy:
software reliability engineering
software reliability models
non-homogenous Poisson process
imperfect debugging
commercial software usage
innovation diffusion
inżynieria niezawodności oprogramowania
modele niezawodności oprogramowania
niejednorodny proces Poissona
niedoskonałe debugowanie
użytkowanie oprogramowania komercyjnego
dyfuzja innowacji
Opis:
In the software reliability engineering (SRE) literature, few attempts have been made to model the failure phenomenon of commercial software during its operational use. One of the reasons can be attributed to the inability of software engineers to measure the growth in usage of commercial software while it is in the market. It is unlike the testing phase where resources follow a definite pattern. In this paper, an attempt has been made to model the software reliability growth linking it to the number of users. Since the number of instructions executed depends on the number of users. The number of users is estimated through an innovation diffusion model of marketing. Once the estimated value is known, the rate at which instructions are executed can be found. The intensity with which failures would be reported depends upon this value. To model the failure observation or defect removal phenomena, a non-homogenous Poisson process (NHPP) based software reliability models developed in the literature have been employed. Software reliability models are most often used for reliability projection when development work is complete and before the software is shipped to customers. They can also be used to model the failure pattern or the defect arrival pattern in the field and thereby provide valuable input to maintenance planning. Numerical example with real software field reliability data is presented to illustrate descriptive and predictive performance as well as to show practical applications of the proposed models.
Literatura dotycząca inżynierii niezawodności oprogramowania, podejmuje zaledwie nieliczne próby modelowania zjawiska uszkodzenia oprogramowania komercyjnego w trakcie jego eksploatacji. Jednym z powodów może być to, iż programiści nie są w stanie zmierzyć wzrostu użytkowania oprogramowania komercyjnego w trakcie obrotu handlowego tego typu oprogramowaniem. Etap ten różni się bowiem od fazy testowania, gdzie zasoby funkcjonują według określonego wzorca. W niniejszej pracy podjęto próbę stworzenia modelu wzrostu niezawodności oprogramowania łącząc to pojęcie z pojęciem liczby użytkowników, jako że liczba wykonywanych poleceń zależy właśnie od liczby użytkowników. Liczbę użytkowników szacuje się na podstawie modelu marketingu opartego na dyfuzji innowacji. Gdy szacowana wartość jest już znana, można określić częstość wykonywania poleceń. Intensywność zgłaszania uszkodzeń zależy od tej wartości. Do modelowania zjawisk zaobserwowania uszkodzenia lub usunięcia usterki zastosowano opracowane wcześniej w literaturze modele niezawodności oprogramowania oparte na niejednorodnym procesie Poissona (NHPP). Modele niezawodności oprogramowania są najczęściej wykorzystywane do projektowania niezawodności już po zakończeniu prac rozwojowych, ale zanim jeszcze oprogramowanie dotrze do klientów. Mogą być również stosowane do modelowania wzorców uszkodzeń lub wzorców występowania usterek w trakcie eksploatacji, stanowiąc tym samym cenny wkład do planowania czynności konserwacyjnych. Przykład liczbowy uwzględniający dane z eksploatacji rzeczywistego oprogramowania ilustruje opisowe i predykcyjne możliwości proponowanych modeli, jak również pokazuje, jak można je stosować w praktyce.
Źródło:
Eksploatacja i Niezawodność; 2014, 16, 4; 585-594
1507-2711
Pojawia się w:
Eksploatacja i Niezawodność
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Code comprehension as a distributed construction of meanings
Podejście do zrozumienia kodu jako do konstrukcji sensu
Autorzy:
Cofta, Piotr
Powiązania:
https://bibliotekanauki.pl/articles/208705.pdf
Data publikacji:
2019
Wydawca:
Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:
computer science
code comprehension
social systems theory
reverse engineering
software maintenance
informatyka
rozumienie kodu
teoria systemów społecznych
inżynieria odwrotna
utrzymanie oprogramowania
Opis:
Code comprehension, a sub-domain of reverse engineering and software maintenance, does not provide useful explanation of common situations where developers, distributed and isolated from each other in time and space, come to a similar understanding of a code. This limits our ability to develop tools to support this popular aspect of code comprehension. This paper investigates this phenomenon from the perspective of sociology, intentionally distancing itself from the dominating psychological approach. The analysis, conducted mostly from the standpoint of social systems theory, highlights that as the construction of meanings is subjective, in the absence of any significant interactions, the dominant influence on the construction of meanings comes from current states of various social systems to which the developer belongs to. Thus, the similarity of meanings (hence a better comprehension of the code) can be achieved by understanding systems to which the developer belongs to and by coordinating their states.
Rozumienie kodu, istotna część inżynierii oprogramowania, jest obecnie badane głównie z pozycji psychologii, a w znacznie mniejszym stopniu z pozycji socjologii. Przypuszczalnie spowodowane jest to odczuciem, że dostępne teorie socjologiczne nie odnoszą się do problemów związanych z rozumieniem kodu. Ten artykuł argumentuje, że socjologiczna teoria systemów społecznych może znaleźć zastosowanie w badaniach nad rozumieniem kodu. Proponuje on skoncentrowanie się na formach systemów społecznych, które pozwalają na spójną rekonstrukcję znaczenia kodu. Artykuł ilustruje rozważania serią przypadków użycia, demonstrując, że rozumienie kodu jest i powinno być traktowane jako działanie społeczne, opisywalne odpowiednimi teoriami. Następnie skoncentrowano się na proponowanym wykorzystaniu teorii systemów społecznych, aby zakończyć omówieniem potencjalnych implikacji nowego podejścia na różne obszary badań.
Źródło:
Biuletyn Wojskowej Akademii Technicznej; 2019, 68, 2; 23-41
1234-5865
Pojawia się w:
Biuletyn Wojskowej Akademii Technicznej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Możliwości stosowania programów komputerowych w inżynierii bezpieczeństwa pożarowego
The possibility of applying computer programs in fire safety engineering
Autorzy:
Fliszkiewicz, M.
Krauze, A.
Maciak, T.
Powiązania:
https://bibliotekanauki.pl/articles/373995.pdf
Data publikacji:
2013
Wydawca:
Centrum Naukowo-Badawcze Ochrony Przeciwpożarowej im. Józefa Tuliszkowskiego
Tematy:
bezpieczeństwo
przegląd oprogramowania
inżynieria bezpieczeństwa pożarowego
modelowanie pożarów
fire modeling
fire safety engineering
safety
software overview
Opis:
W artykule przedstawiono ogólny zarys i problematykę związaną z wykorzystaniem programów komputerowych w zakresie analizy i prognozowania wybranych zagrożeń. Dokonano przeglądu oprogramowania i jego możliwości wykorzystania w świetle polskiego prawa. Szczególną uwagę skupiono na dwupoziomowej formule przepisów, która w przyszłości umożliwiać będzie projektowanie obiektów budowlanych w oparciu o metody obliczeniowe. Opisano obszary, w których obecnie wykorzystuje się programy komputerowe w celu oszacowania bezpieczeństwa. Ponadto, autorzy omawiają podstawowe wymagania, jakie powinny spełniać programy do modelowania wybranego zagrożenia. W artykule przedstawiono możliwości programów komputerowych z zakresu modelowania rozwoju pożaru, modelowania zachowania się konstrukcji w czasie pożaru oraz modelowania skutków awarii przemysłowych. Dla każdej z wymienionych dziedzin przygotowano przegląd oprogramowania wraz ze spisem podstawowych funkcji. Zaproponowano wymagania dotyczące formy wprowadzania danych wejściowych oraz formy prezentacji danych wyjściowych. Wszystkie informacje zaprezentowano w formie tabel porównujących możliwości wybranych programów.
The article describes general outline and main problems connected with using computer programs for analysis and forecasting of selected threats. An overview of the software and its possibility to apply in the light of Polish law was presented. Particular attention is focused on the two-tier formula regulations, which in the future will allow to design buildings based on computational methods. The areas in which computer programs are used to assess safety are shown. In addition, the authors discuss the basic requirements to be met by the selected software. The article discusses the possibilities of software development in the field of fire modeling, modeling behavior of the structure during the fire, and modeling the effects of industrial accidents. For each of these areas overview of the software, together with a list of basic functions was prepared. Proposed requirements for input data entry form and presentation of the output were also discussed. All information is presented in the form of tables comparing the capabilities of selected programs.
Źródło:
Bezpieczeństwo i Technika Pożarnicza; 2013, 1; 47-60
1895-8443
Pojawia się w:
Bezpieczeństwo i Technika Pożarnicza
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-25 z 29

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies