↓ Skip to main content

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

Overview of attention for book
Cover of 'Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Evolving Critical Systems - Track Introduction
  3. Altmetric Badge
    Chapter 2 Statistical Abstraction Boosts Design and Test Efficiency of Evolving Critical Systems
  4. Altmetric Badge
    Chapter 3 Combinatory Logic Synthesizer
  5. Altmetric Badge
    Chapter 4 Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows
  6. Altmetric Badge
    Chapter 5 Prototype-Driven Development of Web Applications with DyWA
  7. Altmetric Badge
    Chapter 6 Domain-Specific Languages for Enterprise Systems
  8. Altmetric Badge
    Chapter 7 Introduction to “Rigorous Engineering of Autonomic Ensembles”– Track Introduction
  9. Altmetric Badge
    Chapter 8 Helena @Work: Modeling the Science Cloud Platform
  10. Altmetric Badge
    Chapter 9 Formalizing Self-adaptive Clouds with KnowLang
  11. Altmetric Badge
    Chapter 10 Towards Performance-Aware Engineering of Autonomic Component Ensembles
  12. Altmetric Badge
    Chapter 11 Self-expression and Dynamic Attribute-Based Ensembles in SCEL
  13. Altmetric Badge
    Chapter 12 On Programming and Policing Autonomic Computing Systems
  14. Altmetric Badge
    Chapter 13 Rigorous System Design Flow for Autonomous Systems
  15. Altmetric Badge
    Chapter 14 Learning Models for Verification and Testing — Special Track at ISoLA 2014 Track Introduction
  16. Altmetric Badge
    Chapter 15 Algorithms for Inferring Register Automata
  17. Altmetric Badge
    Chapter 16 Active Learning of Nondeterministic Systems from an ioco Perspective
  18. Altmetric Badge
    Chapter 17 Verification of GUI Applications: A Black-Box Approach
  19. Altmetric Badge
    Chapter 18 Fomal Methods and Analyses in Software Product Line Engineering
  20. Altmetric Badge
    Chapter 19 A Core Language for Separate Variability Modeling
  21. Altmetric Badge
    Chapter 20 Domain Specific Languages for Managing Feature Models: Advances and Challenges
  22. Altmetric Badge
    Chapter 21 Delta-Trait Programming of Software Product Lines
  23. Altmetric Badge
    Chapter 22 Deployment Variability in Delta-Oriented Models
  24. Altmetric Badge
    Chapter 23 DeltaCCS: A Core Calculus for Behavioral Change
  25. Altmetric Badge
    Chapter 24 Coverage Criteria for Behavioural Testing of Software Product Lines
  26. Altmetric Badge
    Chapter 25 Challenges in Modelling and Analyzing Quantitative Aspects of Bike-Sharing Systems
  27. Altmetric Badge
    Chapter 26 Towards Modular Verification of Software Product Lines with mCRL2
  28. Altmetric Badge
    Chapter 27 Model-Based Code-Generators and Compilers - Track Introduction
  29. Altmetric Badge
    Chapter 28 DSL Implementation for Model-Based Development of Pumps
  30. Altmetric Badge
    Chapter 29 Building Code Generators for DSLs Using a Partial Evaluator for the Xtend Language
  31. Altmetric Badge
    Chapter 30 Back-To-Back Testing of Model-Based Code Generators
  32. Altmetric Badge
    Chapter 31 Rewriting Object Models With Cycles and Nested Collections
  33. Altmetric Badge
    Chapter 32 Compiling SCCharts — A Case-Study on Interactive Model-Based Compilation
  34. Altmetric Badge
    Chapter 33 Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems
  35. Altmetric Badge
    Chapter 34 Tutorial: Automata Learning in Practice
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user

Readers on

mendeley
40 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.
Title
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Published by
Lecture notes in computer science, January 2014
DOI 10.1007/978-3-662-45234-9
ISBNs
978-3-66-245233-2, 978-3-66-245234-9
Authors

Tiziana Margaria, Bernhard Steffen

Editors

Margaria, Tiziana, Steffen, Bernhard

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user 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 40 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Sweden 2 5%
United States 1 3%
Italy 1 3%
Brazil 1 3%
Unknown 35 88%

Demographic breakdown

Readers by professional status Count As %
Student > Master 11 28%
Researcher 8 20%
Student > Ph. D. Student 7 18%
Student > Bachelor 4 10%
Student > Postgraduate 4 10%
Other 3 8%
Unknown 3 8%
Readers by discipline Count As %
Computer Science 29 73%
Business, Management and Accounting 3 8%
Engineering 2 5%
Agricultural and Biological Sciences 1 3%
Unknown 5 13%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 1. 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 03 October 2014.
All research outputs
#15,368,104
of 22,862,742 outputs
Outputs from Lecture notes in computer science
#4,647
of 8,127 outputs
Outputs of similar age
#190,367
of 305,632 outputs
Outputs of similar age from Lecture notes in computer science
#163
of 280 outputs
Altmetric has tracked 22,862,742 research outputs across all sources so far. This one is in the 22nd percentile – i.e., 22% of other outputs scored the same or lower than it.
So far Altmetric has tracked 8,127 research outputs from this source. They receive a mean Attention Score of 5.0. This one is in the 27th percentile – i.e., 27% of its peers scored the same or lower than it.
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 305,632 tracked outputs that were published within six weeks on either side of this one in any source. This one is in the 27th percentile – i.e., 27% of its contemporaries scored the same or lower than it.
We're also able to compare this research output to 280 others from the same source and published within six weeks on either side of this one. This one is in the 28th percentile – i.e., 28% of its contemporaries scored the same or lower than it.