Wykaz publikacji wybranego autora

Piotr Szwed, dr inż.

adiunkt

Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
WEAIiIB-kis, Katedra Informatyki Stosowanej


  • 2018

    [dyscyplina 1] dziedzina nauk inżynieryjno-technicznych / informatyka techniczna i telekomunikacja


[poprzednia klasyfikacja] obszar nauk technicznych / dziedzina nauk technicznych / informatyka


Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0003-1231-3867 połącz konto z ORCID

ResearcherID: C-8474-2013

Scopus: 55188460100

PBN: 5e70922c878c28a047391206

OPI Nauka Polska

System Informacyjny AGH (SkOs)




1
  • Formal analysis of use case diagramsFormalna analiza diagramów przypadków użycia / Radosław KLIMEK, Piotr SZWED // Computer Science ; ISSN 1508-2806. — 2010 vol. 11, s. 115–131. — Bibliogr. s. 130–131. — tekst: http://journals.bg.agh.edu.pl/COMPUTER/2010/cs2010-08.pdf

  • słowa kluczowe: UML, przypadek użycia, model formalny, weryfikacja, weryfikacja modelowa, logika temporalna, metoda tablic semantycznych

    keywords: UML, use case, formal model, model checking, temporal logic, semantic tableau, verification

    cyfrowy identyfikator dokumentu:

2
  • Implementacja semaforów i kolejek komunikatów w systemie CrOS[Implementation of semaphores and message queues in CrOS system] / Piotr SZWED, Grzegorz ROGUS, Piotr SZYMCZYK, Magdalena SZYMCZYK // W: Metody wytwarzania i zastosowania systemów czasu rzeczywistego : praca zbiorowa / pod red. Leszka Trybusa i Sławomira Samoleja. — Warszawa : Wydawnictwa Komunikacji i Łączności, 2010. — ISBN: 978-83-206-1780-1. — S. 277–288. — Bibliogr. s. 288

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

3
  • INSIGMA [Dokument elektroniczny] : Inteligentny System Informacyjny dla Globalnego Monitoringu, Detekcji i Identyfikacji Zagrożeń. Raport techniczny D2.1, Analiza wymagań dla ontologii systemu INSIGMA[INSIGMA : Intelligent System for Identification and Detection]. D2.1, Analysis of the requirements for INSIGMA system ontology / Joanna Śliwa, Kamil Gleba, Tomasz Podlasek, Przemysław Caban, Wojciech CHMIEL, Piotr SZWED. — Wersja do Windows. — Dane tekstowe. — [Kraków : AGH], [2010]. — 134 s.. — Tryb dostępu: http://insigma.kt.agh.edu.pl/ [2012-02-24]. — Bibliogr. s. 134. — Publikacja dostępna w Internecie po zalogowaniu

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

4
  • Integracja modeli ontologicznych metodyk zarządzania projektami IT na przykładzie zarządzania zmianąIntegration of ontological models for IT project management methodologies on example of change management / Piotr SZWED, Grzegorz ROGUS, Jan WEREWKA // W: Inżynieria oprogramowania w procesach integracji systemów informatycznych / red. Janusz Górski, Cezary Orłowski. — Gdańsk : Pomorskie Wydawnictwo Naukowo-Techniczne PWNT, 2010. — (Automatyka i Informatyka : Technologie Informacyjne, Zarządzanie / ed. serii Zdzisław Kowalczuk). — ISBN: 978-83-926806-5-9. — S. 337–344. — Bibliogr. s. 344, Streszcz., Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

5
  • Integration of classical and agile project management methodologies based on ontological modelsIntegracja klasycznych i zwinnych metodyk zarządzania projektami informatycznymi w oparciu o modele ontologiczne / Jan WEREWKA, Piotr SZWED, Grzegorz ROGUS // W: Zarządzanie przedsiębiorstwem – teoria i praktyka [Dokument elektroniczny] : XII międzynarodowa konferencja naukowa : 27–28 maja 2010, Kraków : materiały konferencyjne / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydział Zarządzania. — Wersja do Windows. — Dane tekstowe. — Kraków : WZ AGH, 2010. — 1 dysk optyczny. — Opis częśc. wg CD-ROM-u. — S. [1–23]. — Wymagania systemowe: Adobe Acrobat Reader ; napęd CD-ROM. — Bibliogr. s. [22–23], Summ., Streszcz.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

6
  • Integration of classical and agile project management methodologies based on ontological models / Jan WEREWKA, Piotr SZWED, Grzegorz ROGUS // W: Production engineering in making / ed. Piotr Łebkowski. — Kraków : AGH University of Science and Technology Press, 2010. — ISBN: 978-83-7464-370-2. — S. 7–28. — Bibliogr. s. 27–28, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

7
8
  • Ontology based alignment of classic and agile project managment for an it enterprisZastosowanie ontologii do integracji klasycznych i zwinnych metodyk zarządzania projektami w przedsiębiorstwie informatycznym / Piotr SZWED, Jan WEREWKA, Grzegorz ROGUS // Zeszyty Naukowe Wydziału ETI Politechniki Gdańskiej = Gdansk University of Technology Faculty of ETI Annals ; t. 19. Seria: Technologie Informacyjne ; ISSN 1732-1166. — 2010 nr 8, s. 345–350. — Bibliogr. s. 350, Abstr., Streszcz.. — ISBN 978-83-60779-02-6

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

9
  • Propozycja architektury systemu CrOS[Proposal of CrOS system architecture] / Piotr SZWED, Grzegorz ROGUS, Piotr SZYMCZYK, Magdalena SZYMCZYK // W: Metody wytwarzania i zastosowania systemów czasu rzeczywistego : praca zbiorowa / pod red. Leszka Trybusa i Sławomira Samoleja. — Warszawa : Wydawnictwa Komunikacji i Łączności, 2010. — ISBN: 978-83-206-1780-1. — S. 117–126. — Bibliogr. s. 126

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

10
  • Reprezentacja ontologiczna klasycznej metodyki zarządzania projektami PMBOKOntological model of classic project management PMBOK / Grzegorz ROGUS, Piotr SZWED, Jan WEREWKA // Zeszyty Naukowe Wydziału ETI Politechniki Gdańskiej = Gdansk University of Technology Faculty of ETI Annals ; t. 19. Seria: Technologie Informacyjne ; ISSN 1732-1166. — 2010 nr 8, s. 333–338. — Bibliogr. s. 338, Streszcz., Summ.. — ISBN: 978-83-60779-02-6

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

11
  • Symulator systemu operacyjnego czasu rzeczywistego uCRTOS[Real time operating system simulator uCRTOS] / Magdalena SZYMCZYK, Piotr SZYMCZYK, Piotr SZWED, Grzegorz ROGUS // W: Metody wytwarzania i zastosowania systemów czasu rzeczywistego : praca zbiorowa / pod red. Leszka Trybusa i Sławomira Samoleja. — Warszawa : Wydawnictwa Komunikacji i Łączności, 2010. — ISBN: 978-83-206-1780-1. — S. 153–162. — Bibliogr. s. 161–162

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

12
  • System wbudowany z bezpiecznym asynchronicznym interfejsem www[Embedded system with safety asynchronous Web interface] / Piotr SZYMCZYK, Magdalena SZYMCZYK, Piotr SZWED, Grzegorz ROGUS // W: Metody wytwarzania i zastosowania systemów czasu rzeczywistego : praca zbiorowa / pod red. Leszka Trybusa i Sławomira Samoleja. — Warszawa : Wydawnictwa Komunikacji i Łączności, 2010. — ISBN: 978-83-206-1780-1. — S. 323–332. — Bibliogr. s. 332

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

13
  • Wykorzystanie ontologii do modelowania zwinnej metodyki zarządzania projektami Scrum[Ontology based modeling of agile project management methodology Scrum] / Piotr SZWED, Grzegorz ROGUS, Jan WEREWKA // Zeszyty Naukowe Wydziału ETI Politechniki Gdańskiej = Gdansk University of Technology Faculty of ETI Annals ; t. 19. Seria: Technologie Informacyjne ; ISSN 1732-1166. — 2010 nr 8, s. 339–344. — Bibliogr. s. 344, Streszcz., Summ.. — ISBN: 978-83-60779-02-6

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

14
  • XQPN – colored Petri nets for processing XML data with XQuery languageNowa klasa kolorowanych sieci Petriego: XQPN / Piotr SZWED // Przegląd Elektrotechniczny = Electrical Review / Stowarzyszenie Elektryków Polskich ; ISSN 0033-2097. — 2010 R. 86 nr 9, s. 221–225. — Bibliogr. s. 225, Abstr., Streszcz.

  • słowa kluczowe: XML, XQuery, kolorowane sieci Petriego

    keywords: XML, Colored Petri Nets, XQuery

    cyfrowy identyfikator dokumentu: