| | SLO | ENG | Piškotki in zasebnost

Večja pisava | Manjša pisava

Iskanje po katalogu digitalne knjižnice Pomoč

Iskalni niz: išči po
išči po
išči po
išči po
* po starem in bolonjskem študiju

Opcije:
  Ponastavi


1 - 10 / 107
Na začetekNa prejšnjo stran12345678910Na naslednjo stranNa konec
1.
Improved formal verification of SDN-based firewalls by using TLA+
Tatjana Kapus, 2023, izvirni znanstveni članek

Opis: In an article published in IEEE Access in 2020, researchers present an approach to using TLA + for the formal verification of whether a network of SDN (Software-Defined Networking) switches implements the filtering rules of a given monolithic firewall. The distributed as well as monolithic firewalls are specified with TLA + . It is shown that the correctness of the former with respect to the latter can be verified automatically by using the TLC model checker. The main contributions of this paper are the following improvements of that approach. Firstly, by specifying switches without using any variables, the time needed for the model checking is reduced significantly. For example, the verification of the same networks takes a few seconds with the new approach and does not end after several hours with the previous one. Secondly, the following problem is solved. With the latter, if a monolithic firewall allows a packet to pass through, all the paths in the distributed firewall which the packet is routed on must allow the same. Otherwise, the model checker proclaims the distributed firewall to be in error. We present an additional approach to the verification, which gives a positive answer if at least one of the paths allows the packet to pass through.
Ključne besede: firewalls, formal specification, formal verification, logic, model checking, software defined networking
Objavljeno v DKUM: 04.12.2023; Ogledov: 125; Prenosov: 8
.pdf Celotno besedilo (1,24 MB)
Gradivo ima več datotek! Več...

2.
Identifying key activities, artifacts and roles in agile engineering of secure software with hierarchical clustering
Anže Mihelič, Tomaž Hovelja, Simon Vrhovec, 2023, izvirni znanstveni članek

Opis: Different activities, artifacts, and roles can be found in the literature on the agile engineering of secure software (AESS). The purpose of this paper is to consolidate them and thus identify key activities, artifacts, and roles that can be employed in AESS. To gain initial sets of activities, artifacts, and roles, the literature was first extensively reviewed. Activities, artifacts, and roles were then cross-evaluated with similarity matrices. Finally, similarity matrices were converted into distance matrices, enabling the use of Ward’s hierarchical clustering method for consolidating activities, artifacts, and roles into clusters. Clusters of activities, artifacts, and roles were then named as key activities, artifacts, and roles. We identified seven key activities (i.e., security auditing, security analysis and testing, security training, security prioritization and monitoring, risk management, security planning and threat modeling; and security requirements engineering), five key artifacts (i.e., security requirement artifacts, security repositories, security reports, security tags, and security policies), and four key roles (i.e., security guru, security developer, penetration tester, and security team) in AESS. The identified key activities, artifacts, and roles can be used by software development teams to improve their software engineering processes in terms of software security.
Ključne besede: secure software development, security engineering, agile methods, agile development, software development, software engineering, software security, application security, cybersecurity, cyber resilience
Objavljeno v DKUM: 29.11.2023; Ogledov: 210; Prenosov: 4
.pdf Celotno besedilo (557,17 KB)
Gradivo ima več datotek! Več...

3.
Agile development of secure software for small and medium-sized enterprises
Anže Mihelič, Simon Vrhovec, Tomaž Hovelja, 2023, izvirni znanstveni članek

Opis: Although agile methods gained popularity and became globally widespread, developing secure software with agile methods remains a challenge. Method elements (i.e., roles, activities, and artifacts) that aim to increase software security on one hand can reduce the characteristic agility of agile methods on the other. The overall aim of this paper is to provide small- and medium-sized enterprises (SMEs) with the means to improve the sustainability of their software development process in terms of software security despite their limitations, such as low capacity and/or financial resources. Although software engineering literature offers various security elements, there is one key research gap that hinders the ability to provide such means. It remains unclear not only how much individual security elements contribute to software security but also how they impact the agility and costs of software development. To address the gap, we identified security elements found in the literature and evaluated them for their impact on software security, agility, and costs in an international study among practitioners. Finally, we developed a novel lightweight approach for evaluating agile methods from a security perspective. The developed approach can help SMEs to adapt their software development to their needs.
Ključne besede: secure software development, security engineering, agile, small and medium sized enterprises, software development management, security
Objavljeno v DKUM: 29.11.2023; Ogledov: 206; Prenosov: 5
.pdf Celotno besedilo (2,58 MB)
Gradivo ima več datotek! Več...

4.
Design of thermal power plant modernization and rehabilitation model for the new market demands and challenges
Martin Bricl, Jurij Avsec, 2021, izvirni znanstveni članek

Opis: The article presents the model for the rehabilitation of existing conventional thermal power plants in order to lower the consumption of fossil fuels. Instead of them, the model uses an alternative energy source - sun irradiation. The proposed rehabilitation model is theoretically calculated and designed. The model in the software environment Matlab Simulink was developed, based on previous calculations and determined parameters. In this article, it is presented the combination of Clausius - Rankine process and solar central receiver system. The model enables simultaneous calculations of exit model parameters for the complete model, based on predetermined entering parameters of the model.
Ključne besede: Clausius Rankine process, solar central receiver system, modeling, analysis, Matlab Simulink software environment
Objavljeno v DKUM: 10.11.2023; Ogledov: 123; Prenosov: 9
.pdf Celotno besedilo (1001,15 KB)
Gradivo ima več datotek! Več...

5.
Izdelava spletnih uporabniških vmesnikov za testne in merilne aplikacije s programsko opremo G web Development Software : diplomsko delo
Aljaž Perc, 2023, diplomsko delo

Opis: Namen diplomskega dela je bilo izdelati merilni sistem za zajemanje temperature, tlaka in relativne vlažnosti ter jih prikazovati na spletu s pomočjo programskega okolja G Web Development Software. V tem projektu je to programsko okolje podrobno predstavljeno, kakor tudi NI myRIO. Ta se uporablja za zajemanje podatkov in pošiljanje le teh na G Web. V nalogi je predstavljena tudi izdelava samega merilnega sistema, kateri zajema podatke s pomočjo senzorja MS8607-02BA01.
Ključne besede: G Web Development Software, NI myRIO, I2C, MS8607-02BA01, LabVIEW
Objavljeno v DKUM: 12.10.2023; Ogledov: 242; Prenosov: 8
.pdf Celotno besedilo (4,01 MB)

6.
Krmiljenje in integracija dvižnega modula z avtonomnim mobilnim robotom
Niko Hojnik, 2023, diplomsko delo

Opis: V diplomskem delu je predstavljen namen vrhnjih modulov, ki avtomatsko vodenim vozilom in avtonomnim mobilnim robotom dajejo funkcijo in praktičnost uporabe. Na začetku je predstavljenih nekaj na trgu dostopnih sistemov, ki se v avtomatizaciji že uporabljajo, kasneje pa je podrobno opisan potek izdelave krmilja za lasten vrhnji modul in povezave le-tega z avtonomnim mobilnim robotom MiR100. Glavna funkcija lastnega vrhnjega(dvižnega) modula je prijemanje in dvigovanje logističnih škatel, medtem ko za prevoz, iz proizvodnih mest do skladiščne police, poskrbi avtonomni mobilni robot. Pri izdelavi krmilja je bilo potrebno iz dvižnega modula izkoristiti čim večjo praktično uporabnost, pri tem pa paziti na varnost ljudi in okolice, kot tudi same naprave.
Ključne besede: AMR, AGV, MiR Software, TIA Portal, dvižni modul, avtomatizacija
Objavljeno v DKUM: 05.10.2023; Ogledov: 144; Prenosov: 10
.pdf Celotno besedilo (4,07 MB)

7.
Differences in chemistry teachers' acceptance of educational software according to their user type : an application of extended UTAUT model
Kateřina Chroustová, Andrej Šorgo, Martin Bilék, Martin Rusek, 2022, izvirni znanstveni članek

Opis: In this research, a model to determine chemistry teachers' acceptance of educational software in secondary education is proposed. The model extends the unified theory of acceptance and use of technology (UTAUT) model. Data were collected from 556 Czech chemistry teachers and analysed using structural equation modelling. With respect to the significant differences among technology users and various types of nonusers, the research model for each user group was tested too. The results showed significant differences in the individual models for each group of technology user. In the model for "current users" of educational software, the influence of facilitating conditions on current users' use of educational software behavioural intention is stressed. In addition, non-planning users' behavioural intention seems to be influenced by their personal innovativeness in IT, social influence, and performance expectancy. Behavioural intention and attitude towards using educational software affect each of the tested models, with attitudes being an even stronger predictor of educational software usage than behavioural intention. The models contribute to the understanding of teachers' acceptance of educational software, which can be utilized in both pre- and in-service teacher training, considering technology mastery a necessary teacher competence.
Ključne besede: chemistry teachers' motivation, educational software use, secondary education, technology acceptance
Objavljeno v DKUM: 01.09.2023; Ogledov: 324; Prenosov: 27
.pdf Celotno besedilo (1,61 MB)
Gradivo ima več datotek! Več...

8.
Using Artificial Intelligence in Software Development: a case analysis
Patricija Vrentuša, 2023, magistrsko delo

Opis: In this work, we talk about artificial intelligence and its impact on software development. We define the AI concept, the software development process, and the various uses of AI in programming. We put a special focus on the ethical aspects of AI. In the empirical part, we analyzed the AI pair programming tool created by Microsoft called GitHub Copilot. We examine several usage examples, as well as the opinions of developers that have been using GitHub Copilot. We found that the AI pair programmer tool helps programmers increase productivity and automate mundane tasks to concentrate on more complex and interesting parts of software development. However, some programmers raise concerns about unethical concepts connected to the development of GitHub Copilot, implying violations of original code author copyrights. We discuss current licenses, other possible solutions, and the morality of building AI on open-sourced repositories. Moreover, many believe that the future will be increasingly intertwined with AI in all industries and that the only way to preserve (software development) jobs is to keep learning and being innovative and creative. Programmers say that almost certainly their job will not vanish because of AI advancement; only the scope of their work will change.
Ključne besede: AI, software development, ethics, AI pair programming, GitHub Copilot.
Objavljeno v DKUM: 21.02.2023; Ogledov: 799; Prenosov: 113
.pdf Celotno besedilo (1,49 MB)

9.
Success of agile programming in real world : magistrsko delo
Andrès Latas Martínez, 2021, magistrsko delo

Opis: Software development is living its golden time in the commercial field. The way we depend on software is so strong that there is a growing need of fast development and delivery of new tools. This growing need is mostly supported and enabled by the use of agile methodologies. In theory, agile methodologies, allow entities to fast develop and deliver software whilst being in constant touch with the stakeholders to listen and fullfill their needs. The aim of this research is to validate such theory in the real world by asking its users.
Ključne besede: agile, methodologies, software, scrum
Objavljeno v DKUM: 28.01.2022; Ogledov: 749; Prenosov: 100
.pdf Celotno besedilo (1,25 MB)

10.
Crosswalk of most used metadata schemes and guidelines for metadata interoperability (Version 1.0)
Milan Ojsteršek, 2021, zaključena znanstvena zbirka raziskovalnih podatkov

Opis: This resource provides crosswalks among the most commonly used metadata schemes and guidelines to describe digital objects in Open Science, including: - RDA metadata IG recommendation of the metadata element set, - EOSC Pilot - EDMI metadata set, - Dublin CORE Metadata Terms, - Datacite 4.3 metadata schema, - DCAT 2.0 metadata schema and DCAT 2.0 application profile, - EUDAT B2Find metadata recommendation, - OpenAIRE Guidelines for Data Archives, - OpenAire Guidelines for literature repositories 4.0, - OpenAIRE Guidelines for Other Research Products, - OpenAIRE Guidelines for Software Repository Managers, - OpenAIRE Guidelines for CRIS Managers, - Crossref 4.4.2 metadata XML schema, - Harvard Dataverse metadata schema, - DDI Codebook 2.5 metadata XML schema, - Europeana EDM metadata schema, - Schema.org, - Bioschemas, - The PROV Ontology.
Ključne besede: crosswalk, metadata, EDMI metadata set, Dublin CORE, Datacite 4.3 metadata schema, DCAT 2.0 metadata schema, UDAT B2Find metadata recommendation, OpenAIRE Guidelines for Data Archives, OpenAire Guidelines for literature repositories 4.0, OpenAIRE Guidelines for Other Research Products, OpenAIRE Guidelines for Software Repository Managers, OpenAIRE Guidelines for CRIS Managers, Crossref 4.4.2 metadata XML schema, Harvard Dataverse metadata schema, DDI Codebook 2.5 metadata XML schema, Europeana EDM metadata schema, Schema.org, Bioschemas, The PROV Ontology
Objavljeno v DKUM: 21.09.2021; Ogledov: 1682; Prenosov: 58
.xlsx Raziskovalni podatki (169,58 KB)
Gradivo ima več datotek! Več...

Iskanje izvedeno v 0.49 sek.
Na vrh
Logotipi partnerjev Univerza v Mariboru Univerza v Ljubljani Univerza na Primorskem Univerza v Novi Gorici