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)




1
  • Assessment of software system presentation layers based on an ECORAM reference architecture model
2
  • Automatyczna weryfikacja modelu na etapie analizy wymagań
3
  • Computer science PhD program evaluation proposal based on domain and non-domain characteristics
4
  • Deduction based verification of business models
5
  • Integration of image analysis component with industrial workflow management system
6
  • ISMESDaD – a Synergetic Methodology for Enterprise Software Development and Deployment
7
  • Light-reflection analysis method for 3D surface damage identification
8
  • Modelowanie systemów złożonych w teorii i praktyce
9
  • Motivation modeling and metrics evaluation of IT architect certification programs
10
  • Multi-project scrum methodology for projects using software product lines
11
  • Optymalizacja skanowanych rotacyjnie siatek 3D prowadzona na potrzeby szybkiego renderowania w czasie rzeczywistym
12
  • Podstawy programowania komputerów
13
  • Rozszerzenie języka BPQL na potrzeby interaktywnego modelowania i formalnej weryfikacji diagramów aktywności UML
14
  • SMESDaD – synergetyczna metodyka rozwijania i wdrażania oprogramowania korporacyjnego
15
  • Stereoscopic 3D graph visualization for assisted data exploration and discovery
16
  • Systematyczny opis metodyki Scrum dla zespołów projektowych
17
  • The Scrum pricing model for developing a common software framework in a multi-project environment
18
  • Towards an ontology approach to ATAM based assessment of service oriented architectures
19
  • Weryfikacja aktywności systemów modelowanych na bazie architektury SOA – prowadzona w oparciu o wymagania zadane diagramami przypadków użycia
20
  • Weryfikacja procesów biznesowych metodą tablic semantycznych
21
  • Workflow management system with automatic correction
22
  • Workflow management system with smart procedures
23
  • Zarządzanie projektami w przedsiębiorstwie informatycznym
24
  • Zmodyfikowane gramatyki kształtu w zastosowaniu do generowania siatek 3D