Formal Aspects of Component Software - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

14
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783319680330, 9783319680347
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Certification of Workflows in a Component-Based Cloud of High Performance Computing Services

2017 ◽  
pp. 198-215 ◽  
Author(s):  
Allberson B. de Oliveira Dantas ◽  
F. Heron de Carvalho Junior ◽  
Luis S. Barbosa
Keyword(s):  
High Performance Computing ◽  
High Performance ◽  
Computing Services ◽  
Performance Computing

The Implementation of Object Propositions: The Oprop Verification Tool

2017 ◽  
pp. 179-197 ◽  
Author(s):  
Ligia Nistor ◽  
Jonathan Aldrich
Keyword(s):  
Verification Tool

scholarly journals TOM: A Model-Based GUI Testing Framework

2017 ◽  
pp. 155-161
Author(s):  
Miguel Pinto ◽  
Marcelo Gonçalves ◽  
Paolo Masci ◽  
José Creissac Campos
Keyword(s):  
Testing Framework ◽  
Gui Testing ◽  
Model Based

A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches

2017 ◽  
pp. 58-77 ◽  
Author(s):  
Shiji Bijo ◽  
Einar Broch Johnsen ◽  
Ka I Pun ◽  
Silvia Lizeth Tapia Tarifa
Keyword(s):  
Formal Model ◽  
Parallel Execution ◽  
Multicore Architectures

Correctness-by-Learning of Infinite-State Component-Based Systems

2017 ◽  
pp. 162-178
Author(s):  
Haitham Bou-Ammar ◽  
Mohamad Jaber ◽  
Mohamad Nassar
Keyword(s):  
Infinite State ◽  
State Component

scholarly journals Coordination of Dynamic Software Components with JavaBIP

2017 ◽  
pp. 39-57 ◽  
Author(s):  
Anastasia Mavridou ◽  
Valentin Rutz ◽  
Simon Bliudze
Keyword(s):  
Software Components ◽  
Dynamic Software

Component-Based Modeling in Mediator

2017 ◽  
pp. 1-19 ◽  
Author(s):  
Yi Li ◽  
Meng Sun

scholarly journals Safety Analysis of Software Components of a Dialysis Machine Using Model Checking

2017 ◽  
pp. 137-154 ◽  
Author(s):  
M. D. Harrison ◽  
M. Drinnan ◽  
J. C. Campos ◽  
P. Masci ◽  
L. Freitas ◽  
...  
Keyword(s):  
Model Checking ◽  
Safety Analysis ◽  
Software Components

On Weighted Configuration Logics

2017 ◽  
pp. 98-116 ◽  
Author(s):  
Paulina Paraponiari ◽  
George Rahonis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document