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 19
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ł:
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ł:
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ł:
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ł:
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ł:
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ł:
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ł:
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ł:
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ł:
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ł:
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ł:
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ł:
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ł:
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ł
Wyświetlanie 1-15 z 19

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