↓ 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
Attention for Chapter 17: Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea
Altmetric Badge

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
12 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
Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea
Chapter number 17
Book title
Software Engineering and Formal Methods
Published by
Springer, Cham, September 2014
DOI 10.1007/978-3-319-15201-1_17
Book ISBNs
978-3-31-915200-4, 978-3-31-915201-1
Authors

Cesar Augusto Nieto Coria, Luca Tesei, Giuseppe Scarcella, Tommaso Russo, Emanuela Merelli

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 12 100%

Demographic breakdown

Readers by professional status Count As %
Researcher 4 33%
Professor 2 17%
Student > Master 2 17%
Student > Ph. D. Student 1 8%
Unknown 3 25%
Readers by discipline Count As %
Computer Science 3 25%
Environmental Science 2 17%
Agricultural and Biological Sciences 2 17%
Business, Management and Accounting 1 8%
Engineering 1 8%
Other 0 0%
Unknown 3 25%