Science of Computer Programming
Latest Publications

TOTAL DOCUMENTS

2805
(FIVE YEARS 224)

H-INDEX

65
(FIVE YEARS 3)

Published By Elsevier

0167-6423
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Modelling and verifying BDI agents with bigraphs

2022 ◽  
Vol 215 ◽  
pp. 102760 ◽  
Author(s):  
Blair Archibald ◽  
Muffy Calder ◽  
Michele Sevegnani ◽  
Mengwei Xu
Keyword(s):  
Bdi Agents

B model quality assessments on automated reachability repair with ISO/IEC 25010

2022 ◽  
Vol 214 ◽  
pp. 102732
Author(s):  
Cheng-Hao Cai ◽  
Jing Sun ◽  
Gillian Dobbie
Keyword(s):  
Model Quality ◽  
Quality Assessments

scholarly journals Safety assurance of an industrial robotic control system using hardware/software co-verification

2022 ◽  
pp. 102766
Author(s):  
Yvonne Murray ◽  
Martin Sirevåg ◽  
Pedro Ribeiro ◽  
David A. Anisi ◽  
Morten Mossige
Keyword(s):  
Control System ◽  
Robotic Control ◽  
Safety Assurance

scholarly journals Formally Verified Architectural Patterns of Hybrid Systems Using Proof and Refinement with Event-B

2021 ◽  
pp. 102765
Author(s):  
Guillaume Dupont ◽  
Yamine Ait-Ameur ◽  
Neeraj Kumar Singh ◽  
Marc Pantel
Keyword(s):  
Hybrid Systems ◽  
Architectural Patterns

scholarly journals A Two-Level Formal Model for Big Data Processing Programs

2021 ◽  
pp. 102764
Author(s):  
João Batista de Souza Neto ◽  
Anamaria Martins Moreira ◽  
Genoveva Vargas-Solar ◽  
Martin A. Musicante
Keyword(s):  
Big Data ◽  
Data Processing ◽  
Formal Model ◽  
Big Data Processing
Load More ...
Sign in / Sign up

Export Citation Format

Share Document