Szoftver követelmények meghatározása
|
|
- Győző Sipos
- 8 évvel ezelőtt
- Látták:
Átírás
1 Szoftver meghatározása Requirements engineering (analysis) Irodalom Ian Sommerville: Software Engineering, 7th e. chapter 6-7. Roger S. Pressman: Software Engineering, 5th e. chapter 11. 2
2 Követelménymeghatározás Rendszer szolgáltatások és m!ködési feltételek meghatározása a megrendel" számára Rendszer és szoftver tervezés összekapcsolása Rendszer tervezés Követelmény elemzés Szoftver tervezés 3 Követelménymeghatározás (folyt.) A követelmény meghatározás helye az életciklusban Rendszertervezés Követelmény elemzés Szoftver tervezés Implementáció Min!ségbiztosítás Karbantartás 4
3 Követelmény- meghatározás (folyt.) A megfelel" követelmény meghatározás fontossága Hibák az életciklus alatt Valós probléma Követelmény meghatározás helyes spec. hibás spec. Tervezés helyes terv hibás terv terv hibás spec. alapján Implementálás helyes prog. hibás prog. prog. hibás terv alapján prog. hibás spec. alapján Tesztelés helyes prog. javítható hibák javíthatatlan hibák rejtett hibák 5 Specifikációs hibák aránya és költsége Bell Labs., IBM elemzések hibák 80%-a hibás köv. megh.-ra vezethet" vissza U.S. Airforce az összes hiba 36%-a hibás értelmezéséb"l Voyager és Galileo!rszondák 197 hibát tárt fel az int. tesztelés, ebb"l 3 programozási hiba Követelmény hiba javítási költsége szállítás után 100-szorosa az impl. hiba javításnak [Boehm] 6
4 Követelménymeghatározás (folyt.) A követelmény meghatározás során végzett tevékenységi körök probléma azonosítás értékelés, szintézis modellezés specifikálás 7 Követelmények Megjelenés magas szint! absztrakt szolgáltatás leírás részletes formális leírás Kett"s szerep (Davis, 1993) ajánlattételi felhívás eltér" alternatívák szerz"dési alap validálhatóság 8
5 Követelmény típusok Felhasználói szolgáltatások köre természetes nyelven Rendszer rendszer funkciók, szolgáltatások m!ködési feltételek precíz megadás 9 A célcsoportjai Felhasználói Rendszer managerek (megrendel!i oldal) végfelhasználók mérnökök (megrendel!i oldal) rendszertervez!k végfelhasználók mérnökök (megrendel!i oldal) rendszertervez!k szoftver fejleszt!k Tervezési specifikáció mérnökök (megrendel!i oldal) rendszertervez!k szoftver fejleszt!k 10
6 Felhasználói (pl.) 11 Rendszer (pl.) 12
7 Funkcionális és nemfunkcionális Funkcionális szolgáltatások köre Nem-funkcionális m!ködési kényszerek, feltételek Domén alkalmazási terület jellemz"i 13 Funkcionális A rendszer funkcionalitásának és szolgáltatásainak leírása Az alkalmazási környezet, a szoftvertípus és a felhasználói kör függvénye 14
8 A pontatlansága A nem egyértelm!en megfogalmazott et többféle képpen lehet értelmezni 15 A teljessége és konzisztenciája Teljesség tartalmazza az összes szükséges információt, az összes szolgáltatás leírását Konzisztencia nincsenek ellentmondások a rendszer leírásában, a szolgáltatások definícióiban 16
9 Nem-funkcionális A rendszer m!ködési környezetére vonatkozó rendszer tulajdonságok feltételek, kényszerek A szoftverfolyamatra vonatkozó megkötések Kielégítésük kritikus a rendszer szempontjából 17 Nem-funkcionális (folyt.) Termék Szervezési Küls" 18
10 Nem-funkcionális (folyt.) Nem-funkcionális Termék Szervezési Küls! Hatékonysági Megbizhatósági Portabilitási Együttm"ködési Etikai Törvényességi Teljesítmény Méret Szállítási Szabványossági Titkossági Adatbiztonsági Használhatósági Implementációs 19 Nem-funkcionális megfogalmazása Elérend" célok ellen"rizhet" ké alakítása metrikák használata, ha lehetséges Tulajdonság sebesség méret használhatóság megbízhatóság robusztusság hordozhatóság Metrika tranzakció/sec válaszid" frissítési ráta Kbyte betanulási id" help oldalak száma MTBF BER újra indulási id" platform függ" kód aránya elérhet" platformok száma 20
11 Nem-funkcionális megfogalmazása (folyt.) Követelmények egymásrahatása ellentmondó kompromisszumos megoldás v. a megváltoztatása 21 Domén Az alkalmazási terület által támasztott Megértés terminológia, koncepciók Implicitás nyilvánvaló új funkcionális követelemények 22
12 Domén (pl.) 23 Felhasználói felhasználók számára érthet", sw. technológiai háttér nélkül természetes nyelven, intuitív diagrammokkal 24
13 Természetes-nyelvi problémák Pontatlan, nem egyértelm! precízen megfogalmazott szöveg nehezen olvasható Túl rugalmas többféle képen leírható ugyanaz Nem elég struktúrált Nehezen különíthet"k el a, célok, tervezési információk 25 Felhasználói rögzítése Standard formátum az összes követelményhez Konzisztens nyelvhasználat kötelez" és kívánatos Kulcsrészek tipográfiai kiemelése Komputer zsargon kerülése 26
14 Rendszer Szolgáltatások és kényszerek részletes specifikációja A szoftvertervezési folyamat kiinduló dokumentumai Dokumentáláshoz rendszer modellezési formalizmusok használata 27 Követelmények és a tervezés A tervezési folyamat nem választható el a meghatározásától architektúrális tervezés tervezési kényszerek más rendszerekkel való együttm!ködés miatt domén specifikus tervezési elvek 28
15 Rendszer rögzítése Természtes-nyelvi problémák Speciális fél formális jelölés rendszerek Struktúrált természetes nyelv Design leíró nyelv info architecture Grafikus jelölések use-case, szekvencia diagr. Matematikai specifikáció véges automaták 29 Struktúrált nyelv! specifikációk El"re definált forma Sz!kített terminológia El"nyök természetes nyelv kifejez" ereje egységesített forma struktúráltság 30
16 "rlap alapú specifikálás Entitás definíciója Input/Output leírása Kapcsolódó entitások El"feltételek és következmények Mellékhatások 31 "rlap alapú specifikálás (pl.) )!"#$%&'()*++,) -%"./0() ) ) )!"#$%&"''(%&) *&"'&!) +,-./) 1228H2IH18) 0.#1234#(5) 0.#12346&7#7%8-4) JC=KE0)L)!:=.'M")L)N'#"=0) 9!J!DNJ) 0.#12349"8',%)! JC=KE0)&:<.;:=.%<)O%P/.%':<)<'#"=0.M<C)! *)O%P/.%':<"!E)&:<.;:=.%<)<'#"=0)<.MQEC)&:<.>E4)*)<.MQEC)Q%?P%E%E)C)1875RR3) ST+4114U)!V)"%=W%E%'=%&()C)<'#"=0)<.MQEC)X$)<#"<.MQ#')&C;):<)Y/ZC'&#./&)C.)%E!.![) <'#"=0.#'')<.MQEC)<#"<.MQM"C)! N'#"=0)<.MQEM')\<C&)C&&#")E%Y%')&:<.]'%=/[)YC)C.)%"%W%'/E%?)&/CW#'')<.MQEC)Z/<<.C&%">E) C)?C.WC<M?/)%E<.MQ#EM<OC[)'%YM')C)<'#"=0)<.MQEC)^Q%EE:&E%'%_)C.)%"%W%'/E%?)&/CW#'') <.MQEC)! *)<'#"=0.#'')<.MQEM&[)&/P/.%':<%&)C.)K=4)^JC=KE0/);:=.'M"_HOC)&%">E=%&[)CY#==C=)C) QK=&C=C;)O%P%$%.:<%)K'M=)C)^`C;/);:=.'M".M"M<_H<CE)&%">E=%&)M')C)P!;:=.'M"OC4)V]?)C) P!;:=.'M"OC)QM")&/"%=W%E'<:?"%[)/EE%'Z%)&/P/.%':<[)O%P/.%':<)\<#;#"'#<]'M<OC=)&>EG=)) G<<.%<]'Z%)&%">E=%&)O%)C.)CWC'#&4)J%YM')&/"%=W%E'<:?%=&:='[)/EE%'Z%)O%P/.%':<%=&:='[) &/P/.%':<%=&:=')&>EG=)G<<.%<]'Z%)&%">E)C)P!;:=.'M"OC)C.)G<<.%?4))! G<<.%<]'%'')<#"#&C')&#=']"#.=/4)) :";<";=&(%) ) B"8',%) C8?.% N'#"=0)WM'KQ) a$)cwc'o%z/'%e/)q%.!4) +) *K'#QC'/&K<C=)P%E'GE'!W/&)C)?:;)"%=W<.%"WM'KQMZCE4) b.%=)c)wm'kq#=)=%q)e%y%')zme'#.'c'=/4)*)wm'kq)ym"#q) <.%Q;#=')<.%"/=')&%EE)%EE%=!"/.=/()! *)WM'KQ)\<C&)C)<.MQ]'0?:;)"%=W<.%"WM'KQC) E%Y%')! *)WM'KQ)=%Q)E%Y%')&#"MOO/[)Q/=')C)'C=KE0/) ;:=.'M")K'#E<0)O%P/.%':<%)! *)WM'KQ)=%Q)E%Y%')&#"MOO/[)Q/=')C)P!;:=.'M") K'#E<0)O%P/.%':<%) JC=KE0)=%Z%) c9d)e)&%"%<:<[)c)<'#"=0.m<')/?:=@e!)'c=ke0)&%"%<:<%4))*) 9) &%"%<!)?E#OME/<)&%"%<:<')YC$')Z:?"%()C)O%>'G'') &C"C&'%"%&=%&)Q%?P%E%E![)=:Z<#")<.%"/='/)%E<!)=%Z%&%') C$M=E$C)P%E)C);"#?"CQ)&/ZMEC<.'M<"C4)*)&/ZMEC<.'M<') b`jb,h"%e)e%y%')%ep#?cw'c'=/4)*);#='#<)c.#=#<]'m<) :"W%&:O%=)C)'C=KE0)&%"%<:<%&#")C)&:;%"=@!=)'GOO[)C) 'C=KE0')C.#=#<]'0)CWC')$%E%=/&)Q%?4)) N.MQEC)<#"<.MQ) *)CW#'')'C=KE0)&/ZMEC<.'M<C)K'M=)'C=KE0Y#.)"%=W%E') 'MOEM.C'OC=)Q%?$%E%==%&)C=CE/'/&K<C=)C)&/CW#'') <.MQEM&)SEW4)9!J!DN,f)PK=&\/0U[)*)<.MQEC) <#"<.MQC)O%Z/'%E/)Q%.!"%)C.)/W!"%=WO%=)K'#E<0)<.MQEC) <#"<.MQC)&%">E)CK'#QC'/&K<C=4)b.)O/.#=@EC'Y%E@%<%=() +) 32 B(gQK=&Cgh/=A%ZgC//"gC//"i"'/#23254W#\)
17 Grafikus modellek Állapotváltozások, id"beli viselkedés Komponensek kapcsolatai Információ vizualizálás 33 Információ vizualizálás Grafikus követelmény kezelés PaladinRM 34
18 Interfész specifikáció Interfész típusok procedurális interfészek adat szerkezetek adat reprezentációk Formális leírások használata SDL, ASN.1 35 IEEE/ANSI Általános felépítés Bevezetés Általános leírás Specifikus Mellékletek Tárgymutató 36
19 A követelmény meghatározási folyamat Függ az alkalmazási területt"l és a et meghatározó szervezett"l Generikus tevékenységek kinyerése elemzése specifikálása validálása követelmény management 37 A követelmény meghatározási folyamat Követelmény specifikálás Rendszer köv. spec. Felh. köv. spec. Üzleti köv. spec. Követelmény kinyerés Felh. köv. meghat. Megval. tanulmány Rendszer köv. meghat. Prototípus kész. Szemlék Követelmény validálás 38
20 Megvalósíthatósági tanulmány Megéri-e megvalósítani a rendszert? A rendszer hozzájárul-e a szervezet céljaihoz? Megvalósítható-e a jelenlegi technológiával az adott költség és id"keretben? Integrálható-e a meglév" korábbi rendszerekkel? 39 Megvalósíthatósági tanulmány (foly.) Megválaszolandó kérdések M!ködhet-e a szervezet az adott rendszer nélkül? Mi a probléma a jelenlegi folyamatokkal, és hogy változnak azok az új rendszer hatására? Mik lesznek az integrálási problémák? Szükséges-e új technológiák, tudások bevezetése? 40
21 Követelmények meghatározása és elemzése Követelmény meghatározás, követelmény feltárás Érintettek (szerepl"k) köre végfelhasználók managerek mérnökök domén szakért"k 41 Követelményelemzés problémái Az érintettek nem tudják mit akarnak Az érintettek saját terminológiájukban fejezik ki a et A különböz" szerepl"k érdekei ellentétesek Szervezeti és politikai tényez"k befolyásolják a et A változnak az elemzés alatt! 42
22 Tevékenységek Követelmény feltárás Követelmények kategórizálása és elrendezése Követelmények prioritálása, egyeztetés Követelmények dokumentálása 43 Néz#pontok és szerepek Az érdekelt felek besorolhatók néz"pontjaik szerint A néz"pontok alkalmasak a struktúrálására A elemzésének megfelel" módja a több néz"pontú elemzés 44
23 Különböz# szerepek Interaktorok A rendszer használatában közvetlenül érintettek Közvetett szerepl"k Domén néz"pontok 45 Interjú készítés Rendszerrel kapcsolatos információk kinyerése zárt interjú el"re meghatározott kérdések nyílt interjú lehetséges problémák feltárása Domén tudás kinyerésére nem megfelel" terminológia implicit tudás 46
24 Egyéb technikák Kérd"ívek pontosabb nagyszámban kiértékelhet" A tevékenység során használt bizonylatok,!rlapok elemzése Közvetlen megfigyelés video 47 Scenáriók A rendszer valós használatára vonatkozó tipikus helyzetek A scenáriónak tartalmaznia kell kiindulási állapot, feltételek események normál lefolyás esetén hibalehet"ségek konkurens tevékenységek végállapot 48
25 Scenárió részlet (pl.) 49 Use case-ek Objektum orientált megközelítés (UML) Interakciók számbavétele, egyedi leírása felhasználási esetek, módok szerepl"k Use case diagramok 50
26 Use case diagram (pl.) Toy Order System Search Toy <uses> Create Preference Search by Preference Staff Customer Check Order Status Place Order <extends> <uses> Reorder Calculate Total 51 Gyors prototipizálás Követelmények pontosítása és specifikálása egy gyorsan kialakított prototípus alapján Prototípus változtathatósága Felhasználó központú fejlesztés gyors felhasználói visszacsatolás A prototípus felhasználása min"ségi megkötések 52
27 CASE támogatás Diagram editorok szintaxis validálás Dokumentum kezel" megoldások Képerny" és jelentés tervez" alkalmazások 53 Követelmények validálása Meghatározott megfelelnek a megrendel" szándékainak érvényesség ellen"rzése konzisztencia ellen"rzése teljesség ellen"rzése realitás ellen"rzése 54
28 Követelmények validálása (folyt.) Alkalmazható technikák szemlék, átvizsgálások követelmény metrikák követelmény változékonyság (változások száma, frekvenciája) prototípusok készítése tesztesetek készítése 55 Követelmény management Változások követése / kezelése fejlesztés közben Teljesség és konzisztencia fenntartása üzleti folyamatok változása különböz" néz"pontok változó figyelembevétele 56
29 Összefoglalás A követelmény meghatározási folyamat elemei megvalósíthatósági tanulmány, követelmény-meghatározás és elemzés, specifikáció, validálás és management Különböz" érdekeltek különböz" néz"pontokkal Változó kezelése Funkcionális és nem-funkcionális Felhasználói és rendszer 57
Szoftver követelmények meghatározása
Szoftver meghatározása Requirements engineering (analysis) Irodalom Ian Sommerville: Software Engineering, 7th e. chapter 6-7. Roger S. Pressman: Software Engineering, 5th e. chapter 11. 2 Követelménymeghatározás
RészletesebbenA szoftver-folyamat. Szoftver életciklus modellek. Szoftver-technológia I. Irodalom
A szoftver-folyamat Szoftver életciklus modellek Irodalom Ian Sommerville: Software Engineering, 7th e. chapter 4. Roger S. Pressman: Software Engineering, 5th e. chapter 2. 2 A szoftver-folyamat Szoftver
RészletesebbenA szoftver-folyamat. Szoftver életciklus modellek. Szoftver-technológia I. Irodalom
A szoftver-folyamat Szoftver életciklus modellek Irodalom Ian Sommerville: Software Engineering, 7th e. chapter 4. Roger S. Pressman: Software Engineering, 5th e. chapter 2. 2 A szoftver-technológia aspektusai
RészletesebbenSzoftver-technológia II. Szoftver újrafelhasználás. (Software reuse) Irodalom
Szoftver újrafelhasználás (Software reuse) Irodalom Ian Sommerville: Software Engineering, 7th e. chapter 18. Roger S. Pressman: Software Engineering, 5th e. chapter 27. 2 Szoftver újrafelhasználás Szoftver
RészletesebbenRendszer-modellezés, modellezési technikák
Rendszer-modellezés, modellezési technikák System engineering and modelling Irodalom Ian Sommerville: Software Engineering, 7th e. chapter 8. Roger S. Pressman: Software Engineering, 5th e. chapter 10,
RészletesebbenSzoftver újrafelhasználás
Szoftver újrafelhasználás Szoftver újrafelhasználás Szoftver fejlesztésekor korábbi fejlesztésekkor létrehozott kód felhasználása architektúra felhasználása tudás felhasználása Nem azonos a portolással
RészletesebbenRendszer-modellezés, modellezési technikák
Rendszer-modellezés, modellezési technikák System engineering and modelling Irodalom Ian Sommerville: Software Engineering, 7th e. chapter 8. Roger S. Pressman: Software Engineering, 5th e. chapter 10,
RészletesebbenSzoftver architektúra, Architektúrális tervezés
Szoftver architektúra, Architektúrális tervezés Irodalom Ian Sommerville: Software Engineering, 7th e. chapter 11. Roger S. Pressman: Software Engineering, 5th e. chapter 14. Bass, Clements, Kazman: Software
RészletesebbenSzoftver-technológia I.
Szoftver technológia I. Oktatók Sziray József B602 Heckenast Tamás B603 2 Tananyag Elektronikus segédletek www.sze.hu/~sziray/ www.sze.hu/~heckenas/okt/ (www.sze.hu/~orbang/) Nyomtatott könyv Ian Sommerville:
RészletesebbenSzoftver tervezés és design
Szoftver tervezés és design Irodalom Frederick Brooks: Design of design, Addison-Wesley, 2010 M. Imaz, D. Benyon: Designing with blends, MIT Press, 2007 2 A mérnöki folyamat iterációk követelmények analízis
RészletesebbenA szoftverfejlesztés eszközei
A szoftverfejlesztés eszközei Fejleszt! eszközök Segédeszközök (szoftverek) programok és fejlesztési dokumentáció írásához elemzéséhez teszteléséhez karbantartásához 2 Történet (hw) Lyukkártya válogató
RészletesebbenA szoftverfejlesztés eszközei
A szoftverfejlesztés eszközei Fejleszt! eszközök Segédeszközök (szoftverek) programok és fejlesztési dokumentáció írásához elemzéséhez teszteléséhez karbantartásához 2 Segédeszközök szükségessége Szoftver
RészletesebbenModell alapú tesztelés mobil környezetben
Modell alapú tesztelés mobil környezetben Micskei Zoltán Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék A terület behatárolása Testing is an activity performed
RészletesebbenKogníció, koncepciók, modellek
Kogníció, koncepciók, modellek A szoftver-technológia koncepcionális alapjai Irodalom Pléh Csaba: Bevezetés a megismeréstudományba, Typotex, 1998 Kognitív tudomány, Szerk.: Pléh Csaba, Osiris, 1996 M.
RészletesebbenVerifikáció és validáció Általános bevezető
Verifikáció és validáció Általános bevezető Általános Verifikáció és validáció verification and validation - V&V: ellenőrző és elemző folyamatok amelyek biztosítják, hogy a szoftver megfelel a specifikációjának
RészletesebbenSzoftver-technológia II. Architektúrák dokumentálása UML-lel. Irodalom. Szoftver-technológia II.
Architektúrák dokumentálása UML-lel Irodalom L. Bass, P. Clements, R. Kazman: Software Architecture in Practice, Addison-Wesley, 2003 H. Störrle: UML 2, Panem, 2007 2 Szoftver architektúra (emlékeztet!)
RészletesebbenKód átvizsgálás. Irodalom. (Code review) code review,smart Bear Inc., ! Jason Cohen: Best kept secrets of peer
Kód átvizsgálás (Code review) 2 Irodalom! Jason Cohen: Best kept secrets of peer code review,smart Bear Inc., 2006 3 Célok, el!nyök! Jobb min!ség" kód! jobban karbantartható! Kevesebb hiba a kódban! rövidebb
RészletesebbenSzoftvertechnológia ellenőrző kérdések 2005
Szoftvertechnológia ellenőrző kérdések 2005 Mi a szoftver, milyen részekből áll és milyen típusait különböztetjük meg? Mik a szoftverfejlesztés általános lépései? Mik a szoftvergyártás általános modelljei?
RészletesebbenSzoftverminőségbiztosítás
NGB_IN003_1 SZE 2014-15/2 (13) Szoftverminőségbiztosítás Szoftverminőség és formális módszerek Formális módszerek Formális módszer formalizált módszer(tan) Formális eljárások alkalmazása a fejlesztésben
RészletesebbenA követelm. vetelmény. analízis fázis. Az analízis fázis célja. fázis feladata
A követelm vetelmény analízis fázis Miskolci Egyetem Általános Informatikai Tanszék Utolsó módosítás: 2006.02.15. ANAL / 1 Az analízis fázis célja A projekttel szemben támasztott követelmények meghatározása
RészletesebbenModellellenőrzés a vasút automatikai rendszerek fejlesztésében. XIX. Közlekedésfejlesztési és beruházási konferencia Bükfürdő
Modellellenőrzés a vasút automatikai rendszerek fejlesztésében XIX. Közlekedésfejlesztési és beruházási konferencia Bükfürdő 2018.04.25-27. Tartalom 1. Formális módszerek state of the art 2. Esettanulmány
RészletesebbenUML (Unified Modelling Language)
UML (Unified Modelling Language) UML (+ Object Constraint Language) Az objektum- modellezés egy szabványa (OMG) UML A 80-as, 90-es években egyre inkább terjedő objektum-orientált analízis és tervezés (OOA&D)
RészletesebbenInformációs rendszerek Információsrendszer-fejlesztés
Információs rendszerek Információsrendszer-fejlesztés A rendszerfejlesztés életciklusa problémadefiniálás helyzetfeltárás megvalósítási tanulmány döntés a fejlesztésrıl ELEMZÉS IMPLEMENTÁCIÓ programtervezés
RészletesebbenHatékony iteratív fejlesztési módszertan a gyakorlatban a RUP fejlesztési módszertanra építve
Hatékony iteratív fejlesztési módszertan a gyakorlatban a RUP fejlesztési módszertanra építve Kérdő Attila, ügyvezető, INSERO Kft. EOQ MNB, Informatikai Szakosztály, HTE, ISACA 2012. május 17. Módszertanok
RészletesebbenBevezetés a programozásba
Bevezetés a programozásba A szoftverfejlesztés folyamata PPKE-ITK Tartalom A rendszer és a szoftver fogalma A szoftver, mint termék és készítésének jellegzetességei A szoftverkészítés fázisai: Az igények
RészletesebbenSoftware Engineering
Software Engineering Software Engineering Software Engineering értelmezése Az a folyamat, mely eredményekénk létrehozunk egy adott feladatot megvalósító szoftver rendszert. Tevékenységek, technológia,
RészletesebbenFormális módszerek GM_IN003_1 Bevezetés
Formális módszerek GM_IN003_1 Formális módszerek Formális módszer! formalizált módszer(tan) Formális eljárások alkalmazása a fejlesztésben nincs olyan formális eljárás, ami egy komplex rendszer minden
RészletesebbenNagy bonyolultságú rendszerek fejlesztőeszközei
Nagy bonyolultságú rendszerek fejlesztőeszközei Balogh András balogh@optxware.com A cég A BME spin-off-ja A Hibatűrő Rendszerek Kutatócsoport tagjai alapították Tisztán magánkézben Szakmai háttér Hibatűrő
RészletesebbenSoftware Engineering Babeş-Bolyai Tudományegyetem Kolozsvár
Software Engineering Dr. Barabás László Ismétlés/Kitekintő Ismétlés Software Engineering = softwaretechnológia Projekt, fogalma és jellemzői, személyek és szerepkörök Modell, módszertan Kitekintés Elemzés/
RészletesebbenAlkalmazások architektúrája
Alkalmazások architektúrája Irodalom Ian Sommerville: Software Engineering, 7th e. chapter 13. Bass, Clements, Kazman: Software Architecture in Practice, Addison- Wesley, 2004 2 Alkalmazás típusok Adat
RészletesebbenSzoftver-technológia II. Modulok és OOP. Irodalom
Modulok és OOP Irodalom Steven R. Schach: Object Oriented & Classical Software Engineering, McGRAW-HILL, 6th edition, 2005, chapter 7. 2 Modulok és objektumok Modulok Lexikálisan folytonos utasítás sorozatok,
RészletesebbenKomponens alapú fejlesztés
Komponens alapú fejlesztés Szoftver újrafelhasználás Szoftver fejlesztésekor korábbi fejlesztésekkor létrehozott kód felhasználása architektúra felhasználása tudás felhasználása Nem azonos a portolással
RészletesebbenSzoftver-mérés. Szoftver metrikák. Szoftver mérés
Szoftver-mérés Szoftver metrikák Szoftver mérés Szoftver jellemz! megadása numerikus értékkel Technikák, termékek, folyamatok objektív összehasonlítása Mér! szoftverek, programok CASE eszközök Kevés szabványos
RészletesebbenNév: Neptun kód: Pontszám:
Név: Neptun kód: Pontszám: 1. Melyek a szoftver minőségi mutatói? Fejlesztési idő, architektúra, programozási paradigma. Fejlesztőcsapat összetétele, projekt mérföldkövek, fejlesztési modell. Karbantarthatóság,
RészletesebbenSzoftverminőségbiztosítás
NGB_IN003_1 SZE 2014-15/2 (2) Szoftverminőségbiztosítás A szoftverminőségbiztosítási rendszer A szoftver-minőségbiztosítási rendszer összetevői Szoftver minőségi alapkérdések Hogyan hasznosítsuk a know-how-t
RészletesebbenTranszformációk integrált alkalmazása a modellvezérelt szoftverfejlesztésben. Ráth István
Transzformációk integrált alkalmazása a modellvezérelt szoftverfejlesztésben Ráth István rath@mit.bme.hu A grafikus nyelvek... mindenhol ott vannak: Grafikus felületek (Visual Studio) Relációs sémák (dbdesign)
RészletesebbenBánsághi Anna anna.bansaghi@mamikon.net. 2014 Bánsághi Anna 1 of 31
IMPERATÍV PROGRAMOZÁS Bánsághi Anna anna.bansaghi@mamikon.net 9. ELŐADÁS - OOP TERVEZÉS 2014 Bánsághi Anna 1 of 31 TEMATIKA I. ALAPFOGALMAK, TUDOMÁNYTÖRTÉNET II. IMPERATÍV PROGRAMOZÁS Imperatív paradigma
RészletesebbenSzoftverminőségbiztosítás
NGB_IN003_1 SZE 2017-18/2 (2) Szoftverminőségbiztosítás A szoftverminőségbiztosítási rendszer A szoftver-minőségbiztosítási rendszer összetevői Minőségbiztosítási rendszer Minőség menedzsment Minőségbiztosítás
Részletesebben01. gyakorlat - Projektalapítás
2 Követelmények 01. gyakorlat - Projektalapítás Szoftvertechnológia gyakorlat OE-NIK A félév során egy nagyobb szoftverrendszer prototípusának elkészítése lesz a feladat Fejlesztési módszertan: RUP CASE-eszköz:
RészletesebbenModellinformációk szabványos cseréje. Papp Ágnes, Debreceni Egyetem EFK
Modellinformációk szabványos cseréje Papp Ágnes, agi@delfin.unideb.hu Debreceni Egyetem EFK Tartalom MOF, UML, XMI Az UML és az XML séma MDA - Model Driven Architecture Networkshop 2004 2 Az OMG metamodell
RészletesebbenSzoftverminőségbiztosítás
NGB_IN003_1 SZE 2017-18/2 (9) Szoftverminőségbiztosítás Specifikáció alapú (black-box) technikák A szoftver mint leképezés Szoftverhiba Hibát okozó bement Hibás kimenet Input Szoftver Output Funkcionális
RészletesebbenBevezetés Mi a szoftver? Általános termékek: Mi a szoftvertervezés?
Bevezetés Mi a szoftver? Számítógép-programok és kapcsolódó dokumentációk, illetve konfigurációs adatok, amelyek elengedhetetlenek ahhoz, hogy ezek a programok helyesen működjenek. Szoftvertermékek fejleszthető
Részletesebben7. A követelménytervezés folyamata
7. A követelménytervezés folyamata Kérdések Mik a fő tevékenységek a követelménytervezés során? Mi ezek kapcsolata? Mik a követelmény-gyűjtés és -analízis módszerei? Mi a követelmény-validáció és a követelmény-felülvizsgálat?
RészletesebbenRészletes szoftver tervek ellenőrzése
Részletes szoftver tervek ellenőrzése Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék http://www.mit.bme.hu/~majzik/ Tartalomjegyzék A részletes
RészletesebbenSzoftverminőségbiztosítás
NGB_IN003_1 SZE 2014-15/2 (3) Szoftverminőségbiztosítás A szoftverminőségbiztosítási rendszer (folyt.) Eljárások, munkautasítások Eljárás: egy adott módja valami elvégzésének részletezett tevékenységek,
RészletesebbenRendszer szekvencia diagram
Rendszer szekvencia diagram Célkitűzések A rendszer események azonosítása. Rendszer szekvencia diagram készítése az eseményekre. 2 1.Iteráció Az első igazi fejlesztési iteráció. A projekt kezdeti szakaszában
RészletesebbenInformációtartalom vázlata
1. Az Ön cégétől árajánlatot kértek egy üzleti portál fejlesztésére, amelynek célja egy online áruház kialakítása. Az árajánlatkérés megválaszolásához munkaértekezletet tartanak, ahol Önnek egy vázlatos
RészletesebbenA fejlesztési szabványok szerepe a szoftverellenőrzésben
A fejlesztési szabványok szerepe a szoftverellenőrzésben Majzik István majzik@mit.bme.hu http://www.inf.mit.bme.hu/ 1 Tartalomjegyzék Biztonságkritikus rendszerek A biztonságintegritási szint Az ellenőrzés
RészletesebbenSzoftverminőségbiztosítás
NGB_IN003_1 SZE 2014-15/2 (7) Szoftverminőségbiztosítás Szoftvertesztelési folyamat Szoftverek és környezet Nem egyforma a szoftverek használatához kapcsolódó kockázat Különböző kockázati szintek -> eltérő
RészletesebbenSapientia - Erdélyi Magyar TudományEgyetem (EMTE) Csíkszereda IRT 6. kurzus
Sapientia - Erdélyi Magyar TudományEgyetem (EMTE) Csíkszereda IRT 6. kurzus 5-ös Kurzus (UML) Visszatekintés: történelmi szempontok Az UML létrejötte UML-1 (Unified Modeling Language) és UML-2 Magyarul
RészletesebbenBánsághi Anna anna.bansaghi@mamikon.net. Bánsághi Anna 1 of 54
SZOFTVERTECHNOLÓGIA Bánsághi Anna anna.bansaghi@mamikon.net 2. ELŐADÁS - KÖVETELMÉNY MENEDZSMENT Bánsághi Anna 1 of 54 TEMATIKA I. SZOFTVERTECHNOLÓGIA ALTERÜLETEI II. KÖVETELMÉNY MENEDZSMENT III. RENDSZERMODELLEK
RészletesebbenTartalom. Konfiguráció menedzsment bevezetési tapasztalatok. Bevezetés. Tipikus konfigurációs adatbázis kialakítási projekt. Adatbázis szerkezet
Konfiguráció menedzsment bevezetési tapasztalatok Vinczellér Gábor AAM Technologies Kft. Tartalom 2 Bevezetés Tipikus konfigurációs adatbázis kialakítási projekt Adatbázis szerkezet Adatbázis feltöltés
RészletesebbenSoftware engineering (Software techológia) Bevezetés, alapfogalmak. Történelem 1. Történelem as évek Megoldandó problémák: Fejlesztő: Eszköz:
Software engineering (Software techológia) Bevezetés, alapfogalmak Utolsó módosítás: 2006. 02. 16. SWENGBEV / 1 Történelem 1. 60-as évek Megoldandó problémák: egyedi problémákra kis programok Fejlesztő:
RészletesebbenV. Félév Információs rendszerek tervezése Komplex információs rendszerek tervezése dr. Illyés László - adjunktus
V. Félév Információs rendszerek tervezése Komplex információs rendszerek tervezése dr. Illyés László - adjunktus 1 Az előadás tartalma A GI helye az informatikában Az előadás tartalmának magyarázata A
RészletesebbenAutóipari beágyazott rendszerek. Komponens és rendszer integráció
Autóipari beágyazott rendszerek és rendszer integráció 1 Magas szintű fejlesztési folyamat SW architektúra modellezés Modell (VFB) Magas szintű modellezés komponensek portok interfészek adattípusok meghatározása
RészletesebbenSzoftveripar és üzleti modellek
Szoftveripar és üzleti modellek Irodalom Michael A. Cusumano: The business of software Michael Hiltzik: Dealers of lightning Eric Raymond: A katedrális és a bazár Szoftver technológia Software engineering
RészletesebbenElosztott rendszer architektúrák
Elosztott rendszer architektúrák Distributed systems architectures Irodalom Ian Sommerville: Software Engineering, 7th e. chapter 12. Andrew S. Tanenbaum, aarten van Steen: Distributed Systems: rinciples
RészletesebbenS0-02 Típusmodellek (Programozás elmélet)
S0-02 Típusmodellek (Programozás elmélet) Tartalom 1. Absztrakt adattípus 2. Adattípus specifikációja 3. Adattípus osztály 4. Paraméterátadás 5. Reprezentációs függvény 6. Öröklődés és polimorfizmus 7.
RészletesebbenFolyamatmodellezés és eszközei. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék
Folyamatmodellezés és eszközei Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Folyamat, munkafolyamat Munkafolyamat (Workflow): azoknak a lépéseknek a sorozata,
RészletesebbenDW 9. előadás DW tervezése, DW-projekt
DW 9. előadás DW tervezése, DW-projekt Követelmény felmérés DW séma tervezése Betöltési modul tervezése Fizikai DW tervezése OLAP felület tervezése Hardver kiépítése Implementáció Tesztelés, bevezetés
RészletesebbenFolyamatmodellezés és eszközei. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék
Folyamatmodellezés és eszközei Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Folyamat, munkafolyamat Ez vajon egy állapotgép-e? Munkafolyamat (Workflow):
RészletesebbenProgramrendszerek tanúsítása szoftverminőség mérése
SZEGEDI TUDOMÁNYEGYETEM Programrendszerek tanúsítása szoftverminőség mérése Dr. Gyimóthy Tibor Dr. Ferenc Rudolf Szoftverminőség biztosítás Fő cél: az üzemelő IT rendszerekben csökkenteni a hibák számát
RészletesebbenS01-7 Komponens alapú szoftverfejlesztés 1
S01-7 Komponens alapú szoftverfejlesztés 1 1. A szoftverfejlesztési modell fogalma. 2. A komponens és komponens modell fogalma. 3. UML kompozíciós diagram fogalma. 4. A szoftverarchitektúrák fogalma, összetevői.
RészletesebbenPlanning and Design of Information Systems. André Blokdijk, Paul Blokdijk ACADEMIC PRESS, 1987.
Planning and Design of Information Systems André Blokdijk, Paul Blokdijk ACADEMIC PRESS, 1987. 4.3 A tervezés határai Mi a tető, mi a lent, mi a centrum - tisztázni kell előre. A 4 modell milyen részlet
RészletesebbenAutóipari beágyazott rendszerek Dr. Balogh, András
Autóipari beágyazott rendszerek Dr. Balogh, András Autóipari beágyazott rendszerek Dr. Balogh, András Publication date 2013 Szerzői jog 2013 Dr. Balogh András Szerzői jog 2013 Dunaújvárosi Főiskola Kivonat
RészletesebbenIsmeretanyag Záróvizsgára való felkészüléshez
Ismeretanyag Záróvizsgára való felkészüléshez 1. Információmenedzsment az információmenedzsment értelmezése, feladatok különböző megközelítésekben informatikai szerepek, informatikai szervezet, kapcsolat
RészletesebbenKövetelmény meghatározás. Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 1
Követelmény meghatározás Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 1 A követelményjegyzék a rendszerfejlesztési alapmintában Döntési struktúra Vizsgálat/ helyzetfelmérés
Részletesebben2. Követelmények (Requirements)
2. Követelmények (Requirements) A szoftverfejlesztés első lépése a specifikáció, vagy más néven a követelménytervezés, amelynek célja, hogy meghatározzuk milyen szolgáltatásokat követelünk meg a rendszertől,
RészletesebbenSzoftverminőségbiztosítás
NGB_IN003_1 SZE 2014-15/2 (8) Szoftverminőségbiztosítás Szoftvertesztelési folyamat (folyt.) Szoftvertesztelési ráfordítások (Perry 1995) Tesztelésre fordítódik a projekt költségvetés 24%-a a projekt menedzsment
RészletesebbenTartalom. Szoftverfejlesztési. Szoftver = Termék. módszertan. la Rational XDE CASE eszköz. Az előállításához technológiára van szükség
Tartalom 6. Unified Process & Rational Unified Process lmi a szoftverfejlesztési módszertan? lunified Process lrational Unified Process (RUP) la Rational XDE CASE eszköz lpélda BMF-NIK-SZTI Tick: Szoftver
RészletesebbenSzakterületi modell A fogalmak megjelenítése. 9. fejezet Applying UML and Patterns Craig Larman
Szakterületi modell A fogalmak megjelenítése 9. fejezet Applying UML and Patterns Craig Larman 1 Néhány megjegyzés a diagramokhoz Ez a tárgy a rendszer elemzésről és modellezésről szól. Noha például egy
RészletesebbenDigitális eszközök típusai
Digitális eszközök típusai A digitális eszközök típusai Digitális rendszer fogalma Több minden lehet digitális rendszer Jelen esetben digitális integrált áramköröket értünk a digitális rendszerek alatt
RészletesebbenA TANTÁRGY ADATLAPJA
1. A képzési program adatai A TANTÁRGY ADATLAPJA 1.1 Felsőoktatási intézmén Babeș-Bolyai Tudományegyetem 1.2 Kar Matematika és Informatika 1.3 Intézet Magyar Matematika és Informatika 1.4 Szakterület Informatika
RészletesebbenTOGAF elemei a gyakorlatban
TOGAF elemei a gyakorlatban Vinczellér Gábor 2009.06.0406 04 8 éves szakmai tapasztalat Bemutatkozás IT Support, Programozó, jelenleg Projektvezető, Termékfejlesztési Üzletág Vezető Tanácsadási és Szoftverfejlesztési
RészletesebbenProgramfejlesztési Modellek
Programfejlesztési Modellek Programfejlesztési fázisok: Követelmények leírása (megvalósíthatósági tanulmány, funkcionális specifikáció) Specifikáció elkészítése Tervezés (vázlatos és finom) Implementáció
RészletesebbenAlkalmazások fejlesztése A D O K U M E N T Á C I Ó F E L É P Í T É S E
Alkalmazások fejlesztése A D O K U M E N T Á C I Ó F E L É P Í T É S E Követelmény A beadandó dokumentációját a Keszthelyi Zsolt honlapján található pdf alapján kell elkészíteni http://people.inf.elte.hu/keszthelyi/alkalmazasok_fejlesztese
RészletesebbenHASZNÁLATI ESET DIAGRAM (USE CASE DIAGRAM)
HASZNÁLATI ESET DIAGRAM (USE CASE DIAGRAM) Célja: A követelményrögzítés (a szoftverfejlesztés els fázisaiban, pl. a követelménydefiníciós fázisban használatos). Funkcionális diagram: középpontban a rendszer
RészletesebbenProgramozási technológia
Programozási technológia Dinamikus modell Tevékenységdiagram, Együttműködési diagram, Felhasználói esetek diagramja Dr. Szendrei Rudolf ELTE Informatikai Kar 2018. Tevékenység diagram A tevékenység (vagy
RészletesebbenObject Orgy PROJEKTTERV 1 (9) Adattípusok menedzselése Palatinus Endre 2010-09-27 1.0
Object Orgy PROJEKTTERV 1 (9) Projektterv 1 Összefoglaló 2 Verziók Ez az projekt projektterve, ahol kitérünk a megrendelt szoftver elvárt szolgáltatásaira, és a tárgy keretein belül a projekt során felhasználandó
RészletesebbenCloud Computing a gyakorlatban. Szabó Gyula (GDF) Benczúr András (ELTE) Molnár Bálint (ELTE)
Cloud Computing a gyakorlatban Szabó Gyula (GDF) Benczúr András (ELTE) Molnár Bálint (ELTE) Az el adás felépítése CLOUD ALKALMAZÁSI FELMÉRÉSEK CLOUD COMPUTING DEFINICIÓK CLOUD SZOLGÁLTATÁSI ÉS ÜZEMEL-
RészletesebbenTartalom Platform-független modellezés Alkalmazás-modellezés A DECOS hardver platform Platform modellezés Hardver-szoftver integráció Implementáció 2
Biztonság-vezérelt automatikus architektúra szintézis Balogh András abalogh@mit.bme.hu Tartalom Platform-független modellezés Alkalmazás-modellezés A DECOS hardver platform Platform modellezés Hardver-szoftver
RészletesebbenMetamodellezés. Simon Balázs BME IIT, 2011.
Metamodellezés Simon Balázs BME IIT, 2011. Bevezetés Metamodellezés EMF & ecore Tartalom (C) Simon Balázs, BME IIT, 2011. 2 Hétfő: Simon Balázs Bevezetés hetente felváltva: előadás és gyakorlat metamodellezés
RészletesebbenMathcad. 2009. Június 25. Ott István. www.snt.hu/cad. S&T UNITIS Magyarország Kft.
Mathcad 2009. Június 25. Ott István www.snt.hu/cad Matematika a gépészet nyelve Mit? Miért? 10 x 2 dx = 333 1 π cos ( x) + sin( x) dx = 2 0 i 3 1 4 i4 i 1 2 i3 + 1 4 i2 d ds ( 3s) 2 + s 2 18 s + 1 2 Pro/ENGINEER
RészletesebbenTémaválasztás, kutatási kérdések, kutatásmódszertan
Témaválasztás, kutatási kérdések, kutatásmódszertan Dr. Dernóczy-Polyák Adrienn PhD egyetemi adjunktus, MMT dernoczy@sze.hu A projekt címe: Széchenyi István Egyetem minőségi kutatói utánpótlás nevelésének
RészletesebbenFunkciópont elemzés: elmélet és gyakorlat
Funkciópont elemzés: elmélet és gyakorlat Funkciópont elemzés Szoftver metrikák Funkciópont, mint metrika A funkciópont metrika alapelveinek áttekintése Bonyolultsággal korrigált funkciópont A funkciópont
RészletesebbenA modellellenőrzés érdekes alkalmazása: Tesztgenerálás modellellenőrzővel
A modellellenőrzés érdekes alkalmazása: Tesztgenerálás modellellenőrzővel Majzik István Micskei Zoltán BME Méréstechnika és Információs Rendszerek Tanszék 1 Modell alapú fejlesztési folyamat (részlet)
RészletesebbenObjektum Vezérelt Szoftverek Analízise
Objektum Vezérelt Szoftverek Analízise Ferenc Rudolf és Beszédes Árpád ferenc@inf.u-szeged.hu beszedes@inf.u-szeged.hu Szegedi Tudományegyetem FrontEndART Szoftver Kft. Bevezetés A szoftver rendszerek
RészletesebbenSzoftverspecifikáció fázis: Követelmény specifikáció. 2. fázis: Követelmények feltárása és elemzése
Folyamattevékenységek Dr. Mileff Péter Alapvetıen négy különbözı folyamattevékenység: Specifikáció (követelménytervezés) Tervezés és implementáció Validáció Evolúció Ezeket a különféle fejlesztési folyamatmodellek
RészletesebbenMai program. Web Technológiák. Webalkalmazások. Webalkalmazás, mint UI
Web Technológiák Mai program Répási Tibor egyetemi tanársegéd Miskolc Egyetem Infomatikai és Villamosmérnöki Tanszékcsoport (IVM) Általános Informatikai Tanszék Iroda: Inf.Int. 108. Tel: 2101 Webalkalmazás
Részletesebben1. Bevezetés a szoftvertechnológiába
1. Bevezetés a szoftvertechnológiába Kérdések Mi a szoftvertechnológia (szoftvermérnökség)? Mik a szoftvertechnológiát érintő legfontosabb kérdések és válaszok? Etikai és szakmai kérdések: hogyan érintik
Részletesebben6. Szoftver követelmények
6. Szoftver követelmények Kérdések Mik a felhasználói- és rendszerkövetelmények? Mik a funkcionális és nem-funkcionális követelmények? Hogyan épülnek be a szoftver követelmények a követelménydokumentumba?
RészletesebbenS S A D M ELEMZÉSI ÉS TERVEZÉSI MÓDSZERTAN. Structured Systems Analysis and Design Method
S S A D M ELEMZÉSI ÉS TERVEZÉSI MÓDSZERTAN Structured Systems Analysis and Design Method Mi az SSADM? Kifejezetten a rendszerelemzést és a szoftverfejlesztést támogatja. Eljárási, műszaki és dokumentációs
RészletesebbenTamagocsi Projektterv
Tamagocsi Projektterv Csapat: CamelCase { Laczik Sándor János; Szőke Gábor; Vasas Szabolcs; } Évfolyam: PTI MSc II. 2011/2012 1. Összefoglaló A feladat egy PC-n futtatható tamagocsi játék fejlesztése.
RészletesebbenA TESZTELÉS ALAPJAI MIÉRT SZÜKSÉGES A TESZTELÉS? MI A TESZTELÉS? ÁLTALÁNOS TESZTELÉSI ALAPELVEK
A TESZTELÉS ALAPJAI MIÉRT SZÜKSÉGES A TESZTELÉS? MI A TESZTELÉS? ÁLTALÁNOS TESZTELÉSI ALAPELVEK MUNKAERŐ-PIACI IGÉNYEKNEK MEGFELELŐ, GYAKORLATORIENTÁLT KÉPZÉSEK, SZOLGÁLTATÁSOK A DEBRECENI EGYETEMEN ÉLELMISZERIPAR,
RészletesebbenA szoftver tesztelés célja
Szoftver tesztelés Bevezetés 2 A szoftver tesztelés célja! Szoftver-min!ség biztosítása, javítása! Szoftver hibák lokalizálása! V & V támogatása! verifikáció! fázis transzformációs lépései helyesek! követelményeknek
RészletesebbenIRÁNYÍTÓ RENDSZER IRÁNYÍTANDÓ FOLYAMAT. Biztonsági funkciók Biztonsági integritás. Normál működés. Hibák elleni védettség Saját (belső) biztonság
Biztonsági funkciók Biztonsági integritás Teljes funkcionalitás Biztonsági funkciók Irányító funkciók Gyakoriság Normál működés Kockázat osztályozás Veszélyelemzés Kockázatcsökkentés Súlyosság Belső kockázat
RészletesebbenObjektum orientált software fejlesztés (Bevezetés)
Objektum orientált software fejlesztés (Bevezetés) Lajos Miskolci Egyetem Általános Informatikai Tanszék Út az objektum orientált szemléletig 1. Klasszikus módszerek: program = adatszerkezetek + algoritmusok
RészletesebbenSzoftver karbantartási lépések ellenőrzése
Szoftverellenőrzési technikák (vimim148) Szoftver karbantartási lépések ellenőrzése Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék http://www.inf.mit.bme.hu/
RészletesebbenA modellellenőrzés érdekes alkalmazása: Tesztgenerálás modellellenőrzővel
A modellellenőrzés érdekes alkalmazása: Tesztgenerálás modellellenőrzővel Majzik István Micskei Zoltán BME Méréstechnika és Információs Rendszerek Tanszék 1 Modell alapú fejlesztési folyamat (részlet)
RészletesebbenProjectvezetők képességei
Projectvezetők képességei MOI modell Motivation ösztönzés Organisation szervezés Ideas or Innovation ötletek vagy újítás Más felosztás Probléma megoldás Vezetői öntudat Teljesítmény Befolyás, team képzés
Részletesebben