Wykaz publikacji wybranego autora

Stanisław Jędrusik, dr inż.

starszy wykładowca

Wydział Zarządzania
WZ-kibiz, Katedra Informatyki Biznesowej i Inżynierii Zarządzania

[poprzednia klasyfikacja] obszar nauk społecznych / dziedzina nauk ekonomicznych / nauki o zarządzaniu

Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0002-6172-7479 połącz konto z ORCID

ResearcherID: brak

Scopus: 56004849900

PBN: 5e70923a878c28a047392054

OPI Nauka Polska

System Informacyjny AGH (SkOs)

1

  • Application of deductive reasoning to the verification of ArchiMate behavioral elements — Zastosowanie wnioskowania dedukcyjnego do weryfikacji opisów zachowania w języku ArchiMate / Radosław KLIMEK, Piotr SZWED, Stanisław JĘDRUSIK // Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu = Research Papers of Wrocław University of Economics ; ISSN 1899-3192 ; 29. Informatyka Ekonomiczna = Business Informatics ; ISSN 1507-3858. — 2013 nr 3, s. 76–97. — Bibliogr. s. 96–97, Abstr., Streszcz.. — AITM'2013 : 11th conference on Advanced Information Technologies for Management : Cracow, September 8–11, 2013

  • słowa kluczowe: metoda tablic semantycznych, ArchiMate, wnioskowanie dedukcyjne, weryfikacja oprogramowania, liniowa logika temporalna

    keywords: semantic tableaux method, ArchiMate, deductive temporal reasoning, software verification, Linear Temporal Logic

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

    cyfrowy identyfikator dokumentu:

2

  • Business processes in a distributed surveillance system integrated through workflow — Procesy biznesowe w rozproszonym systemie nadzoru integrowanym przez przepływ pracy / Piotr SZWED, Wojciech CHMIEL, Stanisław JĘDRUSIK, Piotr KADŁUCZKA // Automatyka = Automatics ; ISSN 1429-3447. — Tytuł poprz.: Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2013 vol. 17 no. 1, s. 115–126. — Bibliogr. s. 126, Summ., Streszcz.. — tekst: http://journals.bg.agh.edu.pl/AUTOMAT/2013.17.1/automat.2013.17.1.115.pdf

  • słowa kluczowe: ArchiMate, systemy nadzoru, przepływy pracy, modelowanie biznesowe

    keywords: surveillance systems, workflows, business modeling, ArchiMate

    Zobacz pełny wykaz publikacji Autora/Autorów: Wojciech Chmiel, Piotr Kadłuczka, Piotr Szwed

    cyfrowy identyfikator dokumentu: 10.7494/automat.2013.17.1.115