Inngangur að hugbúnaðarverkfræði (HBV101G)

Námskeiðið útskýrir hvað hugbúnaðarverkfræði er, af hverju greinin er mikilvæg og hvaða færni og hæfi hún krefst.

Í  heimsóknum frá hugbúnaðarverkfræðingum úr atvinnugreininni og vinnu að hagnýtum verkefnum, mun námskeiðið kynna sérstaklega lykilhugtök hugbúnaðarverkfræði, krafta sem móta hugbúnaðarvörur og hlutverk og ábyrgð þeirra sem að þeim standa.

Nemendur vinna í hópum og velja verkefni í umhverfi sínu, sem hægt er að leysa eða betrumbæta með hugbúnaði, og greina áskoranir sem þarf að yfirstíga þegar hentugar hugbúnaðarlausnir eru hannaðar og þróaðar. Verkefnavinnan mun mótivera aðferðir og leiðir sem verða kynntar og þjálfaðar í námskeiðum  hugbúnaðarverkfræðinámsleiðarinnar.

Athugið! Námskeiðið er sérstaklega ætlað nýnemum á 1. ári í Hugbúnaðarverkfræði. Nýnemar í Tölvunarfræði eða öðrum námsleiðum þurfa sérstakt leyfi námsbrautar til að skrá sig í námskeiðið en það er ekki ætlað 2. eða 3. árs nemendum.

Stærðfræðigreining I (STÆ104G)

Þetta er grunnnámskeið um stærðfræðigreiningu í einni breytistærð. Æskilegur undirbúningur er að nemendur hafi lokið námskeiðum á framhaldsskólastigi sem fjalla um algebru, rúmfræði, hornaföll, diffrun og heildun. Námskeiðið leggur grunn að skilningi á greinum á borð við náttúrufræði, verkfræði, hagfræði og tölvunarfræði. Umfjöllunarefni námskeiðsins eru meðal annars:

• Rauntölur.
• Markgildi og samfelld föll.
• Deildanleg föll, reglur um afleiður, hærri afleiður, hagnýtingar deildareiknings (útgildisverkefni, línuleg nálgun).
• Torræð föll.
• Meðalgildissetning, setningar l'Hôpitals og Taylors.
• Heildun, ákveðin heildi og reiknireglur fyrir þau, stofnföll, óeiginleg heildi.
• Undirstöðusetning stærðfræðigreiningarinnar.
• Hagnýtingar heildareiknings: Bogalengd, flatarmál, rúmmál, þungamiðjur.
• Venjulegar afleiðujöfnur: fyrsta stigs línulegar diffurjöfnur, annars stigs línulegar diffurjöfnur með fastastuðlum.
• Runur og raðir, samleitnipróf.
• Veldaraðir, Taylor-raðir.

Línuleg algebra (STÆ107G)

Einingar til BS-prófs gilda aðeins fyrir annaðhvort REI201G  Stærðfræði og reiknifræði eða STÆ107G Línuleg algebra.

Fjallað er um undirstöðuatriði línulegar algebru yfir rauntölurnar.

Viðfangsefni: Línuleg jöfnuhneppi,fylkjareikningur, Gauss-Jordan aðferð.  Vigurrúm og hlutrúm þeirra.  Línulega óháð hlutmengi, grunnar og vídd.  Línulegar varpanir, myndrúm og kjarni.  Depilfargfeldið, lengd og horn.  Rúmmál í margvíðu hnitarúmi og krossfeldi í þrívíðu.  Flatneskjur, stikaframsetning og fólgin framsetning.  Hornrétt ofanvörp og einingaréttir grunnar.  Aðferð Grams og Schmidts.  Ákveður og andhverfur fylkja.  Eigingildi, eiginvigrar og hornalínugerningur.

Tölvunarfræði 1 (TÖL101G)

Einingar til BS-prófs gilda aðeins fyrir annaðhvort TÖL101G Tölvunarfræði 1 eða TÖL105G Tölvunarfræði 1a.

Forritunarmálið Java verður notað til að kynnast grundvallaratriðum í tölvuforritun. Æfingar í forritasmíð verða á dagskrá allt misserið. Áhersla verður lögð á skipulegar og rökstuddar aðferðir við smíði forrita og góða innri skjölun. Helstu hugtök tengd tölvum og forritun. Klasar, hlutir og aðferðir. Stýrisetningar. Strengir og fylki, aðgerðir og innbyggð föll. Inntaks- og úttaksaðgerðir. Erfðir. Hugtök varðandi hönnun og byggingu kerfa og vinnubrögð við forritun. Ítrun og endurkvæmni. Röðun og leit.

Stærðfræðimynstur (TÖL104G)

Yrðingar, umsagnir og rökleiðingar. Mengjareikningur og Boolealgebrur. Þrepun og endurkvæmni. Grunnaðferðir við greiningu reiknirita og talningu. Einföld reiknirit í talnafræði. Vensl, eiginleikar þeirra og framsetning. Tré og net og einföld reiknirit tengd þeim. Strengir, dæmi um mál, stöðuvélar og málskipan.

Dæmatímar
Það eru 7 dæmahópar og nemendur velja sér hóp. Dæmatímar eru tvennskonar:
Venjulegir (5 hópar): 2x40 mín. vikulega, á eftir hverjum er 40 mín. stoðtími 
Hraðferðir (2 hópar): 1x40 mín. vikulega
Sjá nánar í stundaskrá

Tölvur, stýrikerfi og tölvufærni (TÖL205G)

Í þessu námskeiði er snert á mörgum hlutum sem tengjast tölvufærni. Markmið námskeiðsins er að kynna nemandann fyrir mörgum hugtökum án þess þó að kafa djúpt í hvert hugtak.

Kynning á stýrikerfinu Unix. Skipulag skráakerfis, helstu hjálparforrit, gluggakerfi, skipanalínuvinnsla og skeljarforritun. Einnig er farið yfir ritla í skelinni og höndlun gagna í henni. Farið er yfir útgáfustjórnunarkerfi eins og Git, notkun aflúsunaraðferða og aðferða til að byggja hugbúnað. Farið er yfir algeng hugtök í dulmálsfræðum og kynnt eru hugtök á borð við sýndarvélar og gáma.

Viðmótsforritun (HBV201G)

Í þessu námskeiði munu nemendur þjálfa forritun grafísks notendaviðmóts í Java og læra um helstu skref í þróun hugbúnaðarverkefnis frá hugmyndavinnu til prófana. Lögð er áhersla á að nemendur öðlist meiri færni í forritun stærri verkefna en í byrjendanámskeiði í forritun (TÖL101G), geti hannað gagnvirkt notendaviðmót, forritað það og prófað. Í því felst að nemendur geti kynnt sér stór forritasöfn (hér JavaFX) og notað þau. Einnig að nemendur geti lesið, skilið og útfært fyrirmæli um virkni, þ.m.t. gagnvirkni. Nemendur munu kynnast hönnunarferli sem samanstendur af fimm sprettum, skilja verkefnið, skissa hugmyndir og gagnvirkni, velja úr og skilgreina, forrita frumgerð og að kokum prófa og ígrunda. Gefin er innsýn í efnisatriði eins og notendamiðaða þróun, hönnun gagnvirkni, frumgerðir og notendaprófanir.
Námskeiðið mun undirbúa nemendur fyrir námskeiðin Þróun hugbúnaðar og Hugbúnaðarverkefni 1 og þau námskeið þar sem nemendur þurfa að forrita. Námskeiðið er einnig góður grunnur fyrir námskeið eins og TÖL502M Samskipti manns og tölvu.

Hugbúnaðarhönnun og forritun (HBV202G)

Athugið: Námskeiðið byggist á teymisvinnu í kennslustofum og notast við vendikennslu: Því er nauðsynlegt að mæta í kennslutíma til að vinna þar í hópnum. Ekki skrá þig í námskeiðið ef það eru árekstrar í stundatöflu sem gera þér ekki fært um að mæta í kennslutíma.

Námskeiðið fjallar um undirstöður hugbúnaðarhönnunar og forritunaraðferðir og þróunarumhverfi fyrir lengra komna. Fjallað er um hugbúnaðarhönnun með því að fara í hlutbundna líkanagerð í Unifed Modeling Language (UML), hlutbundin hönnunarreglur (t.d. skil, pakka og Liskov Substitution Principle), og einfaldari hönnunarmynstur.

Farið verður í forritun með því að nota aðferðir fyrir lengra komna í samþættu þróunarumhverfi hugbúnaðar (IDE) (t.d. sjálfvirka fullgerð kóða, notkun aflúsara og endurbætingu kóða með því að endurskrifa hann), skrifa sjálfvirka byggingu kóða sem tekur tillit til hvernig hlutar hugbúnaðar eru háðir öðrum (innri venslastjórnun) (t.d. Maven og Gradle tólin og Java módúla), þýðendur (t.d. aðvaranir frá þýðendum) og keyrsluumhverfi (t.d. classpath) og grundvallaratriði einingaprófana.

Stærðfræðigreining II (STÆ205G)

Í námskeiðinu er fengist við stærðfræðigreiningu falla af mörgum breytistærðum. Helstu hugtök sem koma vip sögu eru:

Opin mengi og lokuð. Varpanir, markgildi og samfelldni. Deildanlegar varpanir, hlutafleiður og keðjuregla. Jacobi-fylki. Stiglar og stefnuafleiður. Blandaðar hlutafleiður. Ferlar. Vigursvið og streymi. Sívalningshnit og kúluhnit. Taylor-margliður. Útgildi og flokkun stöðupunkta. Skilyrt útgildi. Fólgin föll og staðbundnar andhverfur. Ferilheildi, stofnföll. Heildun falla af tveimur breytistærðum. Óeiginleg heildi. Setning Greens. Einfaldlega samanhangandi svæði. Breytuskipti í tvöföldu heildi. Margföld heildi. Breytuskipti í margföldu heildi. Heildun á flötum. Flatarheildi vigursviðs. Setningar Stokes og Gauss.

Tölvunarfræði 2 (TÖL203G)

Námskeiðið mun nota forritunarmálið Java. Fjallað er um gagnaskipan, reiknirit og huglæg gagnatög. Meðal gagnaskipana, sem farið er yfir, eru listar, hlaðar, biðraðir, forgangsbiðraðir, tré, tvítré, tvíleitartré og hrúgur auk viðkomandi reiknirita. Kynnt verða ýmis leitar- og röðunarreiknirit. Reiknirit eru greind, hvað þau taka langan tíma í vinnslu og hve mikið minnisrými. Forritunarverkefni, sem nota áðurnefnda gagnaskipan og reiknirit, eru leyst í Java. Mörg lítil forritunarverkefni verða í námskeiðinu.

Verkfræði kröfugreiningar (HBV301G)

Hugbúnaðarkröfur lýsa þörfum  sem hugbúnaður þarf að uppfylla og takmörkunum sem hann þarf að lúta til að hann geti leyst verkefni í tilteknu viðfangsefni notkunar. Námskeiðið fjallar um  aðferðir til að lýsa, greina, skilgreina, staðfesta og stjórna hugbúnaðarkröfum.

Námskeiðið kynnir tegundir og eiginleika hugbúnaðarþarfa, viðeigandi hagsmunaaðila, aðferðir til að draga fram, lýsa, greina, skilgreina og staðfesta kröfur. Einnig mun það fjalla um hagnýtar aðferðir eins og breytingastjórnun og úrlausn ágreiningsefna. Nemendur æfa sig í aðferðunum í hópum með því að beita þeim í verkefnum að eigin vali.

Nýtt skyldunámskeið - fyrst kennt 2023-2024

Stærðfræðigreining III (STÆ302G)

Í námskeiðinu er fjallað undistöðuatriði um tvö svið stærðfræðigreiningar, tvinnfallagreiningu og afleiðujöfnur, með áherslu á hagnýtingu og útreikninga á lausnum.

Viðfangsefni: Tvinntölur og varpanir á svæðum í tvinntalnasléttunni. Föll af einni tvinnbreytistærð. Fáguð föll. Veldisvísisfallið, lograr, rætur og horn. Cauchy-setningin og Cauchy-formúlan. Samleitni í jöfnum mæli. Veldaraðir. Laurent-raðir. Leifareikningur. Hagnýtingar á tvinnfallagreiningu í straumfræði. Venjulegar afleiðujöfnur og afleiðujöfnuhneppi. Línulegar afleiðujöfnur  með fastastuðlum. Ýmsar aðferðir til að reikna út sérlausnir. Green-föll fyrir upphafsgildisverkefni. Línuleg afleiðujöfnuhneppi. Veldisvísisfylkið. Veldaraðalausnir og aðferð Frobeniusar. Laplace-ummyndun og notkun hennar við lausn á afleiðujöfnum. Leifaformúlur fyrir Fourier-myndir og andhverfar Laplace-myndir.

Gagnasafnsfræði (TÖL303G)

Gagnasöfn og gagnasafnskerfi. Einindavenslalíkanið. Töflulíkanið og töflualgebra. SQL fyrirspurnarmálið. Hagkvæmni geymsluaðferða og úrvinnsluaðferða. Fallákveður, lyklar og staðalskipulag gagna í venslalíkaninu. Bestun fyrirspurna. Hreyfingar, samhliða vinnsla hreyfinga og læsingar. Endurbygging gagnasafna. Öryggi gagnasafna og aðgangsheimildir. Vöruhús gagna.

Forritunarmál (TÖL304G)

Helstu gerðir forritunarmála kynntar. Bálkmótuð mál, listavinnslumál, hlutbundin forritun. Lýsing forritunarmála, þýðendur og túlkar. Uppbygging bálkmótaðra mála. Einingaforritun. Föll og undirforrit, viðföng og samskipti. Minnismeðhöndlun, ruslasöfnun. Forritunarmálin Scheme, CAML, Java, Morpho, C++ og Haskell verða skoðuð. Hlutbundin forritunarmál. Hlutir og erfðir. Listavinnsla og fallsforritun. Lýsing forritunarmála. Málfræði, uppbygging þýðenda. Áhersla er lögð á einingaforritun (einkum fjölnota einingar), listavinnslu, fallsforritun, og bálkmótun.

Tölvutækni og forritun (TÖL309G)

Námskeiðið fjallar um innri gerð tölva og hvernig best er að haga forritun til að nýta sem best eiginleika nútíma tölva.  Farið verður í forritunarmálið C og sér í lagi fjallað um benda og minnisnotkun.  Táknun heiltalna og kommutalna í tölvum.  Forritun í x86-64 smalamáli.  Sérstaklega verður skoðað hvernig aðgerðir í C eru útfærðar í smalamáli.  Minnisstigveldi og áhrif þess á afköst forrita.  Ferli og stýring þeirra.  Útfærsla og notkun frábrigða í tölvum.  Sýndarminni tölva. Samskeiða forritun.

Þróun hugbúnaðar (HBV401G)

Í þessu námskeiði stíga nemendur skrefið frá því að forrita sjálfir lítil forrit til að leysa vel skilgreind afmörkuð verkefni yfir í að vinna í hópi með öðrum að gerð stærri forritakerfa sem uppfylla stundum óljósar kröfur viðskiptavina. Námskeiðið fjallar um ýmsar grunnhugmyndir hugbúnaðarverkfræði til að fást við slík stærri kerfi, svo sem lipur hugbúnaðarferli, hugbúnaðarferli byggð á áætlunum, þarfaverkfræði, mat á vinnumagni, hlutbundna greiningu og hönnun, högun hugbúnaðar og þróun byggða á prófunum. Notkun þessara hugtaka er æfð í hópvinnuverkefnum þar sem nemendur þróa kerfi sem eru samsett úr minni þáttum og forrituð í Java.

Líkindareikningur og tölfræði (STÆ203G)

Grundvallarhugtök í líkindafræði og tölfræði, stærðfræðileg undirstaða þeirra og beiting með tölfræðihugbúnaðinum R. 

• Líkindi, slembistærðir og væntigildi þeirra
• Mikilvægar líkindadreifingar
• Úrtök, lýsistærðir og úrtaksdreifing lýsistærða
• Metlar og öryggisbil
• Hugmyndafræði tilgátuprófa
• Mikilvæg tilgátupróf
• Línuleg aðhvarfsgreining

Hugbúnaðarverkefni 1 (HBV501G)

Markmið námskeiðsins er að nemendur geti þróað hugbúnaðarkerfi, tekið þátt í hugbúnaðarverkefnum og hugleitt hugbúnaðarþróun.

Einn meginhluti námskeiðsins er þróun hugbúnaðar sem nemendur vinna að í teymum. Kennslan er verkefnismiðuð. Efni námskeiðsins spannar fyrri fasa hugbúnaðarþróunar, stærðarmat, hönnun og forritun og samstæðustjórnun.

Verkefni sem nemendur vinna að í námskeiðinu vinna þeir áfram í námskeiðinu HBV601G Hugbúnaðarverkefni 2.

Hagverkfræði (IÐN502G)

Markmið námskeiðsins er að gera nemendur færa um:

1. Að skilja helstu hugtök bókhalds, kostnaðarreiknings og fjárfestingarfræði.

2. Að nota aðferðir til að meta hagkvæmni verktæknilegra kosta.

3. Að gera reiknilíkan til að meta arðsemi fjárfestinga, virði fyrirtækja og verðleggja hlutabréf og skuldabréf.

Meðal námsefnis er  bókhald, kostnaðarreikningar, greining á fjárstreymi, fjárfestingarfræði, mælikvarðar á arðsemi, þar á meðal núvirði og innri vextir, og gerð  arðsemilíkana. Námskeiðinu lýkur með hópverkefnum þar sem nemendur æfa arðsemimat verkefna.

Verkefnastjórnun (IÐN503G)

Í námskeiðinu eru kennd grunnatriði í verkefnastjórnun. Farið verður yfir grunnhugtök, umhverfi og val verkefna, áætlunargerð, eftifylgni, stjórnun verkefnateyma og lok verkefna. Nemendur fá þjálfun í gerð verkefnaáætlana og að takast á við áskoranir við framkvæmd og lok verkefna. Sérstök áhersla er á notkun verkefnastjórnunar við tækninýsköpun í skipuheildum.

Skýjaforritun og stórgögn (REI504M)

Yfirlit yfir forritun ofurtölva og stórgögn, umhverfi ofurtölva, tölvunet og gagnalausnir og samhliða forritun. Innviðir fyrir geymslu gagna og þjónustur fyrir stórgögn, greining fyrir stórgögn, ”map-reduce” aðferðarfræðin, formuð og hálfformuð gögn. Hagnýt verkefni: (A) Nemendur nota Amazon Web Services (AWS) skýið eða sambærilega lausn til að setja upp fjöltölvuvefþjónustu og samsvarandi kerfi fyrir prófun á henni. (B) Nemendur leysa verkefni á stórgögnum með ”map-reduce” aðferðafræði á AWS skýinu.

Gervigreind (REI505M)

Fjallað er um hugtök, aðferðir og reiknirit á sviði gervigreindar, með áherslu á studdan og óstuddan lærdóm. Forvinnsla og myndræn framsetning gagna. Mat á gæðum líkana og val á líkönum. Línuleg aðhvarfsgreining, næstu nágrannar, stoðvigravélar, tauganet, ákvarðanatré og safnaðferðir. Djúpur lærdómur. Þyrpingagreining og k-means aðferðin. Nemendur útfæra einföld reiknirit í Python og læra á sérhæfða forritspakka. Námskeiðinu lýkur með hagnýtu verkefni.

Formleg mál og reiknanleiki (TÖL301G)

Endanlegar stöðuvélar, regluleg mál og málskipan, staflavélar, samhengisóháð mál og málskipan, Turingvélar, almenn mál og málskipan og helstu eiginleikar þeirra.

Ávarðanleg og listanleg mál, yfirfærsla milli mála, tengsl við ákvörðnarverkefni og sönnun á óleysanleika slíkra verkefna. Flækjustigsflokkarnir P og NP og NP-fullkomleiki. Dæmi um ýmis líkön af reiknanleika.

Tölvugrafík (TÖL105M)

Megináhersla námskeiðsins er á grunnhugtök og stærðfræði fyrir þrívíddar tölvugrafík. Tvívíðar og þvívíðar varpanir. Sjónvörpun. Ljós og litun hluta. Mynsturvörpun, blöndun, holuvörpun. Forritanleg litun. Ferlar og yfirborð. Forritunarverkefni í WebGL.

Tölvunet og öryggi (TÖL305G)

Kennt að jafnaði annað hvert ár.

Námskeiðið er hagnýtt námskeið sem kennir nemendum undirstöðuatriði tölvuneta. Lögð er áhersla á staðarnet, 802.3 og 802.11, og jafnframt á TCP/IP. Farið er í greiningu á þörfum fyrir tölvunet og hönnun þeirra. Fjallað verður um hug- og vélbúnað sem notaður er til útfærslu tölvuneta. Uppsetning og viðhald tölvuneta. Öryggiskerfi fyrir tölvunet. Nemendur læra að greina hættur og bregðast við þeim.

Eðlisfræði 1 V (EÐL102G)

Markmið: Að kynna nemendum aðferðir og grundvallarlögmál aflfræði, stöðufræði og bylgjufræði til þeirrar hlítar að þeir geti beitt þeim við lausn dæma. Námskeiðinu er m.a. ætlað að vera undirstaða í þessum greinum fyrir frekara nám í verkfræði.

Námsefni: Hugtök, einingar, tölur, víddir. Vigrar. Gangfræði. Hreyfifræði agna, tregða, kraftar og lögmál Newtons. Núningur. Vinna og orka og varðveisla orkunnar. Skriðþungi, árekstrar. Agnakerfi, massamiðja. Snúningur stjarfhlutar. Hverfiþungi og hverfitregða. Stöðufræði. Þyngd. Storka og straumefni, jafna Bernoullis. Sveiflur: Hreinar, deyfðar og þvingaðar. Bylgjur. Hljóð.

Verklegt: Gerðar eru 3 verklegar æfingar þar sem viðfangsefnin eru einkum sótt í aflfræði og áhersla lögð á að kynna nemendum verklag við gagnasöfnun og úrvinnslu gagna.  Nemendur skila vinnubókum fyrir verklegu æfingarnar og fá einkunn.

Athugið að kennslubókin er aðgengileg nemendum í gegnum Canvas án endurgjalds.

Grunnatriði siðferðislegrar hökkunar (TÖL605M)

Markmið námskeiðsins er að skoða aðferðir og fræði “siðferðislegra hakkara” (e. ethical hacking), þar sem sjónarhorn árásaraðilans er meginforsenda öryggisgreiningar. “Siðferðislegir hakkarar” nýta sér aðferðarfræði og verkfæri árásaraðila til að greina og betrumbæta öryggi ýmissa kerfa.

Þetta námskeið mun kynna nemendum fyrir helstu tólum og aðferðum sem siðferðislegir hakkarar nýta. Námskeiðið mun hefjast á því að nemendur setji upp öruggt rannsóknarumhverfi með því að nota sýndarvélar. Á tveggja vikna fresti verður ný aðferðarfræði siðferðilegra hakkara kynnt ásamt viðeigandi verkfærum. Nemendur hafa í kjölfarið vikuna framundan til þess að gera tilraunir ásamt að skrásetja hvernig verkfæring voru notuð.

Nemendur þurfa að hafa aðgang að tölvu sem getur keyrt sýndarvél.

Hugbúnaðarverkefni 2 (HBV601G)

Seinna námskeiðið af tveimur (HBV501G og HBV601G) þar sem nemendur vinna að umfangsmiklu hugbúnaðarverkefni í hópvinnu. Fínönnun, útfærsla, prófanir, uppsetning og afhending verkefnisins, sem var þarfagreint og hannað í námskeiðinu Hugbúnaðarverkefni 1. Útfærsla á skrefum. Forritunarstaðlar, skjölun, rekjanleiki og sönnun forrita. Gallalaus forritun. Mat á umfangi hugbúnaðarkerfa. Prófunaraðferðir. Prófanir og gæðamat á hugbúnaðarverkefnum. Rýni á hönnun og útfærslu. Uppsetning og viðtaka kerfa. Líftími hugbúnaðarkerfa. Mælingar í hugbúnaðargerð. Alþjóðlegir staðlar um þróun hugbúnaðar.

Þýðendur (TÖL202M)

Hönnun forritunarmála. Skipulag og hönnun þýðenda. Lesgreinar, ofansæknir og neðansæknir þáttarar, þulusmiðir. Stórt einstaklingsverkefni.

Rökstudd forritun (TÖL212M)

Fjallað er um grundvallaratriði í rökstuddri forritun. Áhersla verður lögð á að nota rökstudda forritun til að þróa traust og sönnuð afbrigði af vel þekktum reikniritum, einkum á sviði leitar, röðunar og tvíleitartrjáa. Meðal reiknirita sem fjallað verður um eru ýmis afbrigði af insertion sort, selection sort, quicksort, helmingunarleit og leit í tvíleitartré. Áhersla verður lögð á að dýpka skilning nemenda á reikniritunum ásamt því að ná góðum tökum á rökstuddri forritun. Að hluta verða verkefni leyst með hjálp sannreyningartóla svo sem Dafny eða OpenJML.

Stýrikerfi (TÖL401G)

Innihald námskeiðsins nær yfir hugtök um stýrikerfi tölva. 

Auk grunn undirstöðu í vélbúnaðarbyggingum tölva og almennri uppbyggingu stýrikerfa verður farið yfir helstu hugtök um ferla (processes) og þræði (threads) ásamt stjórnun þeirra, meginreglur um tímasetningar og tímasetninga fyrir reiknirit, samskipti og samstillingu milli ferla og vandamál sem tengjast sjálfheldu, meginreglur í minnisstjórnun þar á meðal sýndarminni og reiknirit fyrir síðuskipti, skjalakerfi og útfærslu þeirra, sem og stjórnun á geymslu gagna.

Ef tíminn leyfir þá verður fjallað um meginreglur er varða vernd og öryggi og þætti er snúa að dreifingu (t.d. hugtök dreifðra kerfa og dreifðra skjalkerfa). Í þessu námskeiði eru almenn hugtök kynnt sem notuð eru við innleiðingu stýrikerfa og sem forritunarhönnuður þarf að þekkja við hönnun á notendahugbúnaði. 

Í námskeiðinu er ekki fjallað um smáatriði er varða útfærslu stýrikerfa. Þar sem við á eru stýrikerfi eins og Microsoft Windows og POSIX-samhæft UNIX-líkt kerfi (t.d. Linux) notuð sem tilviksrannsókn við útfærslu og stýrikerfisköll. Notkun á stýrikerfis þjónustu innan forritunarmála (t.d. C, C++ og Java) er sýnd á grundvelli forritunar viðmóta (API), sem ríkjandi kerfis bókasöfn (system libraries) bjóða upp á.

Greining reiknirita (TÖL403G)

Aðferðir við hönnun og greiningu á tímaflækju reiknirita. Kynning og greining á reikniritum fyrir röðun, leit, netafræði og fylkjareikning. Torleysanleg vandamál, nálgunaraðferðir og slembin reiknirit.

Greining og hönnun stafrænna rása (TÖV201G)

Virkni og notkun flétturása, kóðara, afkóðara, lesminni (ROM), og forritanlegs rökrásabúnaðar við rásahönnun. Hönnun og greining reiknirása, samleggjari/frádragari, margfaldari. Hönnun og greining runurása bæði samhæfðar og ósamhæfðar. Farið verður í hönnun rása með D og JK vippum. Sérstakar runurásir, teljarar og hliðrunargisti. Meðhöndlun og notkun stöðuvéla (FSM). Stöðulágmörkun, stöðustjórnun, stöðukennsl. Runuvinnsla með stöðuvélum. Grundvallaratriði í notkun vélhermimáls (HDL) og forritanlegs rása búnaðar (FPGA) í samræmi við fyrrnefndar rásir. Nemendur munu skila sjö verklegum verkefnum sem byggja á stafrænni rásahönnun, Verilog og FPGA. Auk þess munu nemendur kynnast eldri aðferðum með notkun á tengibrettum til að byggja rásir nokkurra valinna verkefna.

Á síðari vikum námskeiðsins verður farið í hönnun flóknari rása með verilog og FPGA. Fjallað verður um kerfi á kubb ofl. Sem tengist notkunn FPGA og Xilinx hönnunarumhverfisins.

Markmið: Meðal markmiða námskeiðsins er að nemendur átti sig á grundvallaratriðum á greiningu og hönnun stafrænna rása og öðlist reynslu og þekkingu á leiðandi aðferðum við hönnun stafrænna rása.

Örugg hugbúnaðargerð (HBV506M)

Örugg hugbúnaðargerð felur í sér að greina og draga úr veikleikum til að minnka ógnun við hugbúnað. Nemendur öðlast í þessu námskeið skilning á öruggum vinnubrögðum í hugbúnaðargerð og hvernig hægt er að beita þeim í gegnum allan þróunarferil hugbúnaðar.

Nemendur munu (í teymum) hanna, þróa og viðhalda vefforriti fyrir viðskiptavin í samræmi við öruggar hugbúnaðarverkfræðilegar meginreglur. Nemendur munu sýna skilning sinn og verklega hæfni á öryggismati (hvítkassi og svartkassi) með því að prófa eigin forrit og forrit annarra teyma fyrir veikleika gegn OWASP 10 - helstu hættum vefforrita.

Því er gert ráð fyrir að nemendur hafi þekkingu á þróun vefforrita með notkun JavaScript.

Eðlisfræði 2 V (EÐL201G)

Kennt í 12 vikur. Markmið: Að kynna nemendum aðferðir og grundvallarlögmál rafsegulfræði og ljósfræði. Námsefni: Hleðsla og rafsvið. Lögmál Gauss. Rafmætti. Þéttar og rafsvarar. Rafstraumur, viðnám, rafrásir. Segulsvið. Lögmál Ampères og Faradays. Span. Rafsveiflur og riðstraumur. Jöfnur Maxwells. Rafsegulbylgjur. Endurkast og ljósbrot. Linsur og speglar. Bylgjuljósfræði. Verklegt: Gerðar eru fjórar tilraunir í ljósfræði og almennri rafsegulfræði. Nemendur skila vinnubókum fyrir allar tilraunir og formlegri skýrslu um eina tíma tilraun.

Mentor í Spretti (GKY001M)

Í námskeiðinu felast verkefni nemenda í  að vera mentor fyrir þátttakendur á framhalds- og háskólastigi í verkefninu „Sprettur”. Mentorar sinna því mikilvæga starfi að styðja og hvetja aðra nemendur í námi og félagslífi. Hlutverk mentora er að skapa uppbyggjandi samband við þátttakendur, vera jákvæð fyrirmynd og taka þátt í sameiginlegum viðburðum skipulögðum í Spretti. Mentorhlutverkið snýst um tengslamyndun og samveru sem felur í sér skuldbindingu gagnvart nemendunum sem mentor styður.  

Sprettur er verkefni sem styður við nemendur með erlendan bakgrunn sem vilja fá auka stuðning til að standa sig betur í námi. Nemendur í námskeiðinu eru mentorar þátttakenda og eru þeir tengdir saman með hliðsjón af sameiginlegu áhugasviði. Mentorar vinna saman í hópum til að styðja við þátttakendur. Mentorar skipuleggja samveru og verja þremur klukkustundum á mánuði (frá ágúst fram í maí) með þátttakendum í Spretti, þremur klukkustundum í mánuði í heimavinnuhópi og mæta í fimm málstofur sem dreifast yfir skólaárið. Nemendur skila dagbókarfærslum á Canvas einu sinni á önn og þurfa að hanna og framkvæma námsupplifun fyrir þátttakendurna í Spretti einu sinni á námskeiðinu. Dagbókarfærslur byggjast á lesefni og hugleiðingum nemenda um mentorstarfið. Námskeiðið er kennt á íslensku og ensku.  

Nemendur fylla út rafrænt umsóknareyðublað og umsjónarkennari hefur samband við umsækjendur. 

Frekari upplýsingar um verkefnið „Sprettur” má nálgast hér: www.hi.is/sprettur 

Viðhald hugbúnaðar (HBV103M)

The first part of the course is based on flipped-classroom style weekly reading, videos and assignments on:

• Evolution of Software and Lehman’s laws,
• Maintenance processes,
• Metrics useful for maintenance,
• Software analysis,
• Re-engineering,
• Reverse engineering,
• Code Smells & Refactoring,
• Basics of (Regression-)Testing,
• Design principles to support change & Design Patterns,
• Tools for software maintenance (including advanced features of an IDE).

In the second part of this course, these techniques will be applied in order to maintain a real legacy software written in Java.

Note: while this is an "M" course, it is rather on MSc. level. BSc. students who take this course need to be advanced in their BSc. studies and you need solid Java programming experience: we will maintain a complex software and being able to understand how such a grown software works and to fix bugs is even more difficult to write such a software from scratch. Hence, you should have passed HBV501G Software Project 1, preferably even HBV601G Software Project 2. (It is impossible to maintain a software if you would not even be able to develop it.) Also, BSc. students should not take this course, if they know that they are going to continue with MSc. studies, because they might then experience a lack of suitable courses in their MSc. studies.

Lokaverkefni (HBV261L)

Lokaverkefni er námskeið þar sem nemendur vinna verkefni undir handleiðslu kennara innan námsbrautar í Tölvunarfræði. Nemendur þurfa sjálfir að finna verkefni og kennara sem er tilbúinn að leiðbeina þeim. Verkefnum er ekki úthlutað. Í flestum tilfellum er unnið að forriti/vefsíðu/appi en það er ekki skilyrði. Verkefni lýkur með skýrslu sem skilað er til kennarans og hann gefur í kjölfarið einkunn.

Viðmiðunarregla er að 6 eininga verkefni sé þriggja vikna vinna og 8 einingar svari til fjögurra vikna, og þar með eru gerðar meiri kröfur til 8 eininga verkefna.

Upplýsingar um skil á verkefni
Skil eru í maí fyrir júníbrautskráningu
Skil eru í september fyrir októberbrautskráningu
Skil eru í janúar fyrir febrúarbrautskráningu

Í upphafi misseris koma nemandi og leiðbeinandi sér upp tímalínu um skil á verkefni

Skil á fullbúnu verkefni til leiðbeinanda/umsjónarkennara er 10. maí/ september/ janúar

Skil nemanda inn á Skemmu eru í síðasta lagi 30. maí/ september/ janúar og senda þarf staðfestingu um samþykkt skil á nemvon@hi.is

Einkunn frá leiðbeinanda á að hafa borist skrifstofu í síðasta lagi 30. maí/ september/ janúar

Bent er á að þátttaka í þessu námskeiði útilokar þátttöku í námskeiðunum HBV004G, HBV502G og HBV603G starfsnámi.

Gæðastjórnun í hugbúnaðargerð (HBV505M)

The course is based on flipped-classroom style weekly reading, videos and assignments on software quality management-related aspects of the Software Development Life Cycle (SDLC) and by covering some parts of DevOps also Application Lifecycle Management (ALM). In parallel to theoretical concepts, the application of source code-centric tools relevant for quality management is trained by applying them to a codebase throughout the course using the ALM tool GitLab. The concepts and tools are independent from a particular software development process and cover:

• Software Quality Foundations, Software Quality Models.
• Configuration management (CM) and traceability:
  • Version management (e.g. Git),
  • Change management (e.g. issue tracker),
  • Build management (e.g. Maven),
  • Release management
• Continuous integration (CI) (e.g. using GitLab pipelines).
• Integrating testing into a CI pipeline (e.g. using JUnit).
• Reviews (e.g. tool-based code review)
• Static analysis (e.g. SonarCloud)
• Metrics for quality management (product and process metrics).
• Quality standards:
  • Software Life Cycle Processes,
  • Software Process Improvement and maturity assessment (e.g. CMMI).
• Using a Wiki to create a quality plan and other documentation.

Students chose their own codebase (e.g. from the Software Project 1 or 2 course) to which they apply the concepts and tools tought in this course. While the teaching material and tools assumes Java as programming language, students are welcome to use a codebase in another programming language.

Software quality in agile development processes is covered by student presentations at the end of the course.

Note: while this is an "M" course, it is rather on MSc. level. BSc. students who take this course need to be advanced in their BSc. studies and you need Java programming experience. Hence, you should have passed HBV501G Software Project 1, preferably even HBV601G Software Project 2.
Also, BSc. students should not take this course, if they know that they are going to continue with MSc. studies, because they might then experience a lack of suitable courses in their MSc. studies.

Greining ferla og kerfa (IÐN301G)

Markmiðið með námskeiðinu er að undirbúa nemendur í að greina ferla og kerfi. Farið verður í hvernig ferlum er lýst með það að markmiði að greina þá. Farið er í kortun ferla og hvernig uppgötva megi ferla. Farið verður í 3 aðferðir til að uppgötva ferla: staðreyndaleið, viðtalsleið og vinnustofuleið. Þegar ferlar liggja fyrir er hægt að greina þá. Farið er í bæði megindlegar og eigindlegar aðferðir við greiningu ferla. Kynntar verða eigindlegu aðferðirnar virðisgreining, rótargreining og áhættumat. Kynntar verða megindlegu aðferðirnar árangursmælingar, flæðisgreining, biðraðafræði og hermun.

Seinni hluti námskeiðsins fjallar um kerfi og greiningu kerfa. Fjallað verður um hvernig hægt er að lýsa heiminum sem kerfi. Farið verður í aðferðir til að lýsa kerfum eins og orsakarit og birgðir-og-flæði (e. stock and flow).  Í lok námskeiðs verða bæði ferli og kerfi hermd.

Vörustjórnun og umhverfismál (IÐN510M)

Tilgangur námskeiðsins er að fara í gegnum grundvallaratriði lokistik (vörustjórnunar), stjórnun aðfangakeðja og áhrif þeirra á umhverfið. Námskeiðið er í raun þríþætt þar sem byrjað er á að fara í gegnum þá þætti sem snúa að innkaupum á vörum og þjónustu ásamt stjórnun birgða. Því næst er tekið á þeim þáttum sem snúa að flutningum og dreifingu. Að lokum er áhrifum aðfangakeðja á umhverfi gert greinagóð skil og öllum þremur þáttunum steypt saman í eina heild sem styður sjálfbærni.

Námskeiðið er kennt með því fyrirkomulagi að haldnir eru fyrirlestrar til að útskýra fræðilega undirstöðu greinarinnar en til að fá aukinn skilning á einstökum þáttum verða reiknuð dæmi sem skila þarf inn til yfirferðar. Samhliða fyrirlestrum og dæmatímum verður unnið með fyrirtækjaspil í hópum auk þess að spila „The Beer game“ - þar sem þáttakendur leika hlutverk fyrirtækja sem og taka þátt í raunhæfum hlutverkum stjórnenda.

Greining á frammistöðu tölvukerfa (REI503M)

Kennt að jafnaði annað hvert ár.

Námskeiðið fjallar um gerð líkana af tölvu- og samskiptakerfum auk mælinga á frammistöðu. Stór dreifð tölvukerfi afgreiða þjónustubeiðnir (t.d. vefsíðufyrirspurnir) samhliða til að lágmarka svartíma og hámarka ánægju notenda. Aðrir mælikvarðar á frammistöðu eru afköst (afgreiddar beiðnir á tímaeiningu) og uppfylling samkomulags um þjónustustig. Meðal námsefnis eru stærðfræðilegar aðferðir til að meta og skilja slík kerfi, bæði veikleika þeirra og styrkleika, til dæmis varðandi hönnun, verkröðunaraðferðir og rekstrarstefnur. Umfjöllunin byggir á aðferðum aðgerðagreiningar, sér í lagi biðraðafræði og Markov-ferlum (fyrirfram þekking á þessum aðferðum er ekki krafa).

Eindregið er mælt með mætingu í tíma.

Skýjaforritun og stórgögn (REI504M)

Yfirlit yfir forritun ofurtölva og stórgögn, umhverfi ofurtölva, tölvunet og gagnalausnir og samhliða forritun. Innviðir fyrir geymslu gagna og þjónustur fyrir stórgögn, greining fyrir stórgögn, ”map-reduce” aðferðarfræðin, formuð og hálfformuð gögn. Hagnýt verkefni: (A) Nemendur nota Amazon Web Services (AWS) skýið eða sambærilega lausn til að setja upp fjöltölvuvefþjónustu og samsvarandi kerfi fyrir prófun á henni. (B) Nemendur leysa verkefni á stórgögnum með ”map-reduce” aðferðafræði á AWS skýinu.

Gervigreind (REI505M)

Fjallað er um hugtök, aðferðir og reiknirit á sviði gervigreindar, með áherslu á studdan og óstuddan lærdóm. Forvinnsla og myndræn framsetning gagna. Mat á gæðum líkana og val á líkönum. Línuleg aðhvarfsgreining, næstu nágrannar, stoðvigravélar, tauganet, ákvarðanatré og safnaðferðir. Djúpur lærdómur. Þyrpingagreining og k-means aðferðin. Nemendur útfæra einföld reiknirit í Python og læra á sérhæfða forritspakka. Námskeiðinu lýkur með hagnýtu verkefni.

Inngangur að gagnaöryggi (TÖL029M)

Þetta námskeið byggir grunn að skilningi á lykilatriðum sem tengjast verndun upplýsinga, ákvörðun á verndarstigi og viðbrögð við öryggisatvikum, og hönnun á samræmdu raunhæfu upplýsingaöryggiskerfi, með viðeigandi innbrotsskynjun og tilkynningum.  Tilgangur námskeiðsins er að veita nemandanum yfirsýn yfir svið upplýsingaöryggis og upplýsingatrygginga.  Nemendur munu sjá ýmsar gerðir öryggisaðgerða, aðferðafræða og verklags.  Umfjöllunin mun taka fyrir skoðun og vernd upplýsingaeigna, uppgötvun og viðbrögð við ógnum við upplýsingaeignir, verklagsreglur fyrir og eftir öryggisatvik, tæknileg og stjórnunarleg viðbrögð og yfirlit yfir skipulagningu upplýsingaöryggis og starfsmannahald.  Meðal efnis eru áhættumat, auðkenning, veföryggi, öryggi forrita, persónuvernd og gagnavernd, kynning á dulmálskóðun, öryggisarkitektúr, eldveggir og önnur tæki og netskipulag.

Forritun snjalltækja (TÖL103M)

Námskeiðið býður upp á verklegan inngang að hönnun og forritun hugbúnaðar í örtölvum í samhengi IoT snjalltækja.

Svona tækieiga oft marga inn- og úttakspinnar, eitthvað af skyndiminni og geymsluminni, og þráðlausan samskiptabúnað (WiFi, Bluetooth, o.s.frv.).

Þessir eiginleikar gera tækin tilvalin fyrir ýmiss verkefni sem tengjast gagnasöfnun, úrvinnslu gagna og þráðlausum samskiptum.

Í þessum áfanga verða lögð fyrir verkefni aðra hverja viku sem tengjast meðal annars samskiptum yfir raðbundin (serial) tengi, gagnasöfnun og úrvinnsla, hönnun forrita fyrir rauntíma-stýrikerfi (RTOS), þráðlaus samskipti og TCP/IP samskipti sem miðlari/biðlari.

Áfanganum lýkur síðan með lokaverkefni sem er byggt á þessum þáttum.

Vefforritun 1 (TÖL107G)

Kenndur er grunnur í vefsmíði með áherslu á framenda: HTML, CSS og JavaScript. Staðlar, venjur og það sem þarf til að útbúa góða vefi. Hönnun, útlit og að vinna með hönnunarskjöl. Forritun í túlkaða forritunarmálinu JavaScript, tenging þess við vafra og tól tengdum því. HTTP staðallinn kynntur. Verkefni felast í smíði vefja þar sem nýta skal það sem kennt er.

Tölvunet og öryggi (TÖL305G)

Kennt að jafnaði annað hvert ár.

Námskeiðið er hagnýtt námskeið sem kennir nemendum undirstöðuatriði tölvuneta. Lögð er áhersla á staðarnet, 802.3 og 802.11, og jafnframt á TCP/IP. Farið er í greiningu á þörfum fyrir tölvunet og hönnun þeirra. Fjallað verður um hug- og vélbúnað sem notaður er til útfærslu tölvuneta. Uppsetning og viðhald tölvuneta. Öryggiskerfi fyrir tölvunet. Nemendur læra að greina hættur og bregðast við þeim.

Samskipti manns og tölvu (TÖL502M)

Kennt að jafnaði annað hvert ár.

Markmið námskeiðsins er að leyfa nemendum að kafa dýpra í einstaka afmarkaða þætti í samskiptum manns og tölvu heldur en gert er námskeiðinu Viðmótsforritun HBV201G sem er inngangsnámskeið í faginu.   Þættirnir eru hönnun notendaviðmóta með frumgerðum, forritun snjalltækja og viðtaka notenda á hugbúnaðinum.  Lögð verður áhersla á mismunandi tækni og tól til að gera frumgerðir. Áhersla er á hönnun notendaviðmóta og útfærsla þeirra í snjallsíma eða spjaldtölva (native).  Þróunarferli miðast allt við að tryggja aðgengileika búnaðarins og viðtöku notenda. Nemendur vinna að litlum einstaklingsverkefnum en einnig að stærri verkefnum í hópum. 

Dreifð kerfi (TÖL503M)

Kennt að jafnaði annað hvert ár.

This course covers concepts of distributed systems and their application. Besides foundations on characteristics and models of distributed systems, networking and security, this includes network-based low-level interprocess communication, high-level remote procedure calls, the distributed object model and remote method invocation, services relevant in distributed systems (such as name services or distributed file systems), selected topics of distributed algorithms and their implementation (such as coordination, agreement,  time, replication). Furthermore, special types of distributed systems may be covered (such as peer-to-peer systems, Cloud and Grid computing).  Current technologies (such as Java RMI, Web Services, gRPC) are used as case study and as platform for developing distributed applications using high-level programming languages (such as Java).

Note: while this is an "M" course, it is rather on MSc. level. BSc. students who take this course need to be advanced in their BSc. studies. (E.g. we will implement middleware in Java, so you should have programming experience well beyond "TÖL101G Computer Science 1". As a middleware adds functionality on top of an Operating System, you should have also passed TÖL401G Operating Systems.)

Inngangur að djúpum tauganetum (TÖL506M)

Í þessu námskeiði förum við yfir djúp tauganet og helstu aðferðir tengdar þeim. Kynnt verða net og aðferðir fyrir mynd, hljóð og textagreiningu. Lögð verður áhersla á hagnýtingu lausna og munu nemendur t.a.m. kynna verkefni eða grein á þessu sviði.

Málstofa í tölvunarfræði (TÖL606M)

Nemendur í tölvunarfræði, hugbúnaðarverkfræði og reikniverkfræði sækja vikulega málstofu þar sem þeir flytja fyrirlestra um rannsóknarverkefni sín eða önnur áhugaverð viðfangsefni sem tengjast þeim.

Starfsþjálfun (HBV004G)

Markmið starfsþjálfunarinnar er að þjálfa nemendur í að vinna störf undir handleiðslu sérfræðinga hjá fyrirtækjum og stofnunum.  Verkefnin skulu tengjast einhverjum þeirra námsgreina sem kenndar eru við Námsbraut í tölvunarfræði og skulu þau reyna á þá þekkingu og færni sem nemandi hefur aflað sér þar.

Við upphaf starfstímans skal nemandi senda tölvupóst á umsjónarkennara sem skráður er hér í UGLA til að koma á sambandi.

Í lok starfstímans skal nemandi skila til umsjónarmanns:

• Skýrslu (u.þ.b. 3 bls.) um meginverkefni nemandans og tengslum þess við nám hans í tölvunarfræði/hugbúnaðarverkfræði. Í skýrslunni skal einnig koma fram hvaða námsmarkmið nemandinn setti sér í upphafi starfsþjálfunar og hvernig hann náði þeim í verkefnunum.
• Dagbók sem nemandi hefur haldið meðan á starfstíma stóð. Dagbókin skal fela í sér vikulegt yfirlit þar sem fram kemur hver verkefni vikunnar voru og hve miklum tíma var varið í einstök verkefni.

Starfsþjálfun telst ekki lokið fyrr en umsjónarmaður fyrirtækis/stofnunar hefur skilað staðfestingu á ástundun nemandans og verkefnavinnu og umsjónarmaður starfsþjálfunar hjá Námsbraut í tölvunarfræði  hefur staðfest skilin.

Einkunnagjöf er staðið/fall.

ATH: Nemendur geta ekki skráð sig sjálfir í þetta námskeið heldur eru þeir skráðir í námskeiðið þegar þeir hafa tryggt sér starfsþjálfunarstöðu hjá fyrirtæki eða stofnun.

Allar starfsþjálfunarstöður verða auglýstar sérstaklega á Tengslatorgi (www.tengslatorg.hi.is ) í upphafi hvers kennslumisseris og nemendur sækja sérstaklega um að komast í starfsþjálfun.  Umsókn ásamt ferilskrá og kynningarbréfi, þar sem nemendur tilgreina hvers vegna þeir hafa áhuga á að komast í starfsþjálfun hjá viðkomandi fyrirtæki skal senda á von-starfsthjalfun@hi.is

Bent er á að þátttaka í þessu námskeiði útilokar þátttöku í námskeiðunum HBV502G og HBV603G starfsnámi og lokaverkefni HBV261L.

Gæðastjórnun í hugbúnaðargerð (HBV204M)

The course is based on flipped-classroom style weekly reading, videos and assignments on software quality management-related aspects of the Software Development Life Cycle (SDLC) and by covering some parts of DevOps also Application Lifecycle Management (ALM). In parallel to theoretical concepts, the application of source code-centric tools relevant for quality management is trained by applying them to a codebase throughout the course using the ALM tool GitLab. The concepts and tools are independent from a particular software development process and cover:

• Software Quality Foundations, Software Quality Models.
• Configuration management (CM) and traceability:
  • Version management (e.g. Git),
  • Change management (e.g. issue tracker),
  • Build management (e.g. Maven),
  • Release management
• Continuous integration (CI) (e.g. using GitLab pipelines).
• Integrating testing into a CI pipeline (e.g. using JUnit).
• Reviews (e.g. tool-based code review)
• Static analysis (e.g. SonarCloud)
• Metrics for quality management (product and process metrics).
• Quality standards:
  • Software Life Cycle Processes,
  • Software Process Improvement and maturity assessment (e.g. CMMI).
• Using a Wiki to create a quality plan and other documentation.

Students chose their own codebase (e.g. from the Software Project 1 or 2 course) to which they apply the concepts and tools tought in this course. While the teaching material and tools assumes Java as programming language, students are welcome to use a codebase in another programming language.

Software quality in agile development processes is covered by student presentations at the end of the course.

Note: while this is an "M" course, it is rather on MSc. level. BSc. students who take this course need to be advanced in their BSc. studies and you need Java programming experience. Hence, you should have passed HBV501G Software Project 1, preferably even HBV601G Software Project 2.
Also, BSc. students should not take this course, if they know that they are going to continue with MSc. studies, because they might then experience a lack of suitable courses in their MSc. studies.

Prófun hugbúnaðar (HBV205M)

Usually taught every second year (typically in spring of odd years, but this is subject to change in 2024).

This course covers testing of software. Besides basic foundations, this includes both dynamic testing where the software under test is executed and static approaches where software and other artefacts produced during software development are investigated without executing them. The focus of this course is, however, on dynamic testing. The different levels of testing (component test, integration test, system and acceptance test) and types of testing (functional, non-functional, structural and change-related) are covered as well as different test design techniques (black box test and white box test). Furthermore, test management and principles of test tools are discussed. In addition, selected advanced topics may be covered (for example, test languages, testing of object-oriented software, test process improvement, agile testing). The covered topics are a superset of the International Software Testing Qualifications Board's (ISTQB) certified tester foundation level syllabus.

The first part of the course is based on flipped-classroom style weekly reading, videos and assignments. In the second part, students work independently on some project related to software testing.

Note: while this is an "M" course, it is rather on MSc. level. BSc. students who take this course need to be very advanced in their BSc. studies, i.e. have experience in programming languages, software development and applying it in some software project, but should also be familiar with theoretical concepts from automata theory.

Also, BSc. students should not take this course, if they know that they are going to continue with MSc. studies, because they might then experience a lack of suitable courses in their MSc. studies.

Lokaverkefni (HBV261L)

Lokaverkefni er námskeið þar sem nemendur vinna verkefni undir handleiðslu kennara innan námsbrautar í Tölvunarfræði. Nemendur þurfa sjálfir að finna verkefni og kennara sem er tilbúinn að leiðbeina þeim. Verkefnum er ekki úthlutað. Í flestum tilfellum er unnið að forriti/vefsíðu/appi en það er ekki skilyrði. Verkefni lýkur með skýrslu sem skilað er til kennarans og hann gefur í kjölfarið einkunn.

Viðmiðunarregla er að 6 eininga verkefni sé þriggja vikna vinna og 8 einingar svari til fjögurra vikna, og þar með eru gerðar meiri kröfur til 8 eininga verkefna.

Upplýsingar um skil á verkefni
Skil eru í maí fyrir júníbrautskráningu
Skil eru í september fyrir októberbrautskráningu
Skil eru í janúar fyrir febrúarbrautskráningu

Í upphafi misseris koma nemandi og leiðbeinandi sér upp tímalínu um skil á verkefni

Skil á fullbúnu verkefni til leiðbeinanda/umsjónarkennara er 10. maí/ september/ janúar

Skil nemanda inn á Skemmu eru í síðasta lagi 30. maí/ september/ janúar og senda þarf staðfestingu um samþykkt skil á nemvon@hi.is

Einkunn frá leiðbeinanda á að hafa borist skrifstofu í síðasta lagi 30. maí/ september/ janúar

Bent er á að þátttaka í þessu námskeiði útilokar þátttöku í námskeiðunum HBV004G, HBV502G og HBV603G starfsnámi.

Vefforritun 2 (HBV403G)

Framhald af vefforritun I þar sem farið er í umhverfi bakendaforritunar í node.js, smíði og tengingar við vefþjónustur og tengingar við gagnagrunna. Framenda forritasöfn/framework notuð til að setja upp framenda (React, Ember, Vue). Öryggismál sem huga þarf að þegar vefverkefni eru unnin. Verkefni felast í smíði vefja þar sem nýta skal það sem kennt er.

Starfsnám í tölvunarfræði og hugbúnaðarverkfræði - grunnnám (HBV603G)

Markmiðið er að tryggja starfsþjálfun undir faglegri handleiðslu reyndra stjórnenda hjá fyrirtækjum eða opinberum stofnunum sem tengjast tölvunarfræði eða hugbúnaðarverkfræði.
Hlutverk nemanda
• Vinna við eitt veigamikið verkefni
• Nemandi er í 6 mánaða starfsnámi.
Nemandi má ekki taka Lokaverkefni (TÖL261L eða HBV261L)

Verkefni nemanda
Hér getur verið um að ræða þarfagreiningu, forritshönnun,  forritun, prófanir hugbúnaðar, uppsetningu og rekstur tölvukerfa.  Verkefnið skal vera á sviði tölvunarfræði eða hugbúnaðarverkfræði og reyna á þá þekkingu og færni sem nemandi hefur aflað sér í náminu. Lokaafurð starfsþjálfunar skal skilgreina í verkefnalýsingu, þ.e. hvað lokaskýrsla skuli innihalda. Umsjónarkennari starfsnáms þarf að samþykkja tillögu að verkefni.
Hlutverk fyrirtækis/stofnunar
• Fyrirtæki lætur nemanda í té vinnuaðstöðu og tilnefnir umsjónarmann innan fyrirtækis sem fylgist með vinnu hans.
• Nemandi er launþegi fyrirtækis og greiðir fyrirtæki nemanda laun samkvæmt nánari samningi þar um.
• Starfsþjálfun er þrír til sex mánuðir í fullu starfi.
• Í upphafi starfsþjálfunar liggur fyrir hvaða verkefni nemandi á að sinna. Verkefnislýsing skal fylgja með samningi.
• Umsjónarmaður og nemandi hittast reglulega og meta framvindu verkefna.
Fullnusta starfsþjálfunar
• Í lok starfstímans skal skila til umsjónarkennara:
1. Lokaskýrslu nemanda (skv. skilgreiningu í verkefnislýsingu). Ef um er að ræða 24 ECTS námskeið  skal nemandi skila áfangaskýrslu um miðbik starfsnámsins.
2. Dagbók sem nemandi hefur haldið meðan á starfsþjálfun stóð. Dagbókin skal fela í sér vikulegt yfirlit þar sem fram kemur hver verkefni vikunnar voru og hve miklum tíma var varið í einstök verkefni.
3. Staðfesting umsjónarmanns á ástundum nemanda og verkefnavinnu í lok starfsþjálfunar.
• Námskeiðinu telst ekki lokið fyrr en bæði umsjónarkennari starfsnáms og umsjónarmaður starfþjálfunar telja að viðunandi árangur hafi náðst og áfanga- og lokaskýrslum verið skilað.

Bent er á að þátttaka í þessu námskeiði útilokar þátttöku í námskeiðunum HBV004G og HBV502G starfsnámi og lokaverkefni HBV261L.

Aðgerðir í skipuheildum (IÐN201G)

Markmiðið með námskeiðinu er að undirbúa nemendur í að nálgast skipuheildir sem röð af aðgerðum.  Farið verður í hvernig lýsa megi skipuheildum sem safni af aðgerðum sem framkvæma virðisaukandi verk.  Fyrirtæki verða heimsókn og þeim lýst af nemendum.  Farið verður í aðferðir til að lýsa aðgerðum, greina aðgerðir og setja fram aðgerðayfirlit. Nemendur kynnast greiningaraðferðum sem notaðar eru við lýsingu og greiningu aðgerða, túlka niðurstöður þeirra og miðla munnlega og skriflega.

Inngangur að gagnavísindum (REI202G)

Í námskeiðinu er fjallað um grunnaðferðir í gagnavísindum auk þess sem kennt er á forritasöfn á borð við numpy, pandas, matplotlib og scikit-learn.

Námskeiðið er í 6 hlutum:

1. Kynning á Python forritunarmálinu.
2. Umbreyting hrágagna á form sem auðvelt er að vinna með.
3. Forkönnun á gögnum og myndræn framsetning á þeim.
4. Bestun.
5. Klösun og víddarfækkun.
6. Aðhvarfsgreining og flokkun.

Hverjum hluta lýkur með verkefni.

Athugið að námslega skörun er við REI201G Stærðfræði og reiknifræði og geta bæði námskeiðin ekki gilt til sömu gráðunnar.

Forritun ofurtölva (REI204M)

Hönnun samhliða tölva og ýmis líkön af forritun þeirra. Högun tölva út frá samnota minni og út frá dreifðu minni með skeytaflutningi. Samhliða forritun tölvuklasa með MPI og samhliða forritun fjölkjarna tölva með OpenMP. Samhliða reiknirit við röðun, leit og ýmis verkefni í línulegri algebru og netafræði.

For a longer description refer to the English page.

Course topics will be very similar like HPC in Fall 2019:

http://www.morrisriedel.de/hpc-course-fall-2019

Lífsferill gervigreindarlausna (REI603M)

Í þessu námskeiði kynnumst við lífsferli gervigreindarlausna og hvernig þróa á rekstrarhæfar lausnir.

Við förum yfir eftirfarandi skref lífsferilsins:
- Gagnasöfnun og undirbúningur gagna
- Breytuval
- Þjálfun líkana
- Mat á gæðum líkana
- Líkön sett í rekstur
- Líkön sem þjónustur
- Hvernig vakta á líkön
- Hvernig viðhalda á líkönum
Yfir misserið verða þrjú stór verkefni þar sem nemendur keppa um að smíða gervigreindarlausnir.

Málstofa í gervigreind (TÖL028M)

Nemendur setji sig inn í tiltekið efni á sviði gervigreindar, t.d. aðferðir á sviði tölvusjónar, máltækni, gagnaforvinnslu, gagnagerðar, eða annarra sviða, með því að lesa viðeigandi fræðilegt efni.

Þeir halda síðan fyrirlestur um efnið fyrir kennara námskeiðsins og samnemendur. Nemendur geta stungið upp á efni sem þeir hafa áhuga á eða valið efni sem kennari stingur upp á.

Samhliða því að læra umfjöllunarefnið er markmið námskeiðsins að æfa sig í munnlegri framsetningu.

Kennslutímabil sumarnáms: júní- ágúst

Stýrikerfi (TÖL401G)

Innihald námskeiðsins nær yfir hugtök um stýrikerfi tölva. 

Auk grunn undirstöðu í vélbúnaðarbyggingum tölva og almennri uppbyggingu stýrikerfa verður farið yfir helstu hugtök um ferla (processes) og þræði (threads) ásamt stjórnun þeirra, meginreglur um tímasetningar og tímasetninga fyrir reiknirit, samskipti og samstillingu milli ferla og vandamál sem tengjast sjálfheldu, meginreglur í minnisstjórnun þar á meðal sýndarminni og reiknirit fyrir síðuskipti, skjalakerfi og útfærslu þeirra, sem og stjórnun á geymslu gagna.

Ef tíminn leyfir þá verður fjallað um meginreglur er varða vernd og öryggi og þætti er snúa að dreifingu (t.d. hugtök dreifðra kerfa og dreifðra skjalkerfa). Í þessu námskeiði eru almenn hugtök kynnt sem notuð eru við innleiðingu stýrikerfa og sem forritunarhönnuður þarf að þekkja við hönnun á notendahugbúnaði. 

Í námskeiðinu er ekki fjallað um smáatriði er varða útfærslu stýrikerfa. Þar sem við á eru stýrikerfi eins og Microsoft Windows og POSIX-samhæft UNIX-líkt kerfi (t.d. Linux) notuð sem tilviksrannsókn við útfærslu og stýrikerfisköll. Notkun á stýrikerfis þjónustu innan forritunarmála (t.d. C, C++ og Java) er sýnd á grundvelli forritunar viðmóta (API), sem ríkjandi kerfis bókasöfn (system libraries) bjóða upp á.

Keppnisforritun (TÖL607G)

Í þessu námskeiði fá nemendur þjálfun í að leysa reikniverkefni af þeim toga sem oft koma fyrir í forritunarkeppnum. Færni til að leysa slík verkefni nýtist ekki eingöngu við keppnisforritun heldur kemur hún einnig að gagni við almenna forritun, í framhaldsnámskeiðum í tölvunarfræði og í atvinnuviðtölum.

Fjallað verður um helstu reiknirit og lausnaraðferðir sem koma við sögu í keppnisverkefnum. Ennfremur verður farið í netreiknirit, strengjavinnslu, reiknirúmfræði og talningafræði. Nemendur verja mestum hluta tíma síns í að forrita lausnir á keppnisverkefnum.

Hagnýt dulritunarfræði (TÖL213M)

Í þessu námskeiði munu nemendur taka hagnýta nálgun til að skilja byggingu og brot á dulritunarútfærslum. Fyrri helmingur þessarar einingar mun fela í sér forritunarverkefni en seinni helmingurinn mun fela í sér tvö smáverkefni.

Byrjað er á einföldum aðferðum sem notaðar eru sögulega, eins og Caeser dulmálið, yfir í nútíma samskiptareglur sem notaðar eru til að tryggja fjarskipti alls staðar, eins og AES og TLS. Nemendur munu einnig íhuga hlutverk dulritunar í samfélaginu víðar með því að rannsaka hvernig umdeild tækni eins og dulkóðun frá enda til enda og Tor hefur áhrif á réttlæti og friðhelgi einkalífs, og dreifðar höfuðbækur geta gert valddreifingu lykilkerfa í samfélaginu. Að lokum lýkur námskeiðinu með smáverkefni sem sýnir hagnýta árás gegn dulmálsútfærslu með siðferðilegum innbrotsaðferðum t.d. Wi-Fi-sprunga, þvingun lykilorða eða man-in-the-middle árás á dulkóðaða tengingu til að þefa niður umferð.

Námskeiðið mun ná yfir eftirfarandi áfanga:

1) Byggja dulmáls frumstæður á forritunarmáli að eigin vali.

2) Bestu starfsvenjur umsóknaverkfræði.

3) Rannsóknarverkefni í dulritun og samfélagi.

4) Hagnýtt verkefni í siðferðilegu hakki á dulritun.