↓ 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 A Usability Evaluation of Interactive Theorem Provers Using Focus Groups
  3. Altmetric Badge
    Chapter 2 An Approach for Creating Domain Specific Visualisations of CSP Models
  4. Altmetric Badge
    Chapter 3 Using Z in the Development and Maintenance of Computational Models of Real-World Systems
  5. Altmetric Badge
    Chapter 4 When a Formal Model Rhymes with a Graphical Notation
  6. Altmetric Badge
    Chapter 5 On a Process Algebraic Representation of Sequence Diagrams
  7. Altmetric Badge
    Chapter 6 Modelling and Verification of Survivability Requirements for Critical Systems
  8. Altmetric Badge
    Chapter 7 Model-Based Verification of Safety Contracts
  9. Altmetric Badge
    Chapter 8 A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems
  10. Altmetric Badge
    Chapter 9 A Contracts-Based Framework for Systems Modeling and Embedded Diagnostics
  11. Altmetric Badge
    Chapter 10 Modelling and Verifying Smell-Free Architectures with the Archery Language
  12. Altmetric Badge
    Chapter 11 OntoLiFLOSS: Ontology for Learning Processes in FLOSS Communities
  13. Altmetric Badge
    Chapter 12 Process Mining Event Logs from FLOSS Data: State of the Art and Perspectives
  14. Altmetric Badge
    Chapter 13 A Latent Representation Model for Sentiment Analysis in Heterogeneous Social Networks
  15. Altmetric Badge
    Chapter 14 Use of Mobile Phone Data to Estimate Visitors Mobility Flows
  16. Altmetric Badge
    Chapter 15 An Abstract State Machine (ASM) Representation of Learning Process in FLOSS Communities
  17. Altmetric Badge
    Chapter 16 A Mathematical Model for Assessing KRAS Mutation Effect on Monoclonal Antibody Treatment of Colorectal Cancer
  18. Altmetric Badge
    Chapter 17 Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea
  19. Altmetric Badge
    Chapter 18 Research Challenges in Modelling Ecosystems
  20. Altmetric Badge
    Chapter 19 Retrieving Points of Interest from Human Systematic Movements
  21. Altmetric Badge
    Chapter 20 Path-Sensitive Race Detection with Partial Order Reduced Symbolic Execution
  22. Altmetric Badge
    Chapter 21 Phase-Type Approximations for Non-Markovian Systems: A Case Study
  23. Altmetric Badge
    Chapter 22 Quantitative Anonymity Evaluation of Voting Protocols
  24. Altmetric Badge
    Chapter 23 Scalable Verification of Markov Decision Processes
  25. Altmetric Badge
    Chapter 24 Towards Synthesis of Attack Trees for Supporting Computer-Aided Risk Analysis
  26. Altmetric Badge
    Chapter 25 On Generation of Context-Abstract Plans
  27. Altmetric Badge
    Chapter 26 A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF
Overall attention for this book and its chapters
Altmetric Badge

About this Attention Score

  • Above-average Attention Score compared to outputs of the same age (62nd percentile)
  • Above-average Attention Score compared to outputs of the same age and source (52nd percentile)

Mentioned by

4 tweeters


5 Dimensions

Readers on

14 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
Lecture notes in computer science, January 2015
DOI 10.1007/978-3-319-15201-1
978-3-31-915200-4, 978-3-31-915201-1

Carlos Canal, Akram Idani

Twitter Demographics

The data shown below were collected from the profiles of 4 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 14 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 14 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 3 21%
Researcher 3 21%
Student > Bachelor 2 14%
Student > Postgraduate 2 14%
Student > Ph. D. Student 1 7%
Other 1 7%
Unknown 2 14%
Readers by discipline Count As %
Computer Science 6 43%
Agricultural and Biological Sciences 1 7%
Business, Management and Accounting 1 7%
Biochemistry, Genetics and Molecular Biology 1 7%
Economics, Econometrics and Finance 1 7%
Other 1 7%
Unknown 3 21%

Attention Score in Context

This research output has an Altmetric Attention Score of 3. This is our high-level measure of the quality and quantity of online attention that it has received. This Attention Score, as well as the ranking and number of research outputs shown below, was calculated when the research output was last mentioned on 15 May 2015.
All research outputs
of 9,795,603 outputs
Outputs from Lecture notes in computer science
of 7,159 outputs
Outputs of similar age
of 284,990 outputs
Outputs of similar age from Lecture notes in computer science
of 86 outputs
Altmetric has tracked 9,795,603 research outputs across all sources so far. This one has received more attention than most of these and is in the 55th percentile.
So far Altmetric has tracked 7,159 research outputs from this source. They receive a mean Attention Score of 4.3. This one has gotten more attention than average, scoring higher than 57% of its peers.
Older research outputs will score higher simply because they've had more time to accumulate mentions. To account for age we can compare this Altmetric Attention Score to the 284,990 tracked outputs that were published within six weeks on either side of this one in any source. This one has gotten more attention than average, scoring higher than 62% of its contemporaries.
We're also able to compare this research output to 86 others from the same source and published within six weeks on either side of this one. This one has gotten more attention than average, scoring higher than 52% of its contemporaries.