Temat: software engineering - Katalog OPAC zbiorów

Skocz do pozycji: 1.

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ł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: An evolution process for service-oriented systems
Autorzy:: Zalewski, A.
Szlenk, M.
Kijas, S.
Powiązania:: https://bibliotekanauki.pl/articles/952951.pdf
Data publikacji:: 2012
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: service-oriented architecture
service engineering process
service composition
software evolution
Opis:: Evolution of service-oriented systems is quite a new research area, which becomes more and more important as engineering challenges move from enabling service-orientation onto the maintenance and evolution of already developed service-oriented systems. However, the development of suitable evolution processes and methodologies is still an open research problem. The evolution process presented in this paper has been designed to address the evolution of service-oriented systems, which are technically built out of a set of service compositions. The presented process comprises phases and tasks compliant with ISO 20000. The underlying model of service-oriented system consisting of business processes and corresponding service composition models has also been presented. A traceability model and tools supporting change impact analysis have also been provisioned for. Preliminary industrial validation indicates that the evolution process should be easy to adapt by the industry.
Źródło:: Computer Science; 2012, 13 (4); 71-86
1508-2806
2300-7036
Pojawia się w:: Computer Science
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 3.

Tytuł:: Metody rozwoju oprogramowania krytycznego dla bezpieczeństwa
Safety Critical Software Development Methodologies in Avionics
Autorzy:: Zakrzewski, Paweł
Narkiewicz, Janusz
Brenchly, Darren
Powiązania:: https://bibliotekanauki.pl/articles/36412161.pdf
Data publikacji:: 2020
Wydawca:: Sieć Badawcza Łukasiewicz - Instytut Lotnictwa
Tematy:: avionics
safety critical software
Agile
systems engineering
awionika
oprogramowanie krytyczne dla bezpieczeństwa
metody zwinne
inżynieria systemowa
Opis:: Artykuł podsumowuje metody rozwoju oprogramowania krytycznego dla bezpieczeństwa, oraz wpływ standardu DO-178C na potencjalne zastosowanie metod zwinnych. Wyjaśniamy w nim także kategoryzację oprogramowania krytycznego w systemach lotniczych. Artykul opisuje różnice w podejściu do procesu tworzenia oprogramowania od metody kaskadowej, przez model V, aż do metody iteracyjnej i przyrostowej, wraz ze wskazaniem ich największych zalet. Opisane zostały najważniejsze zasady leżące u podstaw metod zwinnych, oraz Scrum jako popularny framework stosowany w tworzeniu oprogramowania nie-krytycznego. Analiza możliwości zastosowania metod zwinnych do tworzenia oprogramowania krytycznego dla bezpieczeństwa w awionice została oparta na praktycznym doświadczeniu autorów. Uwzględnia wymagania standardu DO-178C, wielkość projektu, skalowalność metody, oraz kulturę organizacji. Zdefniowanie zwinnej metody ramowej tworzenia oprogramownia krytycznego dla bezpieczeństwa, spójnej z procesem certyfikacji i istniejącymi standardami zostało uznane za potencjalny przełom dla rozwoju systemów awioniki.
This article summarizes avionics safety-critical software development methodologies and implications of the DO-178C standard from an Agile application perspective. We explain the safety-critical software categorization. It also outlines the main differences and advantages of different approaches to the development process, from Waterfall through the V-model to Iterative and Incremental. Agile principles are explained as well as a Scrum – which is a popular framework in the non-safety-critical software industry. The application of Agile, for safety-critical software considerations, is based on the practical knowledge of the authors, and looks at the potential solution from a DO-178C standard, size of the project, scalability, and organizational culture points of view. Definition of the Agile type of framework, consistent with the certification process and existing standards, has been highlighted as a potential game-changer for the avionics industry.
Źródło:: Transactions on Aerospace Research; 2020, 2 (259); 59-71
0509-6669
2545-2835
Pojawia się w:: Transactions on Aerospace Research
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 4.

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ł

Zmień widok

na półce

Skocz do pozycji: 5.

Tytuł:: Usability engineering in the prototyping process of software user interfaces for mobile medical ultrasound devices
Autorzy:: Wichrowski, M.
Powiązania:: https://bibliotekanauki.pl/articles/305597.pdf
Data publikacji:: 2015
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: medical software user interface
Safety Critical Interactive Devices
human factors
usability engineering
human-computer interaction
user-centred design
Opis:: This paper presents new trends in interface design of medical ultrasound devices and explains the basics of implementing usability engineering in accordance with international standards. Methods for determining the initial requirements, design guidelines, processes of prototyping, verification, and validation of software user interfaces for medical devices are discussed. The article also presents a preliminary plan of a methodology for prototyping touch-based and standard-control interfaces for mobile ultrasonic devices.
Źródło:: Computer Science; 2015, 16 (3); 219-236
1508-2806
2300-7036
Pojawia się w:: Computer Science
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 6.

Tytuł:: Identification and Analysis of Learning Styles of MOOC Students
Autorzy:: Verhun, V.
Powiązania:: https://bibliotekanauki.pl/articles/410940.pdf
Data publikacji:: 2019
Wydawca:: Polska Akademia Nauk. Oddział w Lublinie PAN
Tematy:: MOOC
learning styles
software engineering
Opis:: The paper presents the results of analyzing the impact of learning styles on the success of the MOOC course. The study was based on the Kolb’s learning style questionnaire. The survey was shared among the students of software engineering MOOC course. The results of the survey were statistically analyzed. Compared the influence of different learning styles and their strength to successful completion of the course. Analyzed the strength of different learning styles among the students of different ages and different education. The results of the research show that the learning style has an impact to the course finishing success and should be considered for the effective educational program creation.
Źródło:: ECONTECHMOD : An International Quarterly Journal on Economics of Technology and Modelling Processes; 2019, 8, 2; 17-20
2084-5715
Pojawia się w:: ECONTECHMOD : An International Quarterly Journal on Economics of Technology and Modelling Processes
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 7.

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ł

Zmień widok

na półce

Skocz do pozycji: 8.

Tytuł:: Private Eye: A Gameplay for Problem Solving Skills
Autorzy:: Tomas U. Ganiron Jr, Ganiron Jr
Alfad, Johara G.
Florendo, Blaise A.
Amoncio, Reylan J.
Powiązania:: https://bibliotekanauki.pl/articles/1177999.pdf
Data publikacji:: 2018
Wydawca:: Przedsiębiorstwo Wydawnictw Naukowych Darwin / Scientific Publishing House DARWIN
Tematy:: Animation
functionality
gameplay
private eye
software engineering
usability
video game
Opis:: The use of game-based learning relates to the use of games to enhance the problem-solving skills. This paper will present the findings of observational research of Private Eye as a gameplay using rudimentary programming concepts. The Private Game Play encompasses executables, source code, architecture descriptions, and so on. As a result, the notion of user extends to operators as well as to programmers, which are users of components such as software libraries. The standard provides a framework for organizations to define a quality model for a software product. In doing so, however, it leaves up to each organization the task of specifying precisely its own model. This may be done, for example, by specifying target values for quality metrics which evaluates the degree of presence of quality attributes. The study will assess the software quality of the Private Eye Gameplay based on ISO/IEC, 9126-1 It will also contribute to the empirical evidence in games-based construction by providing the results of observational research across different levels of its software quality and will provide pedagogical guidelines for assessing programming ability using a games-based construction approach.
Źródło:: World Scientific News; 2018, 96; 149-178
2392-2192
Pojawia się w:: World Scientific News
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 9.

Tytuł:: Requirements specification pattern for business software systems development and enhancement projects
Wzorzec specyfikacji wymagań systemowych dla przedsięwzięć doskonalenia istniejących systemów oprogramowania biznesowego
Autorzy:: Tomala, Grzegorz
Wilk, Jarosław
Powiązania:: https://bibliotekanauki.pl/articles/432235.pdf
Data publikacji:: 2013
Wydawca:: Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
Tematy:: software engineering
software requirements specifications
requirements analysis
Opis:: The aim of the paper is to propose the concept of analytical work for Business Software Systems Development and Enhancement Projects on two levels of detail: a high level, which describes changes introduced by a new project, and at low level, which describes all functionalities of a system (including those which had been in use before the project concept was created). Requirements specification patterns were proposed for use case specification, graphical user interface and metric changes.
Źródło:: Informatyka Ekonomiczna; 2013, 4(30); 267-278
1507-3858
Pojawia się w:: Informatyka Ekonomiczna
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 10.

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ł

Zmień widok

na półce

Skocz do pozycji: 11.

Tytuł:: Zastosowanie internetowej platformy wymiany ogłoszeń z wykorzystaniem baz danych w inżynierii rolniczej
The possibility of using internet system as a notice-board by using databases technology in the area of agriculture engineering
Autorzy:: Sojak, M.
Głowacki, S.
Krawcewicz, M.
Powiązania:: https://bibliotekanauki.pl/articles/289160.pdf
Data publikacji:: 2007
Wydawca:: Polskie Towarzystwo Inżynierii Rolniczej
Tematy:: baza danych
MySQL
inżynieria rolnicza
SQL
oprogramowanie otwarte
databases
agricultural engineering
open source software
Opis:: W pracy przedstawiono możliwość zastosowania baz danych do budowy internetowej platformy dotyczącej inżynierii rolniczej. W skład opracowanej platformy wchodzą dwa systemy bazodanowe. Pierwszy z nich udostępnia do edycji poprzez Internet bazę danych dotyczącą marchwi. Drugi jest systemem publikacji ogłoszeń dotyczących sprzedaży i kupna owoców oraz warzyw, pełniącym funkcję giełdy internetowej. Oba systemy zbudowane zostały w całości przy wykorzystaniu darmowego otwartego oprogramowania.
This paper presents the possibility of using databases technology to construct internet notice-board system in the agriculture engineering area. The service consists of two databases parts. "Carrot" databases gives possibility of changing data by Internet. The second system mentioned, "Agrogiełda", is the service concerning commodity market of fruits and vegetables as an internet system. Twice, the mentioned above systems, were constructed by means of the free of charge open source systems. The results of work were presented on figures.
Źródło:: Inżynieria Rolnicza; 2007, R. 11, nr 2 (90), 2 (90); 287-292
1429-7264
Pojawia się w:: Inżynieria Rolnicza
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 12.

Tytuł:: Analysis of distributed systems dynamics with Erlang Performance Lab
Autorzy:: Ślaski, M.
Turek, W.
Gil, A.
Szafran, B.
Paciorek, M.
Byrski, A.
Powiązania:: https://bibliotekanauki.pl/articles/305613.pdf
Data publikacji:: 2018
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: software engineering
distributed computing and simulation
distributed systems monitoring
Opis:: Modern, highly concurrent, and large-scale systems require new methods for design, testing, and monitoring. Their dynamics and scale require real-time tools that provide a holistic view of the whole system and the ability to show a more detailed view when needed. Such tools can help identify the causes of unwanted states, which is hardly possible with a static analysis or metrics-based approach. In this paper, a new tool for the analysis of distributed systems in Erlang is presented. It provides the real-time monitoring of system dynamics on diferent levels of abstraction. The tool has been used for analyzing a large-scale urban trafic simulation system running on a cluster of 20 computing nodes.
Źródło:: Computer Science; 2018, 19 (2); 139-155
1508-2806
2300-7036
Pojawia się w:: Computer Science
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 13.

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ł

Zmień widok

na półce

Skocz do pozycji: 14.

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ł

Zmień widok

na półce

Skocz do pozycji: 15.

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ł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "software engineering" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język