Automatyczna generacja kodu z modeli obiektowych w środowisku COSMA

Adam Ragan

Abstract

n/a
Diploma typeMaster of Science
Author Adam Ragan (FEIT / IN)
Adam Ragan,,
- The Institute of Computer Science
Supervisor Artur Krystosik (FEIT / IN)
Artur Krystosik,,
- The Institute of Computer Science

Certifying unitFaculty of Electronics and Information Technology (FEIT)
Affiliation unitThe Institute of Computer Science (FEIT / IN)
Languagepl polski
StatusFinished
Issue date (year)2003
Internal identifierENII-PM.000317
Keywords in PolishMODELOWANIE OBIEKTOWE, PROGRAMOWANIE WSPÓŁBIEŻNE, AUTOMATYCZNA GENERACJA KODU, WERYFIKACJA OPROGRAMOWANIA, MODEL CHECKING, COSMA

Get link to the record

Back
Confirmation
Are you sure?