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: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 26
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ł:
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ł:
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ł:
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ł:
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ł:
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ł:
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ł:
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ł:
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ł:
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ł
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ł:
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ł:
Evaluation of the usefulness of selected computer programs in the context of educating students of the environmental engineering
Ocena użyteczności wybranych programów komputerowych w kontekście kształcenia studentów inżynierii środowiska
Autorzy:
Krzeszowski, Ś.
Powiązania:
https://bibliotekanauki.pl/articles/106432.pdf
Data publikacji:
2015
Wydawca:
Towarzystwo Chemii i Inżynierii Ekologicznej
Tematy:
environmental engineering
educational process
computer programs
questionnaire form
ranking of the software
inżynieria środowiska
proces dydaktyczny
programy komputerowe
ankieta
ranking oprogramowania
Opis:
The article presents the evaluation of usefulness of selected computer applications applied in the process of educating students from ordered specialty Environmental Engineering who study at the Silesian University of Technology in the faculty of Energy and Environmental Engineering. The evaluation was carried out by means of the analysis of questionnaires filled in by the graduates of the first cycle degree programme at the aforementioned specialty. The analysis was carried out for both, the area of application of the selected software related to the didactic process and the area of the software application in the predicted professional career of the students surveyed.
W artykule przedstawiono ocenę przydatności wybranych programów komputerowych zastosowanych w procesie kształcenia studentów kierunku zamawianego inżynieria środowiska studiujących na Wydziale Inżynierii Środowiska i Energetyki Politechniki Śląskiej. Ocenę przeprowadzono poprzez analizę ankiet wypełnionych przez absolwentów studiów I stopnia ww. kierunku. Przeprowadzono analizę zarówno dla obszaru zastosowań wybranych programów związanego z procesem dydaktycznym, jak i dla obszaru zastosowań tego oprogramowania w prognozowanej karierze zawodowej ankietowanych studentów.
Źródło:
Chemistry-Didactics-Ecology-Metrology; 2015, 20, 1-2; 31-37
2084-4506
Pojawia się w:
Chemistry-Didactics-Ecology-Metrology
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ł
Wyświetlanie 1-15 z 26

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