Różnice

Różnice między wybraną wersją a wersją aktualną.

Odnośnik do tego porównania

Both sides previous revision Poprzednia wersja
Nowa wersja
Poprzednia wersja
pl:miw:miw08_xttplusapps [2008/04/15 11:46]
miw
pl:miw:miw08_xttplusapps [2008/09/18 12:01]
gjn koniec
Linia 1: Linia 1:
-====== Opis ====== 
- 
-R: Łukasz Dziewanowski (4AR) <​dziewano@student.agh.edu.pl>​ 
- 
-Try to apply, refine xtt+ features, design real-life SE cases using xtt+ 
-  * input: SE cases, well documented MVC-based UML code 
-  * output ARD/XTT based representation of the cases 
- 
-case: webserver 
- 
- 
-====== Spotkania ====== 
- 
-===== 08.03.04 ===== 
-  * przykłady: webserver, pralka 
-  * wiedza zapisana regułowo 
- 
- 
-===== 080318 ===== 
- 
-===== 080408 ===== 
-  * użycie [[hekate:​hqed]] do modelowania 
-  * wybrać przykłady z [[pl:​miw:​miw08_ardcase_cs#​control_system_models]] [[pl:​miw:​miw08_ardcase_uml#​linki_do_uml_i_mvc]] 
- 
-====== Projekt ====== 
-  - Format zapisu XTTML, jak wygląda? 
-  - Projekt [[http://​mirella.ia.agh.edu.pl/​|Mirella]],​ czy w nim tworzyć diagramy ? 
- 
-=== Pomysły na kolejne przykłady aplikacji === 
-  - Pizzeria 
-  - Wypożyczalnia samochodów 
-  - Firma konsultingowa ​ 
-  - Sklep internetowy 
- 
- 
-====== Sprawozdanie ====== 
-  - [[hekate:​hqed]],​ uruchamia się z błędem na Windows XP, na Ubuntu 7.10 - brak QtOpenGL (muszę przekompilować źródła - na razie szukam jakiegoś przykładu (jest zainstalowany GLUT - więc ??)) 
-  ​ 
-Głównym problemem jest złożoność problemów i ich opis, im więcej parametrów i/lub warunków tym więcej tabel i powiązań między nimi np. [[http://​regulus.ia.agh.edu.pl/​gjn-Regulus-WWW/​miw2002/​MIW02-projekty/​MIW02-Winda.pdf|Students MiW Project by J.Sysak, P.Zieliński]]. 
-System musi pokrywać 13296 stanów, co w zapisie XTT daje nam tabelę o 47 wierszach (przed redukcją) - skoro dla niezbyt złożonego przykładu otrzymuje się tak duża tabelę, czego spodziewać się po bardziej złożonych problemach? 
- 
-Kolejną przeszkodą jest brak kontekstu wywołania metody znanego choćby z Javy czy C++, czyli musimy zawsze sprawdzać wszystkie warunki? ​ 
- 
-====== Materiały ====== 
-  - [[.:​miw08_xttplusapps:​pralka|Pralka]] 
-  - [[.:​miw08_xttplusapps:​webserver|Web Server]] 
-  - [[.:​miw08_xttplusapps:​notatki|Notatki]] 
-  - [[.:​miw08_xttplusapps:​linki|Linki]] 
-  - xtt, GREP (enase,​inap) FIXME 
-    * [[:​hekate:​bib:​hekate_bibliography]] ​ 
-    * gjn-enase2007.pdf 
-    * gjn-inap2007-grep.pdf 
  
pl/miw/miw08_xttplusapps.txt · ostatnio zmienione: 2019/06/27 15:50 (edycja zewnętrzna)
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0