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
  • [artykuł w czasopiśmie, 2010]
  • TytułFormal analysis of use case diagrams
    AutorzyRadosław KLIMEK, Piotr SZWED
    ŹródłoComputer Science. — 2010 vol. 11, s. 115–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

    Zobacz pełny wykaz publikacji Autora/Autorów: Radosław Klimek

    cyfrowy identyfikator dokumentu:

2
  • [artykuł w czasopiśmie, 2010]
  • TytułOntology based alignment of classic and agile project managment for an it enterpris
    AutorzyPiotr SZWED, Jan WEREWKA, Grzegorz ROGUS
    ŹródłoZeszyty Naukowe Wydziału ETI Politechniki Gdańskiej ; t. 19. Seria: Technologie Informacyjne. — 2010 nr 8, s. 345–350

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Rogus, Jan Werewka

    cyfrowy identyfikator dokumentu:

3
  • [artykuł w czasopiśmie, 2010]
  • TytułReprezentacja ontologiczna klasycznej metodyki zarządzania projektami PMBOK
    AutorzyGrzegorz ROGUS, Piotr SZWED, Jan WEREWKA
    ŹródłoZeszyty Naukowe Wydziału ETI Politechniki Gdańskiej ; t. 19. Seria: Technologie Informacyjne. — 2010 nr 8, s. 333–338

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Rogus, Jan Werewka

    cyfrowy identyfikator dokumentu:

4
  • [artykuł w czasopiśmie, 2010]
  • TytułWykorzystanie ontologii do modelowania zwinnej metodyki zarządzania projektami Scrum
    AutorzyPiotr SZWED, Grzegorz ROGUS, Jan WEREWKA
    ŹródłoZeszyty Naukowe Wydziału ETI Politechniki Gdańskiej ; t. 19. Seria: Technologie Informacyjne. — 2010 nr 8, s. 339–344

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Rogus, Jan Werewka

    cyfrowy identyfikator dokumentu:

5
  • [artykuł w czasopiśmie, 2010]
  • TytułXQPN – colored Petri nets for processing XML data with XQuery language
    AutorzyPiotr SZWED
    ŹródłoPrzegląd Elektrotechniczny / Stowarzyszenie Elektryków Polskich. — 2010 R. 86 nr 9, s. 221–225

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

    keywords: XML, Colored Petri Nets, XQuery

    cyfrowy identyfikator dokumentu: