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
  • 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:

3
  • 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:

4
  • 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:

5
  • 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: