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 diagrams — Formalna 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

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

    cyfrowy identyfikator dokumentu:

2

  • Integration of classical and agile project management methodologies based on ontological models — Integracja 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

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

    cyfrowy identyfikator dokumentu:

3

  • 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

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

    cyfrowy identyfikator dokumentu:

4

  • Ontology based alignment of classic and agile project managment for an it enterpris — Zastosowanie 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

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

    cyfrowy identyfikator dokumentu:

5

  • XQPN – colored Petri nets for processing XML data with XQuery language — Nowa 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: