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ę "requirements modeling" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-6 z 6
    Tytuł:
    Extending UML Use Case Diagrams to Represent Non-Interactive Functional Requirements
    Autorzy:
    Iqbal, Saqib
    Al-Azzoni, Issam
    Allen, Gary
    Khan, Hikmat Ullah
    Powiązania:
    https://bibliotekanauki.pl/articles/384182.pdf
    Data publikacji:
    2020
    Wydawca:
    Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
    Tematy:
    use case
    modeling
    UML
    requirements engineering
    functional requirement
    Opis:
    Background: The comprehensive representation of functional requirements is a crucial activity in the analysis phase of the software development life cycle. Representation of a complete set of functional requirements helps in tracing business goals effectively throughout the development life cycle. Use case modelling is one of the most widely-used methods to represent and document functional requirements of the system. Practitioners exploit use case modelling to represent interactive functional requirements of the system while overlooking some of the non-interactive functional requirements. The non-interactive functional requirements are the ones which are performed by the system without an initiation by the user, for instance, notifying something to the user or creating an internal backup. Aim: This paper addresses the representation of non-interactive requirements along with interactive ones (use cases) in one model. This paper calls such requirements 'operation cases' and proposes a new set of graphical and textual notations to represent them. Method: The proposed notations have been applied on a case study and have also been empirically evaluated to demonstrate the effectiveness of the new notations in capturing non-interactive functional requirements. Results and Conclusion: The results of the evaluation indicate that the representation of operation cases helps in documenting a complete set of functional requirements, which ultimately results in a comprehensive translation of requirements into design.
    Źródło:
    e-Informatica Software Engineering Journal; 2020, 14, 1; 97-115
    1897-7979
    Pojawia się w:
    e-Informatica Software Engineering Journal
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Hardware-Software Implementation of Basic Principles Simulator of Nuclear Reactor Processes
    Realizacje sprzętowo-programowe symulatorów podstawowych zasad przebiegu procesów reaktora jądrowego
    Autorzy:
    Karla, T.
    Tarnawski, J.
    Duzinkiewicz, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/397306.pdf
    Data publikacji:
    2016
    Wydawca:
    ENERGA
    Tematy:
    symulator
    reaktor jądrowy
    kształcenie
    praca w czasie rzeczywistym
    modeling
    symulation
    nuclear reactor
    real-time requirements
    education
    training
    Opis:
    The paper presents implementation process of basic principle simulators of a nuclear reactor processes. Simulators are based on point-models of processes: kinetics of neutrons, heat generation and exchange, poisoning and burning-up nuclear fuel. Reference simulator was developed in MATLAB/Simulink without taking into account real-time operation. Second simulator was built using the toolbox xPC with hard real-time requirements. Functional decomposition of a nuclear reactor was performed and processes with different time scales were isolated. Simulation of each separated process in Raspberry PI computer with coordination mechanism among them led to a distributed soft real-time simulator. Idea of web-based simulator is also presented. The engine of the web-based simulator can be implemented on the server while the presentation of the state of the simulator and the prescription of parameters can be performed using a web browser. This allows simultaneous access to the simulator using different devices, including mobile as tablets, laptops and mobile phones. Compliance tests of simulators with reference simulator were conducted and the results proved the correctness of implementation. A review of the properties and potential applications of the various versions of developed simulators is presented.
    W artykule przedstawiono możliwości i proces budowy symulatorów podstawowych zasad działania procesów reaktora jądrowego. Proces budowy i badania oparte są na modelach punktowych: kinetyki neutronów, procesów generacji i wymiany ciepła oraz procesów zatruwania i wypalania paliwa. Badano możliwości realizacji symulatorów, wykorzystując różne środowiska programowe i platformy sprzętowe. Referencyjny symulator został opracowany w środowisku MATLAB/Simulink bez uwzględnienia wymagań pracy w czasie rzeczywistym. Na jego podstawie zbudowano w środowisku xPC drugi symulator procesów reaktora, pracujący w czasie rzeczywistym przy spełnieniu twardych wymagań czasowych. Następnie dokonano dekompozycji funkcjonalnej reaktora jądrowego i wydzielono procesy o różnych skalach czasowych, a ich symulacje zostały wraz z mechanizmem synchronizacji zaimplementowane w kilku jednostkach Raspberry PI, uzyskując rozproszoną wersję symulatora. Przeprowadzono weryfikację poprawności działania symulatorów oraz opracowano interfejsy użytkownika i instrukcje obsługi. W artykule jest również rozpatrywany sieciowy symulator obsługiwany z poziomu przeglądarki internetowej. Dokonano porównania funkcjonalności, ograniczeń i potencjalnych zastosowań poszczególnych symulatorów.
    Źródło:
    Acta Energetica; 2016, 2; 107-112
    2300-3022
    Pojawia się w:
    Acta Energetica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Improving software systems by Flow Control Analysis
    Autorzy:
    Poznański, P.
    Wawrowski, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/305292.pdf
    Data publikacji:
    2012
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    software engineering
    architecture definition
    requirements management
    testing
    agile
    systems modeling
    Opis:
    Using agile methods during the implementation of the system that meets mission critical requirements can be a real challenge. The change in the system built of dozens or even hundreds of specialized devices with embedded software requires the cooperation of a large group of engineers. This article presents a solution that supports parallel work of groups of system analysts and software developers. Deployment of formal rules to the requirements written in natural language enables using formal analysis of artifacts being a bridge between software and system requirements. Formalism and textual form of requirements allowed the automatic generation of message flow graph for the (sub) system, called the “big-picture-model”. Flow diagram analysis helped to avoid a large number of defects whose repair cost in extreme cases could undermine the legitimacy of agile methods in projects of this scale. Retrospectively, a reduction of technical debt was observed. Continuous analysis of the “big picture model” improves the control of the quality parameters of the software architecture. The article also tries to explain why the commercial platform based on UML modeling language may not be sufficient in projects of this complexity.
    Źródło:
    Computer Science; 2012, 13 (2); 81-92
    1508-2806
    2300-7036
    Pojawia się w:
    Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Koncepcja wytwarzania ontologii dziedzinowej inżynierii wymagań
    A proposal of the process of creating the ontology for requirements engineering
    Autorzy:
    Machura, Artur
    Powiązania:
    https://bibliotekanauki.pl/articles/591710.pdf
    Data publikacji:
    2017
    Wydawca:
    Uniwersytet Ekonomiczny w Katowicach
    Tematy:
    Ontology Driven Requirements Engineering
    Open Unified Process
    Unified Modeling Language
    Unified Process Ontology Development
    Opis:
    Artykuł, koncentrując się na warstwie praktycznej rozważań, dąży do odpowiedzi na pytanie – jak stworzyć model ontologiczny inżynierii wymagań, uwzględniając unikatowe zastosowanie współczesnych metod? Sformułowany proces tworzenia ontologii wymagań projektowych opiera się na przepływie sterowania pomiędzy głównymi aktywnościami, takimi jak: kreowana strategia przedsiębiorstwa, realizacja projektu informatycznego, eksploatacja rozwiązania. W artykule przedstawiony jest projekt bazujący na tzw. przypadkach użycia, który pozwala na powiązanie różnych dziedzin kompetencyjnych, tj. zapewnienia równowagi pomiędzy IT a biznesem (IT BSC Model by Van Grembergen), procesu wytwórczego oprogramowania (Open Unified Process), procesu tworzenia samej ontologii (Unified Process Ontology Development). Przedstawiony w artykule problem może mieć istotne implikacje badawcze, albowiem w rezultacie wykorzystania opisywanego podejścia zastosowania inżynierii wymagań określona grupa przedsięwzięć informatycznych może liczyć na wysoki poziom jakości, przy de facto stosunkowo niskim koszcie jej zapewnienia. Uporządkowany proces tworzenia ontologii zastosowania inżynierii wymagań wiąże w sposób unikatowy odrębne metody (IT BSC Model, Open UP, UPON) – na potrzeby realnego przedsiębiorstwa.
    The success of business operations of an enterprise is more and more dependent on an effective use of IT solutions. Project management from the perspective of the Requirements Engineering method is a response of the software engineering. However, very often it is an unattainable challenge in the economic practice, particularly for small and medium enterprises. As the main limitation for SME are time and costs which are necessary on account of performing the work. The article suggests an innovative approach to solve this problem. The formulated process of creating the ontology use of requirements engineering, is to lead to easier, and most of all more effective, use of requirements engineering. For this purpose, it uses the achievements of ontology engineering, software engineering, as well as the IT and business balance management. In the article, a comprehensive methodological and tool method is proposed, based on free ontology and software engineering standards.
    Źródło:
    Studia Ekonomiczne; 2017, 342; 99-114
    2083-8611
    Pojawia się w:
    Studia Ekonomiczne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Realizacje sprzętowo-programowe symulatorówpodstawowych zasad przebiegu procesów reaktora jądrowego
    Hardware-software implementation of basic principles simulator of nuclear reactor processes
    Autorzy:
    Karla, T.
    Tarnawski, J.
    Duzinkiewicz, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/267775.pdf
    Data publikacji:
    2015
    Wydawca:
    Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
    Tematy:
    symulatory
    reaktor jądrowy
    kształcenie
    praca w czasie rzeczywistym
    modeling
    simulation
    nuclear reactor
    real-time requirements
    education
    training
    Opis:
    Przedstawiono możliwości i proces budowy symulatorów podstawowych zasad działania procesów reaktora jądrowego w oparciu o modele punktowe: kinetyki neutronów, procesów generacji i wymiany ciepła oraz procesów zatruwania i wypalania paliwa. Referencyjny symulator został opracowany w środowisku MATLAB/Simulink. Na jego podstawie zbudowano w środowisku xPC drugi symulator pracujący w czasie rzeczywistym. Po dekompozycji funkcjonalnej reaktora jądrowego wydzielono procesy o różnych skalach czasowych i zaimplementowano wraz z mechanizmem synchronizacji w jednostkach Raspberry PI uzyskując rozproszoną wersję symulatora. W artykule rozpatrywany jest również sieciowy symulator obsługiwany z poziomu przeglądarki internetowej. Przeprowadzono weryfikację poprawności działania symulatorów. Dokonano porównania funkcjonalności i możliwych zastosowań symulatorów.
    The paper presents implementation process of basic principle simulators of a nuclear reactor processes. Simulators are based on point-models of processes: kinetics of neutrons, heat generation and exchange, poisoning and burning-up nuclear fuel. Reference simulator was developed in MATLAB / Simulink without taking into account real-time operation. Second simulator was built using the toolbox xPC with hard real-time requirements. Functional decomposition of a nuclear reactor was performed and processes with different time scales were isolated. Simulation of each separated process in Raspberry PI computer with coordination mechanism among them led to a distributed soft real-time simulator. Idea of web-based simulator is also presented. The engine of the web-based simulator can be implemented on the server while the presentation of the state of the simulator and the prescription of parameters can be performed using a web browser. This allows simultaneous access to the simulator using different devices, including mobile as tablets, laptops and mobile phones. Compliance tests of simulators with reference simulator were conducted and the results proved the correctness of implementation. A review of the properties and potential applications of the various versions of developed simulators is presented.
    Źródło:
    Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2015, 42; 125-128
    1425-5766
    2353-1290
    Pojawia się w:
    Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Requirements Modeling in Agile Methodologies with X-Machines
    Modelowanie wymagań w metodach Agile z wykorzystaniem X-Machines
    Autorzy:
    Lipski, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/305983.pdf
    Data publikacji:
    2011
    Wydawca:
    Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
    Tematy:
    X-Machine
    metody Agile
    modelowanie wymagań
    agile methods
    requirements modeling
    Opis:
    The demand for more complex but also more reliable and correct computer based systems on the one hand, and the fact that several changes in the user requirements through the development cycle on the other hand, leads to the need for more formal but also agile development methodologies. X-Machines is an intuitive formal method which can be easily applied to agile methodologies, especially in specification phase, gaining a lot of advantages.
    Popyt na bardziej złożone, ale również bardziej wiarygodne i prawidłowe systemy z jednej strony, oraz fakt, że klika zmian w wymaganiach użytkownika w trakcie cyklu rozwoju oprogramowania z drugiej strony, prowadzi do konieczności użycia bardziej formalnych ale również zwinnych metody wytwarzania oprogramowania. X-Machines to intuicyjne formalne metody, które można łatwo zastosować wraz z metodami Agile, zwłaszcza w fazie specyfikacji wymagań, osiągając wiele zalet.
    Źródło:
    Biuletyn Instytutu Systemów Informatycznych; 2011, 7; 19-24
    1508-4183
    Pojawia się w:
    Biuletyn Instytutu Systemów Informatycznych
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-6 z 6

      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