Search results for: SOFTWARE REQUIREMENT SPECIFICATION

• IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

  Journals

  ISSN: 0098-5589 , eISSN: 1939-3520

• Computing and Software for Big Science

  Journals

  eISSN: 2510-2044

• SOFTWARE TESTING VERIFICATION & RELIABILITY

  Journals

  ISSN: 0960-0833 , eISSN: 1099-1689

• IET Software

  Journals

  ISSN: 1751-8806 , eISSN: 1751-8814

• From Functional Requirements through Test Evaluation Design to Automatic Test Data Retrieval – a Concept for Testing of Software Dedicated for Hybrid Embedded Systems

  Publication

  • J. Zander

  - Year 2007

  From Functional Requirements through Test Evaluation Design to Automatic Test Data Retrieval – a Concept for Testing of Software Dedicated for Hybrid Embedded Systems

  Full text to download in external service

• Modeling of generator performance of BLDC machine using mathematica software

  Publication

  • M. Michna
  • F. Kutt

  - Year 2008

  W artykule porównano trzy modele maszyny bezszczotkowej prądu stałego z magnesami trwałymi(BLDC) w przypadku pracy prądnicowej. Najprostszy model qd0 sprowadzono do dwóch osi prostopadłychzwiązanych z wirnikiem [3]. Zakłada on sinusoidalny rozkład pola w szczelinie. Model opisany wosiach naturalnych wyprowadzono w oparciu o formalizm Lagrnage'a [4] i moŜe uwzględniać dowolnyrozkład pola wzbudzonego przez magnesy trwałe. Model pośredni...

• Knowledge management based on formal models of software project management

  Publication

  • Z. Kowalczuk
  • C. Orłowski

  - CYBERNETICS AND SYSTEMS - Year 2007

  Celem pracy jest prezentacja kompletnej koncepcji systemów wspierania decyzji w zarządzaniu projektami informatycznymi. Pomysł oparty jest na dynamicznych i samo nastrajających się modelach regułowo-rozmytych. W szczególności proponowane podejście wykorzystuje koncepcje metodologii opartych wiedzy oraz teorii układów dynamicznych oraz zbiorów rozmytych. Zastosowania tego opracowania znajdują się w obszarze wytwarzania produktów...

• Poll Reader - the working prototype of optical mark recognition software

  Publication

  • M. Smiatacz

  - Year 2007

  Automatyczne rozpoznawanie zaznaczeń wydaje się stosunkowo prostym zadaniem z dziedziny przetwarzania dokumentów, a komercyjne systemy OMR są dostępne na rynku już od dłuższego czasu. Zdecydowaliśmy się jednak na stworzenie prostego darmowego oprogramowania, które mogłoby być wykorzystywane przez uczelnie zobowiązane do przeprowadzania ankiet wśród studentów. W rozdziale opisano konstrukcję programu oraz najważniejsze algorytmy...

• Towards a software platform for experience administration: Decisional DNA Manager

  Publication

  • C. Sanin
  • L. Mancilla-Amaya
  • Z. Haoxi
  • E. Szczerbicki

  - Year 2010

  W pracy przedstawiono koncepcje dochodzenia do konstrukcji platformy wspomagajacej procesy zarzadzania dosswiadczeniem decyzyjnym.

• Forecasting demand for products in distribution networks using R software

  Publication

  • M. Wolny
  • M. KMIECIK

  - Scientific Papers of Silesian University of Technology. Organization and Management Series - Year 2020

  Full text to download in external service

• SMOTE-Based Homogeneous Ensemble Methods for Software Defect Prediction

  Publication

  • A. Balogun
  • F. Lafenwa-Balogun
  • H. Mojeed
  • V. Adeyemo
  • O. Akande
  • A. Akintola
  • A. Bajeh
  • F. Usman-Hamza
  • H. A. Mojeed

  - Year 2020

  Full text to download in external service

• Software layer for FPGA-based TESLA cavity control system

  Publication

  • W. Koprek
  • P. Kaleta
  • J. Szewinski
  • K. Pozniak
  • T. Czarski
  • R. Romaniuk
  • R. S. Romaniuk

  - Year 2005

  Full text to download in external service

• Software tools for identification, visualization and analysis of protein tunnels and channels

  Publication

  • J. Brezovsky
  • E. Chovancova
  • A. Gora
  • A. Pavelka
  • L. Biedermannova
  • J. Damborsky

  - BIOTECHNOLOGY ADVANCES - Year 2013

  Full text to download in external service

• A Method of Lathe Checks Measurement; SMOF device and its software

  Publication

  • B. Pałubicki
  • R. Marchal
  • J. Butaud
  • L. Denaud
  • L. Bléron
  • R. Collet
  • G. Kowaluk

  - European Journal of Wood and Wood Products (HOLZ ALS ROH-UND WERKSTOFF) - Year 2010

  Full text to download in external service

• Determination of Ocular Artifacts in the Clinical EEG Software by a Peripheral Device

  Publication

  • J. Górecka
  • A. Biedka

  - Electronics - Year 2021

  Full text to download in external service

• How can we justify trust in software based systems?

  Publication

  • J. Górski

  - Year 2005

  Artykuł wprowadza pojęcie ''trust case'' i wyjasnia jego znaczenie w kontekście systemów informatycznych. Przedstawia również doświadczenia zdobyte w trakcie budowy trust case dla złożonego systemu IT przeznaczonego do wspomagania procesów dystrybucji i stosowania leków. Przedstawia również szereg otwartych problemów badawczych dotyczacych budowy i zarządzanie dowodami zaufania (trust case).

• Solving nonlinear programming problems by using O&G software.

  Publication

  • K. Rudzinska
  • H. Kormański

  - Year 2005

  Praca opisuje pakiet optymalizacyjny oprogramowania O&G. Umożliwia on rozwiązywanie problemów programowania nieliniowego. Użytkownik może w wygodny sposób formułować rozwiązywane zadanie i dobierać metody obliczeniowe używając interaktywnego interfejsu.

• Safety of computer control systems: challenges and results in software development.

  Publication

  • J. Zalewski
  • W. Ehrenberger
  • F. Saglietti
  • J. Górski
  • A. Kornecki

  - ANNUAL REVIEWS IN CONTROL - Year 2003

  Artykuł dokonuje przeglądu wybranych wyników dotyczących poprawy bezpieczeństwa komputerowych systemów sterowania. Dyskusja pokrywa szeroki zakres aspektów dotyczących procesu wytwarzania takich systemów. W szczególności omówiono zagadnienia dotyczące różnorodności oprogramowania, oprogramowania off-the-shelf, analizy typów awarii i ich efektów oraz formalizacji procesu wytwórczego.

• Gradient-based optimization of filters using FD-TD software

  Publication

  • P. Kozakowski
  • M. Mrozowski

  - IEEE MICROWAVE AND WIRELESS COMPONENTS LETTERS - Year 2002

  W artykule opisane jest nowe podejście do zagadnienia optymalizacji filtrów mikrofalowych pasmowo-przepustowych. Optymalizacja prowadzona jest z wykorzystaniem metody gradientowej poszukiwania minimum wartości funkcji celu oraz przy założeniu pełnofalowej symulacji obwodów metodą różnic skończonych w dziedzinie czasu. W artykule pokazane jest, że stosując zaawansowane techniki cyfrowego przetwarzania sygnałów możliwa jest optymalizacja...

• Paweł Czarnul dr hab. inż.

  People

  Dział Usług Chmurowych, Faculty of Electronics, Telecommunications and Informatics, Department of Computer Architecture

  Paweł Czarnul obtained a D.Sc. degree in computer science in 2015, a Ph.D. in computer science granted by a council at the Faculty of Electronics, Telecommunications and Informatics, Gdansk University of Technology in 2003. His research interests include:parallel and distributed processing including clusters, accelerators, coprocessors; distributed information systems; architectures of distributed systems; programming mobile devices....

• <title>Software layer for SIMCON ver. 2.1. FPGA based LLRF control system for TESLA FEL part I: system overview, software layers definition</title>

  Publication

  • W. Koprek
  • P. Kaleta
  • J. Szewinski
  • K. Pozniak
  • R. Romaniuk
  • R. S. Romaniuk

  - Year 2006

  Full text to download in external service

• Advanced local energy planning using the ALEP-PL computer software

  Publication

  • J. Buriak

  - Year 2012

  Przedstawiono autorski system komputerowy ALEP-PL do gromadzenia i agregacji danych o lokalnych obiektach energetycznych. System pozwala na analizy senariuszowe poprzez bilanse zapotrzebowania na paliwa i energie oraz poprzez wskaźnikowe wyznaczanie wilekości emisji CO2. Dodatkowo, dzięki wybudowanemu w system ALEP-PL zestawowi technologii modernizacyjnych, aplikacja umożliwia opracowywanie strategii redukcji emisji CO2, poprawy...

• Universal software radio peripheral as a receiver and DSP platform for a passive radar

  Publication

  • B. Szlachetko
  • A. Lewandowski
  • G. Haza

  - Year 2010

  Full text to download in external service

• Data Sampling-Based Feature Selection Framework for Software Defect Prediction

  Publication

  • A. Balogun
  • F. Lafenwa-Balogun
  • H. Mojeed
  • F. Usman-Hamza
  • A. Bajeh
  • V. Adeyemo
  • K. Adewole
  • R. Jimoh
  • H. A. Mojeed

  - Year 2021

  Full text to download in external service

• Using CFD software for the evaluation of hygrothermal conditions at wall-window perimeters

  Publication

  • A. Stolarska
  • J. Strzałkowski
  • H. Garbalińska
  • J. Strzałkowski

  - IOP Conference Series: Materials Science and Engineering - Year 2018

  Full text to download in external service

• BalticLSC: Low-Code Software Development Platform for Large Scale Computations

  Publication

  • K. Marek
  • M. Śmiałek
  • K. Rybiński
  • R. Roszczyk
  • M. Wdowiak

  - Computing and Informatics - Year 2021

  Full text to download in external service

• Concept of building knowledge based systems applied in software project management.

  Publication

  • C. Orłowski

  - Year 2003

  W artykule przedstawiono koncepcję budowy systemów opartych na wiedzy. Koncepcja ta bazuje na wykorzystaniu teorii zbiorów rozmytych oraz metodach ustawicznego modelowania. W artykule wskazano na metody strojenia i adaptacji tych modeli

• Methods of building knowledge-based systems applied in software project management

  Publication

  • C. Orłowski

  - Year 2005

  Praca zawiera rozdział poświecony problematyce budowy systemów z bazami wiedzy dla wspomagania procesów zarządzania. W rozdziale tym przedstawiono metody budowy systemów dla potrzeb zarządzania koncentrując uwagę na systemach opartych na wiedzy. Następnie omówiono możliwości zastosowania teorii zbiorów rozmytych do modelowania wiedzy. Na zakończenie przedstawiono przykład wykorzystania zbiorów rozmytych i systemów opartych na wiedzy...

• Hardware-Software Implementation of Basic Principles Simulator of Nuclear Reactor Processes

  Publication

  • T. Karla
  • J. Tarnawski
  • K. Duzinkiewicz

  - Acta Energetica - Year 2016

  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....

  Full text available to download

• Eye-tracking everywhere - software supporting disabled people in interaction with computers

  Publication

  • K. Solska
  • T. Kocejko

  - Year 2022

  In this paper we present comprehensive system for communication with computer by gaze. One of the main assumptions behind this work was to provide solution that can be used with standard RGB webcam. The proposed comprehensive system included the eye tracking module and user interface for convenient gaze interaction with computer. As a result a fully functional application was developed. The average accuracy of the eye tracking...

  Full text to download in external service

• OF-FEMEA: an approach to safety analysis of object oriented software intensive systems.

  Publication

  • T. Cichocki
  • J. Górski

  - Year 2003

  Artykuł przedstawia rozszerzenie metody FMEA znanej z jej zastosowań w stosunku do systemów związanych z bezpieczeństwem, w sposób umożliwiający jej stosowanie do systemów zawierających oprogramowanie i budowanych zgodnie z podejściem obiektowym. Punktem wyjścia dla metody są modele współpracy wyrażone w notacji UML. Komponenty systemu są modelowane z zastosowaniem notacji formalnej CSP. Metoda wspomaga systematyczną identyfikacje...

• Adam Przybyłek dr

  People

  Department of Software Engineering

  Adam Przybyłek is an assistant professor at Gdansk University of Technology, Poland, where he has been working since October 2012. Between 2002 and 2011 he was a network consultant and instructor at Cisco Networking Academy. He obtained his Ph.D. degree in Software Engineering in 2011. He also holds a master's degree in Management Information Systems. His main research interests are in empirical software engineering with focus...

• development of an open source software to transform acoustic data for classification of benthic habitat

  Publication

  • N. Sanchez-Carnero
  • M. Moszyński

  - HYDROACOUSTICS - Year 2007

  .

  Full text available to download

• WiMA: Towards a Multi-Criterion Association in Software Defined Wi-Fi Networks

  Publication

  • S. Manzoor
  • H. Manzoor
  • S. Rubab
  • M. Attique
  • M. Alhaisoni
  • A. Alqahtani
  • Y. Jin
  • B. Chang

  - Computers, Materials & Continua - Year 2023

  Full text to download in external service

• Application of Shuffled Frog-Leaping Algorithm for Optimal Software Project Scheduling and Staffing

  Publication

  • A. Ameen
  • H. Mojeed
  • A. Bolariwa
  • A. Balogun
  • M. Mabayoje
  • F. Usman-Hamzah
  • M. Abdulraheem
  • H. A. Mojeed

  - Year 2021

  Full text to download in external service

• The application of GIS and 3D graphic software to visual impact assessment of wind turbines

  Publication

  • R. Wróżyński
  • M. Sojka
  • K. Pyszny

  - RENEWABLE ENERGY - Year 2016

  Full text to download in external service

• International Review on Computers and Software (IRECOS)

  Journals

  ISSN: 1828-6003

• ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

  Journals

  ISSN: 1049-331X , eISSN: 1557-7392

• Software-Intensive Cyber-Physical Systems

  Journals

  ISSN: 2524-8510 , eISSN: 2524-8529

• Przemysław Rośleń

  People

  Associate Software Engineer in Adtran

• A method of supporting client-provider cooperation in software acquisition processes and its evaluation criteria

  Publication

  • J. Górski
  • K. Wyrzykowski

  - Przegląd Elektrotechniczny - Year 2010

  Artykuł przedstawia metodę Wspomagania Interakcji KLienta i Dostawcy Oprogramowania (WIKLIDO). Metoda ta została zpowodzeniem zastosowana w dwóch studiach przypadków w komercyjnych projektach pozyskiwania oprogramowania. Artykuł wyjaśnia w jaki sposób metoda wykorzystuje środki modelowania do usystematyzowania interakcji pomiędzy klientem i dostawcą oprogramowania. Przedstawia również w jaki sposób wykorzystano podejście GQM (ang....

  Full text to download in external service

• Hybrid Obfuscation Technique to Protect Source Code From Prohibited Software Reverse Engineering

  Publication

  • A. Al-Hakimi
  • A. Sultan
  • A. Abdul
  • N. Ali
  • N. Admodisastro

  - IEEE Access - Year 2020

  Full text to download in external service

• Drawing Functions and NLP Algorithm Steps for Optimization Problems by using O&G Software.

  Publication

  • H. Kormański
  • K. Rudzinska

  - Year 2005

  Praca opisuje program służący do wizualizacji problemów programowania nieliniowego (funkcja celu, ograniczenia) oraz pracy rozwiązującego je algorytmu. Wizualizacja może być realizowana w przestrzeni dwu- lub trójwymiarowej.

• Looking For Motivation. How to Keep Students’ Software Projects from Ending up on the Shelf?

  Publication

  • T. Zawadzka
  • M. Zawadzki
  • A. Landowska

  - Year 2024

  IT specialists in the business environment work in teams according to the established methodology and using the established toolkit. From the university’s point of view, preparing IT students to work in such an environment is a challenging task, as it requires either cooperation with business or the simulation of similar conditions in the university environment. Participation of students in real projects can provide them with the...

  Full text to download in external service

• ENVIRONMENTAL MODELLING & SOFTWARE

  Journals

  ISSN: 1364-8152 , eISSN: 1873-6726

• ADVANCES IN ENGINEERING SOFTWARE

  Journals

  ISSN: 0965-9978 , eISSN: 1873-5339

• A Multichannel Receiver of the Experimental FM Based Passive Radar Using Software Defined Radio Technology

  Publication

  • B. Szlachetko
  • A. Lewandowski

  - Kwartalnik Elektroniki i Telekomunikacji - Year 2012

  Full text to download in external service

• Software-based method of increasing the effective resolution of a measurement chain for a transducer with a pulse frequency output

  Publication

  • E. Pawlowski

  - Year 2017

  Full text to download in external service

• How Good Is My Project? Experiences from Projecting Software Quality Using a Reference Set

  Publication

  • J. Chojnacki
  • C. Mazurek
  • B. Walter
  • M. Wolski

  - Year 2019

  Full text to download in external service

• Sprzętowa i programowa realizacja algorytmu szyfrującego AES = Hardware and software implementation of AES algorithm

  Publication

  • M. Wójcikowski
  • B. Pankiewicz

  - Year 2006

  W artykule przedstawiono sprzętową i programową realizację algorytmu szyfrującego i deszyfrującego AES. Obydwie implementacje zostały zrealizowane z wykorzystaniem platformy Virtex-II i praktycznie zweryfikowane. Jako kryteria do porównania wybrano: zużycie zasobów, przepustowość i zużycie mocy. Wersja sprzętowa charakteryzuje się 190-krotnie większą przepustowością, 80-krotnie mniejszym zużyciem energii na przetworzenie jednego...