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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-9 z 9
    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ł
    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ł:
    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ł:
    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ł:
    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ł:
    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ł
    Tytuł:
    Recovery and migration of application logic from legacy systems
    Autorzy:
    Nowakowski, W.
    Śmiałek, M.
    Ambroziewicz, A.
    Jarzębowski, N.
    Straszak, T.
    Powiązania:
    https://bibliotekanauki.pl/articles/305386.pdf
    Data publikacji:
    2012
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    application logic
    reverse engineering
    model transformation
    model-driven software development
    Opis:
    Future Internet technologies necessitate dramatic changes in system design, delivery and usage patterns. For many legacy applications it means that their further development and transition to the Internet becomes problematic or even impossible due to the obsolescence of technologies they use. Replacement of the old system with the new one, built from scratch, is usually economically unacceptable. Therefore, there is a call for methods and tools supporting the automated migration of legacy systems into a new paradigm. This paper proposes a tool supported method for recovery and migration of application logic information from legacy systems. The information extracted from a legacy application is stored in the form of precise requirement-level models enabling automated transformation into a new system structure in a model-driven way. Evaluation of the approach is based on a case study legacy system.
    Źródło:
    Computer Science; 2012, 13 (4); 53-70
    1508-2806
    2300-7036
    Pojawia się w:
    Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A UML 2.0 activity diagrams/csp integrated approach for modeling and verification of software systems
    Autorzy:
    Elmansouri, Raida
    Meghzili, Said
    Chaoui, Allaoua
    Powiązania:
    https://bibliotekanauki.pl/articles/2097950.pdf
    Data publikacji:
    2021
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    model-driven engineering
    graph transformation
    transformation correctness
    model checker
    groove
    software systems
    Opis:
    This paper proposes an approach that integrates UML 2.0 Activity Diagrams (UML2-ADs) and the communicating sequential process (CSP) for modeling and verifying software systems. A UML2-AD is used for modeling a software system, while a CSP is used for verification purposes. The proposed approach consists of another way of transforming UML2-AD models to CSP models. It also focuses on checking the correctness of some properties of the transformation itself. These properties are specified using linear temporal Logic (LTL) and verified using the GROOVE model checker. This approach is based on model -driven engineering (MDE). The meta-modeling is realized using the AToMPM tool, while the model transformation and the correctness of its properties are realized using the GROOVE tool. Finally, we illustrated this approach through a case study.
    Źródło:
    Computer Science; 2021, 22 (2); 209-233
    1508-2806
    2300-7036
    Pojawia się w:
    Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    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ł
      Wyświetlanie 1-9 z 9

      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