Results 51 to 60 of about 1,260,399 (325)

Engineering meta-languages for specifying software languages (keynote) [PDF]

Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, 2017
The programming and modelling languages currently used in software engineering generally have plenty of tool support. But although their syntax is specified using formal grammars or meta-models, complete formal semantic specifications are seldom provided.
openaire   +3 more sources

Reliable Decision Making of Accepting Friend Request on Online Social Networks

IEEE Access, 2018
Online social network (OSN) is a platform, where users are able to share information among them easily and instantly. The sensitive information of an user can be misused by his/her friends or friends of friends due to the lack of reliable friend request ...
Md. Arafatur Rahman, Vitaliy Mezhuyev, Md Zakirul Alam Bhuiyan, S. M. Nazmus Sadat, Siti Aishah Binti Zakaria, Nadia Refat   +5 more
doaj   +1 more source

Language-based software engineering

Science of Computer Programming, 2015
We present a language-centric view of the software development process. We argue that success of the domain-specific language (DSL) methodology depends on being able to rapidly craft a DSL's implementation infrastructure. We present logic programming as a rapid way of developing this implementation infrastructure.
openaire   +1 more source

Software process modelling as relationships between tasks [PDF]

, 1997
Systematic formulation of software process models is currently a challenging problem in software engineering. We present an approach to define models covering the phases of specification, design, implementation and testing of software systems in the ...
Franch Gutiérrez, Javier, Ribó Balust, Josep Maria   +1 more
core   +1 more source

Diabetes‐induced vascular calcification is associated with low pyrophosphate and its oral supplementation prevents calcification in diabetic mice

FEBS Open Bio, EarlyView.
Induction of diabetes in three different mouse strains uniformly resulted in an increase in TNAP activity and a reduction in pyrophosphate (PPi) in the circulation. Inhibition of TNAP restored plasma PPi. Diabetes‐induced calcification in the media layer of the aorta was detected only in the Abcc6−/− strain, which is predisposed to ectopic ...
Krisztina Fülöp, Eszter Kozák, Natália Tőkési, Lilian Kocsis, Anikó Kelemen, Zsuzsanna Geszti, Adriána Kutás, Mariann Harangi, Ágnes Diószegi, Zsolt Rapi, József Balla, Olivier Le Saux, András Váradi, Viola Pomozi   +13 more
wiley   +1 more source

Large Language Models Versus Static Code Analysis Tools: A Systematic Benchmark for Vulnerability Detection

IEEE Access
Modern software relies on a multitude of automated testing and quality assurance tools to prevent errors, bugs and potential vulnerabilities. This study sets out to provide a head-to-head, quantitative and qualitative evaluation of six automated ...
Damian Gnieciak, Tomasz Szandala
doaj   +1 more source

Toward Reverse Engineering of VBA Based Excel Spreadsheet Applications [PDF]

, 2015
Modern spreadsheet systems can be used to implement complex spreadsheet applications including data sheets, customized user forms and executable procedures written in a scripting language.
Amalfitano, Domenico, Amatucci, Nicola, De Simone, Vincenzo, Fasolino, Anna Rita, Tramontana, Porfirio   +4 more
core   +1 more source

Navigating new norms: a systematic review of factors for the development of effective digital tools in higher education

FEBS Open Bio, EarlyView.
What factors make for an effective digital learning tool in Higher Education? This systematic review identifies elements of a digital tool that published examples reveal to be features of an engaging and impactful digital tool. A systematic literature search yielded 25 research papers for analysis.
Akmal Arzeman, Jessica Haines, Connie Pritchard, Stephen Rutherford, Nigel Francis   +4 more
wiley   +1 more source

Pathogenic Neurofibromatosis type 1 gene variants in tumors of non‐NF1 patients and role of R1276

FEBS Open Bio, EarlyView.
Somatic variants of the neurofibromatosis type 1 (NF1) gene occur across neoplasms without clinical manifestation of the disease NF1. We identified emerging somatic pathogenic NF1 variants and hotspots, for example, at the arginine finger 1276. Those missense variants provide fundamental information about neurofibromin's role in cancer.
Mareike Selig, Swanhild Lohse, Sara Elahi, Nils Hartmann, Stefanie Deckert, Shutian Si, Alexander Desuki, Anja Harder   +7 more
wiley   +1 more source

A Unified Lightweight Network for Complex Scene Image Understanding via Multi-Task Joint Learning

IEEE Access
Multi-task joint learning for complex scene image understanding faces multiple challenges, including diverse visual elements, task-specific demands, and constrained computational resources.
Tingting Guo, Sainan Yang, Yao Fu, Daitao Wang   +3 more
doaj   +1 more source