From Software Engineering to Formal Methods and Tools, and Back - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

32
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783030309848, 9783030309855
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Formal Methods in Designing Critical Cyber-Physical Systems

2019 ◽  
pp. 110-130 ◽  
Author(s):  
Mehrnoosh Askarpour ◽  
Carlo Ghezzi ◽  
Dino Mandrioli ◽  
Matteo Rossi ◽  
Christos Tsigkanos
Keyword(s):  
Formal Methods ◽  
Cyber Physical Systems ◽  
Physical Systems

Automata-Based Behavioural Contracts with Action Correlation

2019 ◽  
pp. 131-151
Author(s):  
Davide Basile ◽  
Rosario Pugliese ◽  
Francesco Tiezzi ◽  
Pierpaolo Degano ◽  
Gian-Luigi Ferrari

A Decade of Featured Transition Systems

2019 ◽  
pp. 285-312 ◽  
Author(s):  
Maxime Cordy ◽  
Xavier Devroey ◽  
Axel Legay ◽  
Gilles Perrouin ◽  
Andreas Classen ◽  
...  
Keyword(s):  
Transition Systems

QuOD: An NLP Tool to Improve the Quality of Business Process Descriptions

2019 ◽  
pp. 267-281 ◽  
Author(s):  
Alessio Ferrari ◽  
Giorgio O. Spagnolo ◽  
Antonella Fiscella ◽  
Guido Parente
Keyword(s):  
Business Process

Comparing Results of Natural Language Disambiguation Tools with Reports of Manual Reviews of Safety-Related Standards

2019 ◽  
pp. 239-249
Author(s):  
Isabella Biscoglio ◽  
Attilio Ciancabilla ◽  
Mario Fusani ◽  
Giuseppe Lami ◽  
Gianluca Trentanni
Keyword(s):  
Natural Language

The Legacy of Stefania Gnesi

2019 ◽  
pp. 1-11
Author(s):  
Maurice H. ter Beek ◽  
Alessandro Fantechi ◽  
Laura Semini

scholarly journals Ambiguity in Requirements Engineering: Towards a Unifying Framework

2019 ◽  
pp. 191-210 ◽  
Author(s):  
Vincenzo Gervasi ◽  
Alessio Ferrari ◽  
Didar Zowghi ◽  
Paola Spoletini
Keyword(s):  
Requirements Engineering
Load More ...
Sign in / Sign up

Export Citation Format

Share Document