↓ Skip to main content

From Software Engineering to Formal Methods and Tools, and Back

Overview of attention for book
Cover of 'From Software Engineering to Formal Methods and Tools, and Back'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 The Legacy of Stefania Gnesi
  3. Altmetric Badge
    Chapter 2 From Dynamic Programming to Programming Science
  4. Altmetric Badge
    Chapter 3 Ten Years of Self-adaptive Systems: From Dynamic Ensembles to Collective Adaptive Systems
  5. Altmetric Badge
    Chapter 4 Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital Twin
  6. Altmetric Badge
    Chapter 5 Changing Software in a Changing World: How to Test in Presence of Variability, Adaptation and Evolution?
  7. Altmetric Badge
    Chapter 6 Improving Software Engineering Research Through Experimentation Workbenches
  8. Altmetric Badge
    Chapter 7 Innovating Medical Image Analysis via Spatial Logics
  9. Altmetric Badge
    Chapter 8 Formal Methods in Designing Critical Cyber-Physical Systems
  10. Altmetric Badge
    Chapter 9 Automata-Based Behavioural Contracts with Action Correlation
  11. Altmetric Badge
    Chapter 10 Logical Support for Bike-Sharing System Design
  12. Altmetric Badge
    Chapter 11 A Generic Dynamic Logic with Applications to Interaction-Based Systems
  13. Altmetric Badge
    Chapter 12 Ambiguity in Requirements Engineering: Towards a Unifying Framework
  14. Altmetric Badge
    Chapter 13 QuARS: A Pioneer Tool for NL Requirement Analysis
  15. Altmetric Badge
    Chapter 14 Detecting Feature Interactions in FORML Models
  16. Altmetric Badge
    Chapter 15 Comparing Results of Natural Language Disambiguation Tools with Reports of Manual Reviews of Safety-Related Standards
  17. Altmetric Badge
    Chapter 16 Looking Inside the Black Box: Core Semantics Towards Accountability of Artificial Intelligence
  18. Altmetric Badge
    Chapter 17 QuOD: An NLP Tool to Improve the Quality of Business Process Descriptions
  19. Altmetric Badge
    Chapter 18 A Decade of Featured Transition Systems
  20. Altmetric Badge
    Chapter 19 Product Line Verification via Modal Meta Model Checking
  21. Altmetric Badge
    Chapter 20 Towards Model Checking Product Lines in the Digital Humanities: An Application to Historical Data
  22. Altmetric Badge
    Chapter 21 Variability Modelling and Analysis During 30 Years
  23. Altmetric Badge
    Chapter 22 A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems
  24. Altmetric Badge
    Chapter 23 On the Prediction of Smart Contracts’ Behaviours
  25. Altmetric Badge
    Chapter 24 Hunting Superfluous Locks with Model Checking
  26. Altmetric Badge
    Chapter 25 Formal Verification of Railway Timetables - Using the UPPAAL Model Checker
  27. Altmetric Badge
    Chapter 26 An Axiomatization of Strong Distribution Bisimulation for a Language with a Parallel Operator and Probabilistic Choice
  28. Altmetric Badge
    Chapter 27 Enabling Auditing of Smart Contracts Through Process Mining
  29. Altmetric Badge
    Chapter 28 A Refined Framework for Model-Based Assessment of Energy Consumption in the Railway Sector
  30. Altmetric Badge
    Chapter 29 Modelling of Railway Signalling System Requirements by Controlled Natural Languages: A Case Study
  31. Altmetric Badge
    Chapter 30 Single-Step and Asymptotic Mutual Information in Bipartite Boolean Nets
  32. Altmetric Badge
    Chapter 31 Application of Model Checking to Fault Tolerance Analysis
  33. Altmetric Badge
    Chapter 32 How Formal Methods Can Contribute to 5G Networks
Attention for Chapter 29: Modelling of Railway Signalling System Requirements by Controlled Natural Languages: A Case Study
Altmetric Badge

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
9 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Modelling of Railway Signalling System Requirements by Controlled Natural Languages: A Case Study
Chapter number 29
Book title
From Software Engineering to Formal Methods and Tools, and Back
Published by
Springer, Cham, January 2019
DOI 10.1007/978-3-030-30985-5_29
Book ISBNs
978-3-03-030984-8, 978-3-03-030985-5
Authors

Gabriele Lenzini, Marinella Petrocchi, Lenzini, Gabriele, Petrocchi, Marinella

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 9 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 9 100%

Demographic breakdown

Readers by professional status Count As %
Researcher 3 33%
Student > Ph. D. Student 2 22%
Professor > Associate Professor 2 22%
Student > Master 1 11%
Unknown 1 11%
Readers by discipline Count As %
Computer Science 6 67%
Medicine and Dentistry 1 11%
Unknown 2 22%