Mathematical Institute eLibrary of Mathematical Instituteof the Serbian Academy of Sciences and Arts Mathematical Institute
> Home / All Journals / Journal /
Front Page Computer Science and Information SystemsPublisher: ComSIS Consortium, Novi SadISSN: 1820-0214Issue: 17_1Date: 2020Journal Homepage

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

Remote Address: • Server: User Agent: CCBot/2.0 (