| | SLO | ENG | Cookies and privacy

Bigger font | Smaller font

Search the digital library catalog Help

Query: search in
search in
search in
search in
* old and bologna study programme

Options:
  Reset


1 - 10 / 13
First pagePrevious page12Next pageLast page
1.
2.
3.
4.
5.
6.
DOMENSKO SPECIFIČNI MODELIRNI JEZIK ZA KONSTRUKCIJO SEKVENC PRI AVTOMOBILSKIH TESTIH
Tomaž Kos, 2009, undergraduate thesis

Abstract: Diplomska naloga opisuje domensko specifične jezike. Opisuje njihov namen, značilnosti, uporabo, prednosti in slabosti. Prav tako je v diplomski nalogi na kratko opisano prevajanje programskih jezikov in generiranje jezikov z generatorji prevajalnikov. Glavni del diplomske naloge pa predstavlja domensko specifični jezik, s pomočjo katerega lahko na hiter in enostaven način generiramo sekvenco za preprost avtomobilski test.
Keywords: Prevajalniki, domensko specifični jeziki, avtomobilski testi
Published: 14.07.2009; Views: 1905; Downloads: 124
.pdf Full text (1,16 MB)

7.
MODELNO USMERJEN RAZVOJ PROGRAMSKE OPREME ZA VODENJE PROCESOV
Giovanni Godena, 2009, master's thesis

Abstract: Tekom celotne zgodovine razvoja programskega inženirstva ugotavljamo, da je v krizi in da je dejansko bolj podobno umetnosti kot inženirstvu. To velja za vse problemske domene, pri čemer domena vodenja procesov ni izjema. Veliko je bilo poskusov premagovanja krize programske opreme skozi iskanje ustreznih tehnologij (metod, orodij ali procesov). V zadnjem času se kot zelo perspektivna kažeta dva pristopa, in sicer uporaba visokonivojskih domensko-specifičnih abstrakcij (modelov) in ponovna uporaba znanja in artefaktov na visokem nivoju abstrakcije. Z združevanjem teh dveh pristopov pridemo do tistega, čemur danes rečemo domensko usmerjena generativna ponovna uporaba na osnovi modelov. Modelno usmerjene pristope k graditvi programske opreme delimo v dve konceptualno različni skupini, ki temeljita na dveh različnih filozofijah modeliranja. Prva skupina temelji na splošnonamenskem modeliranju (GPM) in na splošnonamenskih jezikih (katerih najbolj znani predstavnik je UML). Druga filozofija modeliranja temelji na domensko-specifičnem modeliranju (DSM) in domensko specifičnih modelirnih jezikih (DSML), kjer kot model smatramo visokonivojsko, domensko-specifično abstrakcijo, to je abstrakcijo, v kateri nastopajo relevantne entitete iz problemske domene. Med obema pristopoma je prišlo do tekmovanja, pri čemer lahko ugotovimo, da vsak izmed njiju ima tako prednosti kot pomanjkljivosti. V zadnjem času kaže, da se tehtnica nagiba proti domenski usmerjenosti in generativni ponovni uporabi, kar je skladno tudi z našim stališčem. Jedro dela predstavlja rezultate aktivnosti domenskega inženirstva za izbrano domeno vodenja procesov. Najprej predstavimo model izbrane domene, to je entitete in njihove medsebojne relacije. V nadaljevanju predstavimo glavni dosežek tega dela, in sicer domensko specifični modelirni jezik ProcGraph. Sledi opis preslikave iz jezika ProcGraph v izvorno kodo jezikov ciljne platforme (industrijskih krmilnikov). Preslikavo določimo za dve ciljni platformi, in sicer Mitsubishi in Siemens. V nadaljevanju dela podamo ilustracijo modela v jeziku ProcGraph za realen projekt avtomatizacije srednje velikega industrijskega procesa. Na konkretnem primeru prikažemo in razložimo vse pomembne elemente jezika.
Keywords: modelno usmerjeno programsko inženirstvo, modelno usmerjen razvoj, modelirni jeziki, domensko specifični modelirni jeziki, domensko inženirstvo, produktne linije, ponovna uporaba, ProcGraph
Published: 23.12.2009; Views: 2491; Downloads: 138
.pdf Full text (1,49 MB)

8.
MEMETSKI ALGORITEM ZA SKLEPANJE O KONTEKSTNO NEODVISNIH GRAMATIKAH IN NJEGOVA UPORABA PRI NAČRTOVANJU DOMENSKO SPECIFIČNEGA JEZIKA
Dejan Hrnčič, 2012, dissertation

Abstract: V doktorski disertaciji predstavimo memetski algoritem za sklepanje o kontekstno neodvisnih gramatikah MAGIc. Memetski algoritem predstavlja evolucijski algoritem z vključenim operatorjem lokalnega iskanja. Sklepanje o gramatikah spada na področje strojnega učenja in predstavlja družino metod, ki na podlagi pozitivnih in opcijsko negativnih vhodnih primerov določi strukturo oz. izpelje gramatiko. Algoritem MAGIc sklepa o kontekstno neodvisnih gramatikah samo na podlagi pozitivnih primerov, čeprav lahko v postopek sklepanja vključimo tudi negativne primere. Pri sklepanju uporablja kot dodatno znanje razlike med primeri, katere uporabi za razširitev obstoječih gramatik, da razpoznajo več vhodnih primerov. Algoritem smo testirali na množici domensko specifičnih jezikov, napravili primerjavo z algoritmom TBL in ga razširili z možnostjo vključevanja nove sintakse v obstoječo gramatiko splošnonamenskega jezika. Algoritem se je izkazal kot uspešen za sklepanje o kontekstno neodvisnih gramatikah domensko specifičnih jezikov in je neodvisen od zaporedja vhodnih primerov. Ključna operatorja algoritma sta lokalno iskanje in generalizacija.
Keywords: sklepanje o gramatikah, memetski algoritem, domensko specifični jeziki, kontekstno neodvisna gramatika
Published: 23.05.2012; Views: 1709; Downloads: 131
.pdf Full text (3,89 MB)

9.
GRADNJA DOMENSKO SPECIFIČNIH JEZIKOV V PROGRAMSKEM JEZIKU SCALA
Primož Kokol, 2012, undergraduate thesis

Abstract: Scala je razmeroma nov, splošno namenski, statično tipiziran programski jezik, ki združuje principe objektnega in funkcijskega programiranja. Predvsem principi funkcijskega programiranja namigujejo na to, da bi omenjen jezik lahko predstavljal dobro alternativo za implementacijo domensko specifičnih jezikov. V sklopu diplomskega dela smo preučili ustreznost omenjenega programskega jezika za implementacijo domensko specifičnih programskih jezikov na primeru jezika FDL (ang. Feature Description Language). Primerjave ter implementacije omenjenega jezika so že bile realizirane v programskih jezikih Java, Lisa, Haskell, C++, Smacc, C# v strokovnem članku A preliminary study on various implementation approaches of domain-specific language avtorjev, Tomaž Kosar, Pablo E. Martínez López, Pablo A. Barrientos, Marjan Mernik, kar predstavlja podlago za primerjavo z implementacijo programskega jezika FDL v programskem jeziku Scala.
Keywords: domensko specifični programski jeziki, programski jezik Scala
Published: 04.09.2012; Views: 1288; Downloads: 122
.pdf Full text (2,10 MB)

10.
Metodologija razvoja programske opreme za vodenje industrijskih procesov
Tomaž Lukman, 2012, doctoral dissertation

Abstract: Osrednja tema doktorske disertacije je programsko inženirstvo v domeni vodenja industrijskih procesov. Praksa razvoja programske opreme za vodenje industrijskih procesov je, gledano s stališča sodobnih pristopov k razvoju programske opreme, nezrela in ne izpolnjuje potreb trga po vedno obsežnejši in bolj kakovostni programski opremi, po skrajšanjih razvojnih ciklih ter po učinkovitem razvoju. Predlagani sodobni razvojni pristopi pa niso sprejeti s strani praktikov in gospodarstva, ker so nedodelani in ker ne rešujejo najpomembnejših težav domene vodenja, ki jih navaja literatura. V okviru doktorske disertacije smo razvili sodobno metodologijo za razvoj programske opreme za vodenje procesov. Razvoj je temeljil na sistematični uporabi nekaterih idej iz področij modelno usmerjenega inženirstva, domensko specifičnih modelirnih jezikov in programskih produktnih linij. Te ideje so bile uporabljene na tak način, da metodologija rešuje najpomembnejše težave domene vodenja procesov in nima slabosti obstoječih sodobnih razvojnih pristopov. Metodologija je sestavljena iz dveh nivojev: nivoja razvoja infrastrukture in nivoja razvoja aplikacij. Na prvem nivoju se sistematično razvija infrastruktura, ki je sestavljena iz definicije aplikacijskega razvojnega procesa in razvojnih smernic zanj, formalnega domensko specifičnega modelirnega jezika, definicije transformacij modelov in podpornih programskih orodij. Podporna programska orodja, ki omogočajo delno avtomatizacijo aplikacijskega razvoja v naši metodologiji, so sestavljena iz urejevalnika modelov, repozitorija modelov in generatorja kode. V okviru doktorske disertacije sta bila razvita tudi laboratorijski prototip in industrijski prototip podpornih orodij. Slednji odpravlja pomanjkljivosti laboratorijskega prototipa in je primeren za razvoj realne programske opreme za vodenje procesov. Na drugem nivoju razvoja se z uporabo infrastrukture izvaja modelno usmerjeni razvoj programske opreme za vodenje procesov. Z dobro definiranim aplikacijskim razvojnim procesom se izdela model programske opreme, iz katerega se na koncu avtomatsko generira koda za programirljive logične krmilnike. Evalvacija metodologije je bila izvedena na empirični način, in sicer s študijo primera, v katero so bili vključeni razvijalci iz slovenskega podjetja. V študiji primera je bilo prikazano, da je metodologija uporabna za razvoj programske opreme za vodenje realnih procesov. Pokazali smo tudi, da metodologija v primerjavi z razvojnim pristopom, ki se uporablja v praksi, izboljšuje učinkovitost razvoja programske opreme v smislu izboljšanja produktivnosti in kakovosti.
Keywords: Programsko inženirstvo, modelno usmerjeno inženirstvo, domensko specifični modelirni jeziki, programske produktne linije, avtomatsko generiranje kode, vodenje industrijskih procesov, študija primera
Published: 28.01.2013; Views: 1565; Downloads: 178
.pdf Full text (8,16 MB)

Search done in 0.26 sec.
Back to top
Logos of partners University of Maribor University of Ljubljana University of Primorska University of Nova Gorica