Wykaz publikacji wybranego autora

Michał Turek, dr hab., prof. AGH

profesor nadzwyczajny

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-0002-6676-0219 połącz konto z ORCID

ResearcherID: N-4182-2014

Scopus: 56622553300

PBN: 5e70922c878c28a047391215

OPI Nauka Polska

System Informacyjny AGH (SkOs)





Liczba pozycji spełniających powyższe kryteria selekcji: 41, z ogólnej liczby 41 publikacji Autora


1
  • Architektura zdecentralizowanego systemu ekspertowego zgodna ze standardem FIPA
2
  • Assessment of software system presentation layers based on an ECORAM reference architecture model
3
  • Automatyczna weryfikacja modelu na etapie analizy wymagań
4
  • Automatyczne generowanie kodu na podstawie modeli UML
5
  • Automatyczne pozyskiwanie wiedzy i jej przetwarzanie na bazie wykrywania analogii
6
  • Computer science PhD program evaluation proposal based on domain and non-domain characteristics
7
  • Deduction based verification of business models
8
  • Extreme programming – przegląd i porównanie wybranych narzędzi wspomagających testy jednostkowe
9
  • FIPA compliant agent-based decentralised expert system
10
  • FIPA compliant distributed expert system
11
  • Generowanie kodu oraz wykonywalnych aplikacji z modelu w UML 2.0
12
  • Integration of image analysis component with industrial workflow management system
13
  • ISMESDaD – a Synergetic Methodology for Enterprise Software Development and Deployment
14
  • Light-reflection analysis method for 3D surface damage identification
15
  • Metoda opisu brył przestrzennych z użyciem regułowej reprezentacji wiedzy
16
  • Modelling exception handling in UML – statechart diagrams approach
17
  • Modelowanie systemów złożonych w teorii i praktyce
18
  • Motivation modeling and metrics evaluation of IT architect certification programs
19
  • Multi-project scrum methodology for projects using software product lines
20
  • On some problems with modelling of exceptions in UML
21
  • Optymalizacja skanowanych rotacyjnie siatek 3D prowadzona na potrzeby szybkiego renderowania w czasie rzeczywistym
22
  • Podstawy programowania komputerów
23
  • Przegląd współczesnych narzędzi CASE pod kątem generowania kodu na podstawie modelu UML
24
  • Rozszerzenie języka BPQL na potrzeby interaktywnego modelowania i formalnej weryfikacji diagramów aktywności UML
25
  • SMESDaD – synergetyczna metodyka rozwijania i wdrażania oprogramowania korporacyjnego