| | 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 - 6 / 6
First pagePrevious page1Next pageLast page
1.
2.
3.
METODA ZA ANALIZO VPLIVA STRUKTURNIH SPREMEMB IZVORNE KODE NA KAKOVOST PROGRAMSKE OPREME
Črt Gerlec, 2013, doctoral dissertation

Abstract: Kakovost produkta je pomemben faktor pri razvoju programske opreme. Da bi lahko natančno ovrednotili kakovost programske opreme in identificirali nevarne dele kode, raziskovalci običajno stremijo k uporabi naprednih mehanizmov ovrednotenja kakovosti. Trend analiz in ovrednotenja kakovosti programske opreme se vedno bolj osredotoča na obravnavo daljšega življenjskega cikla produkta. Rečemo lahko, da analiza evolucije programske opreme spremenjene izvorne kode skozi daljše obdobje predstavlja osnovo za ovrednotenje kakovosti programske opreme. Tudi mi se v doktorski disertaciji osredotočamo na ovrednotenje kakovosti programske opreme na osnovi analize evolucije. S pomočjo strukturnih sprememb izvorne kode želimo sklepati o kakovosti programske opreme. Razvili smo metodo, pri kateri uporabljamo koncept razburkanosti kode in algoritme strojnega učenja za iskanje napak v programski opremi. Koncept razburkanosti kode smo priredili tako, da ga je mogoče uporabljati s strukturnimi spremembami izvorne kode. Uspešnost modela na osnovi strukturnih sprememb smo nato primerjali z uspešnostjo modela, ki temelji le na spremenjenih vrsticah izvorne kode. Ugotovili smo, da je model, temelječ na strukturnih spremembah, uspešneje ovrednotil kakovost programske opreme.
Keywords: evolucija programske opreme, strukturne spremembe, razburkanost kode, kakovost programske opreme, napovedovanje napak v programski opremi
Published: 15.05.2013; Views: 969; Downloads: 134
.pdf Full text (4,04 MB)

4.
A programming language independent framework for metrics-based software evolution and analysis
Črt Gerlec, Gordana Rakić, Zoran Budimac, Marjan Heričko, 2012, original scientific article

Abstract: Knowledge about different aspects of software quality during software evolution can be valuable information for developers and project managers. It helps to reduce the number of defects and improves the internal structure of software. However, determining softwarećs quality and structure in heterogeneous systems is a difficult task. In this paper, a programming language independent framework for evaluating software metrics and analyzing software structure during software development and its evolution will be presented. The framework consists of the SMIILE tool for calculation of software metrics, extended with an analysis of software structure. The data are stored in a central repository via enriched Concrete Syntax Tree (eCST) for universal source code representation. The framework is demonstrated in a case study. The development of such a framework is a step forward to consistent support for software evolution by providing a change analysis and quality control. The significance of this consistency is growing today, when software projects are more complex, consisting of components developed in diverse programming languages.[Acknowledgments. Work of the second and third author is partially supported by the Serbian Ministry of Science and Technological Development through project no. OI174023 ĆIntelligent Techniquesand Their Integration into Wide-Spectrum Decision SupportĆ. Bilateral project between Slovenian Research Agency and Serbian Ministry of Science and Technological Development (Grant BI-SR/10-11-027) enabled the exchange of visits and ideas between authors of this paper and their institutions.]
Keywords: software evolution, software development, quality, structure, metrics
Published: 06.07.2017; Views: 555; Downloads: 203
.pdf Full text (264,50 KB)
This document has many files! More...

5.
Experimental investigation of the quality and productivity of software factories based development
Andrej Krajnc, Marjan Heričko, Črt Gerlec, Uroš Goljat, Gregor Polančič, 2012, original scientific article

Abstract: Software organizations are always looking for approaches that help improve the quality and productivity of developed software products. Quality software is easy to maintain and reduces the cost of software development. The Software Factories (SF) approach is one of the approaches to provide such benefits. In this paper, the quality and productivity benefits of the SF approach were examined and evaluated with an experiment involving two treatments - the traditional and the SF approach. For the purposes of this experiment, the Goal – Question – Metric (GQM) approach was used. Participants were grouped into thirty two teams. There were sixteen projects available. The results were evaluated and presented through quality and productivity criteria, which were used for the experimental study. The results showed that the Software Factories approach was significantly better than the traditional approach.
Keywords: software factories approach, benefits, quality, productivity, experiment
Published: 06.07.2017; Views: 415; Downloads: 218
.pdf Full text (439,13 KB)
This document has many files! More...

6.
DOKAZNI STANDARDI V IZVŠILNEM POSTOPKU
Barbara Gerlec, 2013, undergraduate thesis

Abstract: Diplomsko delo obravnava vprašanje dokaznih standardov v izvršilnem postopku. Sami temi se najprej približamo preko spoznavanja vsebin, ki predstavljajo izhodišče dokaznih standardov v izvršilnem postopku. To dosežemo preko spoznavanja samega izvršilnega postopka in dokaznih standardov ter načel in ostalih vsebin, ki jih ovsebinjajo, kot je na primer načelo proste presoje dokazov (pomeni, da je sodniku prepuščena presoja o tem ali neko dejstvo šteje za resnično ali ne, seveda ob upoštevanju celotnega postopka), ki izhaja iz načela materialne resnice oz. je materialna resnica njegova podlaga. Spoznati moramo tudi, kaj je sama resnica in kakšna stopnja spoznanja o resnici je potrebna, da v izvršilnem postopku dosežemo zadovoljivo stopnjo dokaznega standarda. Poleg resnice je pri obravnavi dokaznega standarda drug pomembni sestavni del proces dokazovanja. Stopnja resnice, ki jo mora sodnik med spoznanjem doseči, je stopnja resnice o tistih dejstvih, ki jih stranka v postopku dokazuje in na katera opira svoje zahtevke. Izpolnitev dokaznega standarda je namreč uspeh dokazovanja, je dokazanost. Pri tem se v precejšnji meri naslonimo na pravdni postopek, sestavni del katerega dokazni postopek je in njegove zakonske določbe, ki se smiselno uporabljajo v izvršilnem postopku. Tu se srečamo z dokaznim bremenom v povezavi s trditvenim bremenom. Za stranke je namreč izrednega pomena, katera od njiju mora dejstva zatrjevati, saj mora dejstva, ki jih zatrjuje, opreti na dokaze (dokazno breme), da se ne bi postopek končal z non-liquet situacijo, kar bi pomenilo neuspešen dokazni postopek. Ker se dokazi presojajo na podlagi dokaznih standardov, nas to privede do spoznanja, da nižje postavljeni dokazni standard pomeni večjo verjetnost, da bo dokazni postopek uspešno izpeljan in obratno, obratno pa velja za višji dokazni standard. Za uspešno razumevanje samega pojma dokaznega standarda in presojanja o tem, kakšna stopnja dokaznega standarda je primerna v posameznem primeru, je dobro, da poznamo tudi teorije, ki so jih oz. jih še zastopajo nekateri pravniki in teoretiki. Pri tem izstopa predvsem teorija korespondence (spoznanje je resnično, kadar subjektivna slika ustreza objektivni stvarnosti), ki je opremljena z vedno več kritikami novejših teorij. Ta teorija bi namreč pomenila zahtevo po visoki stopnji prepričanja, morda lahko govorimo celo o gotovosti dokaznega standarda, ki pa jo je, glede na vsa znana dejstva in nekatere nepremostljive ovire med procesom spoznanja, težko pričakovati ali celo zahtevati. Zato se večina novodobnih teoretikov zavzema za verjetnost kot stopnjo dokaznega standarda in celo njeno prožnost (od verjetnosti do pretežne verjetnosti). Ob obravnavi teme hitro pridemo do spoznanja, da je definicija samega dokaznega standarda problematična in velja za eno najbolj spornih vprašanj teorije in prakse ter kliče po vsebinski napolnitvi. Če se osredotočimo na izvršilni postopek, se tam v večini primerov zahteva dokazni standard verjetnost, sicer naj to še vedno ne bi veljalo za meritorne sklepe (odločanje o glavni stvari), je pa dokazni standard izrecno znižan v postopku za izdajo začasne odredbe. To določa tudi rek fumus boni iuris, saj naj bi to vodilo v bolj smiselne, hitre postopke in pomenilo večjo ekonomičnost. To v izvršilnem postopku izhaja iz še enega vidnejšega načela, načela stroge formalnelegalitete. Po tem načelu še enkrat več presojamo o smiselnosti postavljanja previsokih dokaznih standardov v izvršilnem postopku. Izvršilni sodnik je namreč pri svojemodločanju vezan na izvršilni naslov in mora v njem ugotovljeno terjatev upoštevati.Prepovedano je ponovno odločanje o že pravnomočni zadevi. Ponovno pa se vprašanje dokaznih standardov postavlja pri odločanju o pravnih sredstvih v izvršilnem postopku, predvsem pri odločanju o ugovoru dolžnika in ugovoru tretjega. Tudi tukaj je nova ureditev prinesla spremembe, s tem ko prepušča dokončno odločitev o tem izvršilnemu sodniku in ne napotuje več na pravdo, četudi gre za
Keywords: izvršilni postopek, dokazni standardi, resnica, spoznanje, dokazovanje, načela, verjetnost
Published: 24.04.2013; Views: 2174; Downloads: 282
.pdf Full text (390,95 KB)

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