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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-5 z 5
    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ł:
    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ł:
    Rapid design and development of control applications for electrical engineering
    Szybkie tworzenie aplikacji kontrolno-pomiarowych na potrzeby elektrotechniki
    Autorzy:
    Wojnicki, I.
    Rad, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/282188.pdf
    Data publikacji:
    2013
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    programming
    control systems
    software design
    electric machines
    programowanie
    systemy sterowania
    projektowanie oprogramowania
    maszyny elektryczne
    Opis:
    This paper presents a control application programming concept based on attributive logic and context-based reasoning. General features and benefits, comparied with other contemporary approaches, are given. The proposed solution is targeted at electric machine tests and diagnostics. An illustrative example of programming an induction motor no-load test which compares the proposed solution with a Matlab-based application is also given.
    Artykuł prezentuje koncepcję programowania aplikacji kontrolno-pomiarowych opartą na logice atrybutowej i wnioskowaniu kontekstowym. Przedstawione są ogólne zasady proponowanego podejścia i osiągane korzyści w stosunku do używanych obecnie metod. Przykładem, na którym omówiono sposób tego rodzaju programowania są aplikacje kontrolno-pomiarowe tworzone z myślą o próbach i diagnostyce maszyn elektrycznych. Zamieszczono przykład zaimplementowanej procedury pomiarowej: próby biegu jałowego maszyny indukcyjnej.
    Źródło:
    Automatyka / Automatics; 2013, 17, 2; 263-270
    1429-3447
    2353-0952
    Pojawia się w:
    Automatyka / Automatics
    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 języka LOTOS do modelowania wybranych struktur metody HOOD
    Use of LOTOS language in modeling HOOD method structures
    Autorzy:
    Brzuchcz, R.
    Powiązania:
    https://bibliotekanauki.pl/articles/320396.pdf
    Data publikacji:
    2006
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    systemy czasu rzeczywistego
    weryfikacja oprogramowania
    algebry procesów
    abstrakcyjne typy danych
    LOTOS
    HOOD
    real-time systems
    software verification
    process algebras
    abstract data types
    Opis:
    W pracy zaprezentowano możliwości użycia języka LOTOS [3, 7] w projektowaniu oprogramowania systemów czasu rzeczywistego metodą HOOD [6, 13]. Wybrane struktury HOOD zostają wyrażone w języku algebry procesów i abstrakcyjnych typów danych, co zapewnia możliwość formalnej analizy tworzonego projektu. We wprowadzeniu do pracy wyjaśniono cel i motywacje do tworzenia modelu formalnego projektu systemu czasu rzeczywistego. Następnie przedstawiono skrócony opis metodyki hierarchicznego projektowania HOOD, której notacja i proces projektowy stanowią bazę dla proponowanej metody formalizacji. Wyjaśniono znaczenie takich konstrukcji, jak moduł, interfejs, operacja, hierarchia użycia i zawierania. W kolejnym punkcie, po krótkim przedstawieniu języka LOTOS [3, 7], zaprezentowano technikę, w której konstrukcje metody HOOD zostają zinterpretowane w języku formalnym algebry procesów i abstrakcyjnych typów danych. Opis przeprowadzony jest dla prostego przykładu projektu w HOOD, celem wyjaśnienia istoty interpretacji. W części końcowej pracy podano wnioski wraz ze wskazaniem dalszych możliwych kierunków rozwoju i zastosowań prezentowanej metody.
    The article presents a possibility of using LOTOS [3, 7] formal language in the HOOD [6, 13] real-time system design. Process algebras and abstract data types are used to express some HOOD structures in order to allow formal analysis of the system. The introduction explains the motivations and the goal of the work. Then, there is a brief survey of the HOOD hierarchical design method in the next point. It states as the base for the formalization method explained in the article. The notions of module, interface, operation, use and include relations are briefly explained. After it, the simple LOTOS language constructs are also presented. Next point explains the formalization of the HOOD structures. This is the most essentials part of the work where the method is presented on the exemplary HOOD diagram. LOTOS code is produced relate to the HOOD informal semantic. It expresses the main concepts of the HOOD dynamic model. There are the conclusions and further works proposals at the end of the article.
    Źródło:
    Elektrotechnika i Elektronika; 2006, 25, 1; 1-9
    1640-7202
    Pojawia się w:
    Elektrotechnika i Elektronika
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-5 z 5

      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