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


61 - 70 / 716
Na začetekNa prejšnjo stran3456789101112Na naslednjo stranNa konec
Towards building a forensics aware language for secure logging
Shams Zawoad, Marjan Mernik, Ragib Hasan, 2014, izvirni znanstveni članek

Opis: Trustworthy system logs and application logs are crucial for digital forensics. Researchers have proposed different security mechanisms to ensure the integrity and confidentiality of logs. However, applying current secure logging schemes on heterogeneous formats of logs is tedious. Here, we propose Forensics Aware Language (FAL), a domain-specific language (DSL) through which we can apply a secure logging mechanism on any format of logs. Using FAL, we can define log structure, which represents the format of logs and ensures the security properties of a chosen secure logging scheme. This log structure can later be used by FAL to serve two purposes: it can be used to store system logs securely and it will help application developers for secure application logging by generating the required source code.
Ključne besede: domain-specific language, DSL, secure logging, audit trail, digital forensics
Objavljeno: 06.07.2017; Ogledov: 101; Prenosov: 15
.pdf Celotno besedilo (526,42 KB)

SimpleConcepts: a lightweight extension to C++ to support constraints on generic types
Reed Milewicz, Marjan Mernik, Peter Pirkelbauer, 2014, izvirni znanstveni članek

Opis: Generic programming plays an essential role in C++ software through the use of templates. However, both the creation and use of template libraries is hindered by the fact that the language does not allow programmers to specify constraints on generic types. To date, no proposal to update the language to provide concepts has survived the committee process. Until that time comes, as a form of early support, this paper introduces SimpleConcepts, an extension to C++11 that provides support for concepts, sets of constraints on generic types. SimpleConcepts features are parsed according to an island grammar and source-to-source translation is used to lower concepts to pure C++11 code.
Ključne besede: generic programming, C++ templates, C++ concepts
Objavljeno: 06.07.2017; Ogledov: 134; Prenosov: 11
.pdf Celotno besedilo (299,20 KB)

Program comprehension for domain-specific languages
Maria João Varando Pereira, Marjan Mernik, Daniela Da Cruz, Pedro Rangel Henriques, 2008, izvirni znanstveni članek

Opis: In the past, we have been looking for program comprehension tools that are able to interconnect operational and behavioral views, aiming at aiding the software analyst to relate problem and program domains in order to reach a full understanding of software systems. In this paper we are concerned with Program Comprehension issues applied to Domain Specific Languages (DSLs). We are now willing to understand how techniques and tools for the comprehension of traditional programming languages fit in the understanding of DSLs. Being the language tailored for the description of problems in a specific domain, we believe that specific visualizations (at a higher abstraction level, closer to the problem level) could and should be defined to enhance the comprehension of the descriptions in that particular domain.
Ključne besede: program comprehension, DSL, domain-specific languages, program understanding
Objavljeno: 06.07.2017; Ogledov: 235; Prenosov: 10
.pdf Celotno besedilo (248,98 KB)

Ontology driven development of domain-specific languages
Ines Čeh, Matej Črepinšek, Tomaž Kosar, Marjan Mernik, 2011, izvirni znanstveni članek

Opis: Domain-specific languages (DSLs) are computer (programming, modeling, specification) languages devoted to solving problems in a specific domain. Thedevelopment of a DSL includes the following phases: decision, analysis, design, implementation, testing, deployment, and maintenance. The least-known and least examined are analysis and design. Although various formal methodologies exist, domain analysis is still done informally most of the time. A common reason why formal methodologies are not used as often as they could be is that they are very demanding. Instead of developing a new, less complex methodology, we propose that domain analysis could be replaced with a previously existing analysis in another form. A particularly suitable form is the use of ontologies. This paper focuses on ontology-based domain analysis and how it can be incorporated into the DSL design phase. We will present the preliminary results of the Ontology2DSL framework, which can be used to help transform ontology to a DSL grammar incorporating concepts from a domain.
Ključne besede: domain specific language, domain analysis, ontology
Objavljeno: 06.07.2017; Ogledov: 181; Prenosov: 4
.pdf Celotno besedilo (607,21 KB)

On automata and language based grammar metrics
Matej Črepinšek, Tomaž Kosar, Marjan Mernik, Julien Cervelle, Rémi Forax, Gilles Roussel, 2010, izvirni znanstveni članek

Opis: Grammar metrics have been introduced to measure the quality and the complexity of the formal grammars. The aim of this paper is to explore the meaning of these notions and to experiment, on several grammars of domain specific languages and of general-purpose languages, existing grammar metrics together with the new metrics that are based on grammar LR automaton and on the language recognized. We discuss the results of this experiment and focus on the comparison between grammars of domain specific languages as well as of general-purpose languages and on the evolution of the metrics between several versions of the same language.
Ključne besede: grammar metrics, software language engineering, grammar engineering, grammarware
Objavljeno: 06.07.2017; Ogledov: 135; Prenosov: 11
.pdf Celotno besedilo (282,41 KB)

Investigation of moderator factors in e-business adoption
Boštjan Šumak, Marjan Heričko, Zoran Budimac, Maja Pušnik, 2017, izvirni znanstveni članek

Opis: E-business technology is becoming one of the most important global markets where e-business solutions will have to adapt to new technologies. The main objective in this study was to synthesize existing knowledge in the field of e-business technology acceptance and to understand differences in Technology Acceptance Model (TAM) related causal effect sizes for different e-business contexts. A quantitative meta-analysis of existing empirical research about factors affecting e-business adoption was conducted using 89 published papers that provided empirical data about causal relationships. A moderator analysis was carried out to investigate the moderating effect of four factors: consumer type, device type, continent and respondent type. The results of the study showed a moderating effect for all four proposed factors in almost all TAM-related causal paths. The study also showed that TAM is the most common theory being applied in e-business adoption research.
Ključne besede: e-business acceptance, meta-analysis, moderator factors analysis, TAM, UTAUT, B2C, B2B
Objavljeno: 06.07.2017; Ogledov: 119; Prenosov: 12
.pdf Celotno besedilo (568,52 KB)

Implementation of EasyTime formal semantics using a LISA compiler generator
Iztok Fister, Marjan Mernik, Iztok Fister, Dejan Hrnčič, 2012, izvirni znanstveni članek

Opis: A manual measuring time tool in mass sporting competitions would not be imaginable nowadays, because many modern disciplines, such as IRONMAN, last a long-time and, therefore, demand additional reliability. Moreover, automatic timing-devices based on RFID technology, have become cheaper. However, these devices cannot operate as standalone because they need a computer measuring system that is capable of processing incoming events, encoding the results, assigning them to the correct competitor, sorting the results according to theachieved times, and then providing a printout of the results. This article presents the domain-specific language EasyTime, which enables the controlling of an agent by writing the events within a database. It focuses, in particular, on the implementation of EasyTime with a LISA tool that enables the automatic construction of compilers from language specifications, using Attribute Grammars.
Ključne besede: domain specific modelling language, compiler, code generator, measuring time
Objavljeno: 06.07.2017; Ogledov: 126; Prenosov: 12
.pdf Celotno besedilo (409,44 KB)

From DCOM interfaces to domain-specific modeling language
Tomaž Kos, Tomaž Kosar, Jure Knez, Marjan Mernik, 2011, izvirni znanstveni članek

Opis: Software development is a demanding process, since it involves different parties to perform a desired task. The same case applies to the development ofmeasurement systems - measurement system producers often provide interfaces to their products, after which the customersć programming engineers use them to build software according to the instructions and requirements of domain experts from the field of data acquisition. Until recently, the customers of the measurement system DEWESoft were building measuring applications, using prefabricated DCOM objects. However, a significant amount of interaction between customersć programming engineers and measurement system producers is necessary to use DCOM objects. Therefore, a domain-specific modeling language has been developed to enable domain experts to program or model their own measurement procedures without interacting with programming engineers. In thispaper, experiences gained during the shift from using the DEWESoft productas a programming library to domain-specific modeling language are provided together with the details of a Sequencer, a domain-specific modeling language for the construction of measurement procedures.
Ključne besede: domain specific modelling language, data acquisition, measurement systems
Objavljeno: 06.07.2017; Ogledov: 132; Prenosov: 4
.pdf Celotno besedilo (465,80 KB)

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, izvirni znanstveni članek

Opis: 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.
Ključne besede: software factories approach, benefits, quality, productivity, experiment
Objavljeno: 06.07.2017; Ogledov: 145; Prenosov: 4
.pdf Celotno besedilo (439,13 KB)

Design of a multimodal hearing system
Bernd Tessendorf, Matjaž Debevc, Peter Derleth, Manuela Feilner, Franz Gravenhorst, Daniel Roggen, Thomas Stiefmeier, Gerhard Tröster, 2013, izvirni znanstveni članek

Opis: Hearing instruments (HIs) have become context-aware devices that analyze the acoustic environment in order to automatically adapt sound processing to the userʼs current hearing wish. However, in the same acoustic environment an HI user can have different hearing wishes requiring different behaviors from the hearing instrument. In these cases, the audio signal alone contains too littlecontextual information to determine the userʼs hearing wish. Additional modalities to sound can provide the missing information to improve the adaption. In this work, we review additional modalities to sound in HIs and present a prototype of a newly developed wireless multimodal hearing system. The platform takes into account additional sensor modalities such as the userʼs body movement and location. We characterize the system regarding runtime, latency and reliability of the wireless connection, and point out possibilities arising from the novel approach.
Ključne besede: multimodal hearing instrument, assistive technology, HIs
Objavljeno: 06.07.2017; Ogledov: 92; Prenosov: 3
.pdf Celotno besedilo (319,48 KB)

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