↓ Skip to main content

Fundamental Approaches to Software Engineering

Overview of attention for book
Cover of 'Fundamental Approaches to Software Engineering'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Software Assurance in an Uncertain World
  3. Altmetric Badge
    Chapter 2 Tool Support for Correctness-by-Construction
  4. Altmetric Badge
    Chapter 3 Automatic Modeling of Opaque Code for JavaScript Static Analysis
  5. Altmetric Badge
    Chapter 4 SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language
  6. Altmetric Badge
    Chapter 5 A Hybrid Dynamic Logic for Event/Data-Based Systems
  7. Altmetric Badge
    Chapter 6 Pyro: Generating Domain-Specific Collaborative Online Modeling Environments
  8. Altmetric Badge
    Chapter 7 Efficient Model Synchronization by Automatically Constructed Repair Processes
  9. Altmetric Badge
    Chapter 8 Offline Delta-Driven Model Transformation with Dependency Injection
  10. Altmetric Badge
    Chapter 9 A Logic-Based Incremental Approach to Graph Repair
  11. Altmetric Badge
    Chapter 10 DeepFault: Fault Localization for Deep Neural Networks
  12. Altmetric Badge
    Chapter 11 Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL
  13. Altmetric Badge
    Chapter 12 Formal Verification of Safety & Security Related Timing Constraints for a Cooperative Automotive System
  14. Altmetric Badge
    Chapter 13 Checking Observational Purity of Procedures
  15. Altmetric Badge
    Chapter 14 Structural and Nominal Cross-Language Clone Detection
  16. Altmetric Badge
    Chapter 15 SL2SF: Refactoring Simulink to Stateflow
  17. Altmetric Badge
    Chapter 16 Metric Temporal Graph Logic over Typed Attributed Graphs
  18. Altmetric Badge
    Chapter 17 KupC : A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs
  19. Altmetric Badge
    Chapter 18 Business Process Privacy Analysis in Pleak
  20. Altmetric Badge
    Chapter 19 CLTestCheck: Measuring Test Effectiveness for GPU Kernels
  21. Altmetric Badge
    Chapter 20 Implementing SOS with Active Objects: A Case Study of a Multicore Memory System
  22. Altmetric Badge
    Chapter 21 Optimal and Automated Deployment for Microservices
  23. Altmetric Badge
    Chapter 22 A Data Flow Model with Frequency Arithmetic
  24. Altmetric Badge
    Chapter 23 CoVeriTest: Cooperative Verifier-Based Testing
  25. Altmetric Badge
    Chapter 24 : Priority Aware Test Case Reduction
  26. Altmetric Badge
    Chapter 25 Automatically Identifying Sufficient Object Builders from Module APIs
Attention for Chapter 18: Business Process Privacy Analysis in Pleak
Altmetric Badge

Mentioned by

twitter
2 X users

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
16 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
Business Process Privacy Analysis in Pleak
Chapter number 18
Book title
Fundamental Approaches to Software Engineering
Published by
Springer, Cham, April 2019
DOI 10.1007/978-3-030-16722-6_18
Book ISBNs
978-3-03-016721-9, 978-3-03-016722-6
Authors

Aivo Toots, Reedik Tuuling, Maksym Yerokhin, Marlon Dumas, Luciano García-Bañuelos, Peeter Laud, Raimundas Matulevičius, Alisa Pankova, Martin Pettai, Pille Pullonen, Jake Tom

X Demographics

X Demographics

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

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 16 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 3 19%
Researcher 2 13%
Professor 2 13%
Other 1 6%
Student > Ph. D. Student 1 6%
Other 1 6%
Unknown 6 38%
Readers by discipline Count As %
Computer Science 8 50%
Business, Management and Accounting 1 6%
Economics, Econometrics and Finance 1 6%
Unknown 6 38%