Browsing by Subject "software engineering"

Now showing 1 - 12 of 12

Access status: Restricted ,
Analiza skuteczności testowania mutacyjnego
(Data obrony: 2017-07-04) Witaszczyk, Karol
Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
Access status: Open Access ,
Analiza wymagań dla systemu elektronicznego oceniania rozwiązań zadań egzaminacyjnych
(Wydawnictwa AGH, 2009) Bieniecki, Wojciech; Stańdo, Jacek; Stoliński, Sebastian
In his paper the idea of e-evaluation is presented. This is a system for checking sheets of paper in the examination by the examiner directly on the computer screen. The advantage of such a solution is, as experience has shown, to improve the quality of the preparation of the test and its evaluation. The process of automation of the examination includes systems of electronic tests, commonly implemented both as a standalone or distributed application. We present the project architecture of a web system for scanning exam sheets, distributing the scans to examiners and managing the whole process of examination in a secure and effective way. A long-term goal is to let Central Examination Board deploy the system in maturity and high school examinations.
Access status: Open Access ,
Analysis of distributed systems dynamics with Erlang Performance Lab
(Wydawnictwa AGH, 2018) Ślaski, Michał; Turek, Wojciech; Gil, Arkadiusz; Szafran, Bartosz; Paciorek, Mateusz; Byrski, Aleksander
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.
Access status: Open Access ,
Concurrent systems modeling with CCL
(Wydawnictwa AGH, 2012) Kułakowski, Konrad
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.
Access status: Open Access ,
Improving software systems by Flow Control Analysis
(Wydawnictwa AGH, 2012) Poznański, Piotr; Wawrowski, Mariusz
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.
Access status: Restricted ,
Inżynieria oprogramowania
(Wydawnictwo Naukowe PWN, 2010) Sacha, Krzysztof
Access status: Restricted ,
Koncepcja systemu GIS dla rejestracji i analizy wskaźników deformacji powierzchni terenu górniczego w technologii wolnego oprogramowania
(Data obrony: 2014-07-16) Lisowski, Przemysław
Wydział Geologii, Geofizyki i Ochrony Środowiska
Terrain deformation cause damage to many buildings in mining areas. These deformations can be described by the data obtained from geodesic measurements. There is a necessity to solve the problem of managing information about the impact of mining on surface of the Earth. The aim of the study was to develop the concept of a system for recording effects of mining on surface of the Earth. The system was designed on the basis of data obtained from an underground mine Rudna. The work presents the idea of system implementation using open software. Specific components proposed for the designed system were described. The project includes a comprehensive development enabling implementation of the solution. The work presents basic functionalities and elements necessary in system construction. It also includes description of geoportal website components.
Access status: Restricted ,
Opracowanie modułu do zarządzania wiedzą w procesach inżynierii oprogramowania
(Data obrony: 2017-01-19) Szlachta, Alicja
Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
Access status: Open Access ,
Repozytorium konfiguracji oprogramowania jako podstawa zaawansowanych rozwiązań zarządzania procesem wytwórczym oprogramowania
(Wydawnictwa AGH, 2006) Serafiński, Tomasz
In his article we presented software configuration repository which can be used as storage of data about software development process. With this data we can feed analytical tools which will estimate contamination of change in software project. Presented solution is taking in account not only configuration items, as in other solutions in this class, but also complex dependencies between configuration items and resources. Additionally in repository we include all steps needed to be done while working on particular configuration items. This approach allows us to use described solution as a software quality management tool.
Access status: Open Access ,
Software configuration management for multiple releases - influence on development effort
(2007) Maludziński, Sławomir P.
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.
Access status: Restricted ,
Zarządzanie projektami informatycznymi
(Wydawnictwo Naukowe PWN, 2006) Flasiński, Mariusz
Access status: Restricted ,
Zastosowanie technik uczenia maszynowego do rekomendacji wymagań dla projektów informatycznych
(Data obrony: 2017-10-23) Przystasz, Robert
Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej