Wykaz publikacji wybranego autora

Grzegorz Rogus, dr inż.

starszy wykładowca

Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
WEAIiIB-kis, Katedra Informatyki Stosowanej


[poprzednia klasyfikacja] obszar nauk technicznych / dziedzina nauk technicznych / informatyka


Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0002-1882-8717 połącz konto z ORCID

ResearcherID: brak

Scopus: 56004925400

PBN: 5e70922c878c28a0473911cf

OPI Nauka Polska

System Informacyjny AGH (SkOs)




1
  • Analiza i projektowania oprogramowania metodą SOMTAnalysis and design software in SOMT method / Grzegorz ROGUS, Grzegorz HAMUDA // W: Systemy czasu rzeczywistego : VII konferencja : Kraków, 25–28 września 2000 : materiały konferencyjne / red. Tomasz Szmuc i Radosław Klimek ; Katedra Automatyki Akademii Górniczo-Hutniczej w Krakowie. — Kraków : KA AGH, 2000. — ISBN10: 83-914257-0-3. — S. 229–240. — Bibliogr. s. 240, Summ.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

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

    cyfrowy identyfikator dokumentu:

3
  • Modeling and verification of reactive software using LOTOS / Grzegorz ROGUS, Tomasz SZMUC // W: Software engineering : evolution and emerging technologies / eds. Krzysztof Zieliński, Tomasz Szmuc. — Amsterdam, [etc.] : IOS Press, 2005. — (Frontiers in Artificial Intelligence and Applications ; ISSN 0922-6389 ; vol. 130). — ISBN: 978-1-58603-559-4. — S. 365–377. — Bibliogr. s. 377, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

4
  • Projektowanie aplikacji za pomocą pakietu ControlShell – modele (abstrakcje programowania)Designing of applications by the usage of the ControlShell package – models (programming paradigms) / Grzegorz ROGUS, Grzegorz HAMUDA // W: Systemy czasu rzeczywistego : VII konferencja : Kraków, 25–28 września 2000 : materiały konferencyjne / red. Tomasz Szmuc i Radosław Klimek ; Katedra Automatyki Akademii Górniczo-Hutniczej w Krakowie. — Kraków : KA AGH, 2000. — ISBN10: 83-914257-0-3. — S. 241–251. — Bibliogr. s. 251, Summ.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

5
  • Systematyczna analiza poprawności w wytwarzaniu bezpiecznego oprogramowaniaSystematic correctness analysis in development of safety software / Tomasz SZMUC, Grzegorz ROGUS // Pomiary, Automatyka, Kontrola / Stowarzyszenie Inżynierów i Techników Mechaników Polskich. Sekcja Metrologii, Polskie Stowarzyszenie Pomiarów Automatyki i Robotyki POLSPAR ; ISSN 0032-4140. — 2005 [nr] 9bis wyd. spec. dod., s. 288–290. — Bibliogr. s. 290, Streszcz., Abstr.. — Diagnostyka procesów przemysłowych : VII krajowa konferencja naukowo-techniczna : Rajgród, 12-14 września 2005 / pod red. nauk. Jana Macieja Kościelnego. — Warszawa : Agenda Wydawnicza SIMP, 2005

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

6
  • Weryfikacja poprawności względnej sieci PetriegoVerification of relative correctness of Petri nets / Piotr SZWED, Grzegorz ROGUS // W: Zastosowania teorii systemów / red. Ewa Kochan. — Kraków : WIMiR AGH, 2005. — (Problemy Inżynierii Mechanicznej i Robotyki = Problems of Mechanical Engineering and Robotics) ; (Monografie / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydział Inżynierii Mechanicznej i Robotyki ; nr 3). — Na s. tytułowej: Zastosowanie teorii systemów. — Tyt. właśc. na okł.: Zastosowania teorii systemów.. — Opis częśc. wg okł.. — S. 305–314. — Bibliogr. s. 314, Streszcz., Summ.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

7
  • Zastosowanie języka LOTOS w procesie weryfikacji systemów reaktywnychApplication of LOTOS in verification of reactive systems / Grzegorz ROGUS, Piotr SZWED // W: Zastosowania teorii systemów / red. Ewa Kochan. — Kraków : WIMiR AGH, 2005. — (Problemy Inżynierii Mechanicznej i Robotyki = Problems of Mechanical Engineering and Robotics) ; (Monografie / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydział Inżynierii Mechanicznej i Robotyki ; nr 3). — Na s. tytułowej: Zastosowanie teorii systemów. — Tyt. właśc. na okł.: Zastosowania teorii systemów.. — Opis częśc. wg okł.. — S. 259–268. — Bibliogr. s. 268, Streszcz., Summ.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: