↓ Skip to main content

Software Engineering and Formal Methods

Overview of attention for book
Cover of 'Software Engineering and Formal Methods'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Temporal Analytics for Software Usage Models
  3. Altmetric Badge
    Chapter 2 Sequential Pattern Mining for ICT Risk Assessment and Prevention
  4. Altmetric Badge
    Chapter 3 Student Performance Prediction and Optimal Course Selection: An MDP Approach
  5. Altmetric Badge
    Chapter 4 An Algorithm for Simulating Human Selective Attention
  6. Altmetric Badge
    Chapter 5 Learning Decision Trees from Synthetic Data Models for Human Security Behaviour
  7. Altmetric Badge
    Chapter 6 Controlling Production Variances in Complex Business Processes
  8. Altmetric Badge
    Chapter 7 A Computational Model of Internet Addiction Phenomena in Social Networks
  9. Altmetric Badge
    Chapter 8 What Belongs to Context?
  10. Altmetric Badge
    Chapter 9 Finding All Minimum-Size DFA Consistent with Given Examples: SAT-Based Approach
  11. Altmetric Badge
    Chapter 10 Intercepting Blackhole Attacks in MANETs: An ASM-based Model
  12. Altmetric Badge
    Chapter 11 Formalizing Monitoring Processes for Large-Scale Distributed Systems Using Abstract State Machines
  13. Altmetric Badge
    Chapter 12 Design-Time to Run-Time Verification of Microservices Based Applications
  14. Altmetric Badge
    Chapter 13 Generalized Oracle for Testing Machine Learning Computer Programs
  15. Altmetric Badge
    Chapter 14 A Formal Framework for Specifying and Verifying Microservices Based Process Flows
  16. Altmetric Badge
    Chapter 15 Towards a Taxonomy of Microservices Architectures
  17. Altmetric Badge
    Chapter 16 Towards a Reference Dataset of Microservice-Based Applications
  18. Altmetric Badge
    Chapter 17 Towards a UML Profile for Domain-Driven Design of Microservice Architectures
  19. Altmetric Badge
    Chapter 18 A Framework for Modelling Variable Microservices as Software Product Lines
  20. Altmetric Badge
    Chapter 19 A Refinement Approach to Analyse Critical Cyber-Physical Systems
  21. Altmetric Badge
    Chapter 20 Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems
  22. Altmetric Badge
    Chapter 21 Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle
  23. Altmetric Badge
    Chapter 22 Co-simulation Between Trnsys and Simulink Based on Type155
  24. Altmetric Badge
    Chapter 23 Development of a Driverless Lawn Mower Using Co-simulation
  25. Altmetric Badge
    Chapter 24 Approximated Stability Analysis of Bi-modal Hybrid Co-simulation Scenarios
  26. Altmetric Badge
    Chapter 25 Towards Resilience-Explicit Modelling and Co-simulation of Cyber-Physical Systems
  27. Altmetric Badge
    Chapter 26 Features of Integrated Model-Based Co-modelling and Co-simulation Technology
  28. Altmetric Badge
    Chapter 27 A Tool Integration Language to Formalize Co-simulation Tool-Chains for Cyber-Physical System (CPS)
  29. Altmetric Badge
    Chapter 28 A Framework for Analyzing Adaptive Autonomous Aerial Vehicles
  30. Altmetric Badge
    Chapter 29 Co-simulation of Semi-autonomous Systems: The Line Follower Robot Case Study
  31. Altmetric Badge
    Chapter 30 A Framework for the Co-simulation of Engine Controls and Task Scheduling
  32. Altmetric Badge
    Chapter 31 Formalising Cosimulation Models
  33. Altmetric Badge
    Chapter 32 Towards the Performance Analysis of Elastic Systems with e-Motions
  34. Altmetric Badge
    Chapter 33 From (Incomplete) TOSCA Specifications to Running Applications, with Docker
  35. Altmetric Badge
    Chapter 34 Combining Trust and Aggregate Computing
  36. Altmetric Badge
    Chapter 35 Reasoning About Sensing Uncertainty in Decision-Making for Self-adaptation
  37. Altmetric Badge
    Chapter 36 Lightweight Preprocessing for Agent-Based Simulation of Smart Mobility Initiatives
  38. Altmetric Badge
    Chapter 37 Using Coq for Formal Modeling and Verification of Timed Connectors
  39. Altmetric Badge
    Chapter 38 An Initial User Study Comparing the Readability of a Graphical Coordination Model with Event-B Notation
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

2 tweeters
1 Facebook page
1 Google+ user


2 Dimensions

Readers on

34 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.
Software Engineering and Formal Methods
Published by
Springer International Publishing, February 2018
DOI 10.1007/978-3-319-74781-1
978-3-31-974780-4, 978-3-31-974781-1

Cerone, Antonio, Roveri, Marco

Twitter Demographics

The data shown below were collected from the profiles of 2 tweeters who shared this research output. Click here to find out more about how the information was compiled.

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 34 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 7 21%
Student > Master 7 21%
Student > Doctoral Student 3 9%
Student > Bachelor 3 9%
Other 1 3%
Other 1 3%
Unknown 12 35%
Readers by discipline Count As %
Computer Science 14 41%
Engineering 4 12%
Energy 1 3%
Design 1 3%
Unknown 14 41%