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

    cyfrowy identyfikator dokumentu:

2
  • [fragment książki, 2010]
  • TytułImplementacja semaforów i kolejek komunikatów w systemie CrOS
    AutorzyPiotr SZWED, Grzegorz ROGUS, Piotr SZYMCZYK, Magdalena SZYMCZYK
    ŹródłoMetody wytwarzania i zastosowania systemów czasu rzeczywistego : praca zbiorowa / pod red. Leszka Trybusa i Sławomira Samoleja. — Warszawa : Wydawnictwa Komunikacji i Łączności, 2010. — S. 277–288
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

3
  • [inne, 2010]
  • TytułINSIGMA [Dokument elektroniczny] : Inteligentny System Informacyjny dla Globalnego Monitoringu, Detekcji i Identyfikacji Zagrożeń. Raport techniczny D2.1, Analiza wymagań dla ontologii systemu INSIGMA
    AutorzyJoanna Śliwa, Kamil Gleba, Tomasz Podlasek, Przemysław Caban, Wojciech CHMIEL, Piotr SZWED
    Details[Kraków : AGH], [2010]. — 134 s.
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

4
  • [fragment książki, 2010]
  • TytułIntegracja modeli ontologicznych metodyk zarządzania projektami IT na przykładzie zarządzania zmianą
    AutorzyPiotr SZWED, Grzegorz ROGUS, Jan WEREWKA
    ŹródłoInżynieria oprogramowania w procesach integracji systemów informatycznych / red. Janusz Górski, Cezary Orłowski. — Gdańsk : Pomorskie Wydawnictwo Naukowo-Techniczne PWNT, 2010. — S. 337–344
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

5
  • [referat, 2010]
  • TytułIntegration of classical and agile project management methodologies based on ontological models
    AutorzyJan WEREWKA, Piotr SZWED, Grzegorz ROGUS
    ŹródłoZarzą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. — Kraków : WZ AGH, 2010. — S. [1–23]
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

6
  • [fragment książki, 2010]
  • TytułIntegration of classical and agile project management methodologies based on ontological models
    AutorzyJan WEREWKA, Piotr SZWED, Grzegorz ROGUS
    ŹródłoProduction engineering in making / ed. Piotr Łebkowski. — Kraków : AGH University of Science and Technology Press, 2010. — S. 7–28
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

7
8
  • [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

    cyfrowy identyfikator dokumentu:

9
  • [fragment książki, 2010]
  • TytułPropozycja architektury systemu CrOS
    AutorzyPiotr SZWED, Grzegorz ROGUS, Piotr SZYMCZYK, Magdalena SZYMCZYK
    ŹródłoMetody wytwarzania i zastosowania systemów czasu rzeczywistego : praca zbiorowa / pod red. Leszka Trybusa i Sławomira Samoleja. — Warszawa : Wydawnictwa Komunikacji i Łączności, 2010. — S. 117–126
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

10
  • [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

    cyfrowy identyfikator dokumentu:

11
  • [fragment książki, 2010]
  • TytułSymulator systemu operacyjnego czasu rzeczywistego uCRTOS
    AutorzyMagdalena SZYMCZYK, Piotr SZYMCZYK, Piotr SZWED, Grzegorz ROGUS
    ŹródłoMetody wytwarzania i zastosowania systemów czasu rzeczywistego : praca zbiorowa / pod red. Leszka Trybusa i Sławomira Samoleja. — Warszawa : Wydawnictwa Komunikacji i Łączności, 2010. — S. 153–162
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

12
  • [fragment książki, 2010]
  • TytułSystem wbudowany z bezpiecznym asynchronicznym interfejsem www
    AutorzyPiotr SZYMCZYK, Magdalena SZYMCZYK, Piotr SZWED, Grzegorz ROGUS
    ŹródłoMetody wytwarzania i zastosowania systemów czasu rzeczywistego : praca zbiorowa / pod red. Leszka Trybusa i Sławomira Samoleja. — Warszawa : Wydawnictwa Komunikacji i Łączności, 2010. — S. 323–332
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

13
  • [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

    cyfrowy identyfikator dokumentu:

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