eLibrary of Mathematical Instituteof the Serbian Academy of Sciences and Arts

AboutBrowse eLibrary

> Home / All Journals / Journal /

Computer Science and Information SystemsPublisher: ComSIS Consortium, Novi SadISSN: 1820-0214Issue: 17_1Date: 2020Journal Homepage Editorial BoardImpressum   Comparison of systematically derived software metrics thresholds for object-oriented programming languages 181 - 203 Tina Beranič and Marjan Heričko   AbstractKeywords: software metrics; threshold values; reference values; object-oriented; benchmark data; programming language interdependence; reliable derivation; repeatability; replicationMSC: 68N30 68N19 Regression Verification for Automated Evaluation of Students Programs 205 - 228 Milena Vujošević Janičić and Filip Marić   AbstractKeywords: software verification; regression verification; automated evaluation of student programs; computer-supported educationMSC: 68N30 62H30 Visualization of path patterns in semantic graphs 229 - 252 José Paulo Leal   AbstractKeywords: Semantic Graph Visualization; Semantic Graph Summarization; Linked Data Visualization; Path Pattern Discovery; Semantic Graph TransformationMSC: 05C62 68T10 A Mobile Crowd Sensing Framework for Suspect Investigation: An Objectivity Analysis and De-Identification Approach 253 - 270 ElAlaoui ElAbdallaoui Hasna, ElFazziki Abdelaziz, Ennaji Fatima Zohra and Sadgal Mohamed   AbstractKeywords: crowdsourcing; crowdsensing; law enforcement; objectivity analysis; de-identificationMSC: 68M10 94C15 Verification and Testing of Safety-Critical Airborne Systems: a Model-based Methodology 271 - 292 Mounia Elqortobi, Warda El-Khouly, Amine Rahj, Jamal Bentahar and Rachida Dssouli   AbstractKeywords: Model-based Verification; Model Checking; Communication Graph; Methodology; Model-based Testing; Partial Reachability Graph; MC/DC (Modified Condition/Decision Coverage)MSC: 68N30 68N19 Business Process Specification, Verification, and Deployment in a Mono-Cloud, Multi-Edge Context 293 - 314 Saoussen Cheikhrouhou, Slim Kallel, Ikbel Guidara and Zakaria Maamar   AbstractKeywords: Business process; Cloud; Edge; Time constraint; ViolationMSC: 68N19 68M11 A Tool-assisted Method for the Systematic Construction of Critical Embedded Systems using Event-B 315 - 338 Pascal André, Christian Attiogbé and Arnaud Lanoix   AbstractKeywords: Embedded control systems; Modelling method; Event-B patterns; ToolMSC: 68N19 68N30 Game-based learning and Gamification to improve skills in early years education 339 - 356 Rachid Lamrani and El Hassan Abdelwahed   AbstractKeywords: Early childhood education; Serious games; Gamification; Educational neuroscience; Pillars of learningMSC: 97C30 97C50 Article page: <<12

Issue 49 of 67Previous IssueNext Issue Articles 11 - 18 of 18Previous pageNext page Quick Search within Title/Keywords within Authors within MSC

Remote Address: 18.216.241.11 • Server: elib.mi.sanu.ac.rsHTTP User Agent: Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)