↓ Skip to main content

Perspectives in Business Informatics Research

Overview of attention for book
Cover of 'Perspectives in Business Informatics Research'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 How Smart Cities Explore New Technologies
  3. Altmetric Badge
    Chapter 2 Comparison of Different Requirements for Digital Workplace Health Promotion
  4. Altmetric Badge
    Chapter 3 Blockchain Awareness Among Computer Science Students: A Preliminary Study
  5. Altmetric Badge
    Chapter 4 Researching Participatory Modeling Sessions: An Experimental Study on the Influence of Evaluation Potential and the Opportunity to Draw Oneself
  6. Altmetric Badge
    Chapter 5 Automated Formal Verification of Model Transformations Using the Invariants Mechanism
  7. Altmetric Badge
    Chapter 6 Multi-criteria Ranking Based on Joint Distributions
  8. Altmetric Badge
    Chapter 7 Towards Ecosystemic Stance in Finnish Public Sector Enterprise Architecture
  9. Altmetric Badge
    Chapter 8 Data Mining Methodologies in the Banking Domain: A Systematic Literature Review
  10. Altmetric Badge
    Chapter 9 Multi-component Infrastructure for e-Lectures
  11. Altmetric Badge
    Chapter 10 Enterprise Architecture Oriented Requirements Engineering for Open Data Usage in Schools
  12. Altmetric Badge
    Chapter 11 Deriving Key Performance Indicators from Business Process Model
  13. Altmetric Badge
    Chapter 12 The Unexpected Benefits of Paying for Information: The Effects of Payment on Information Source Choices and Epistemic Thinking
  14. Altmetric Badge
    Chapter 13 The snippets taxonomy in web search engines
  15. Altmetric Badge
    Chapter 14 Model-Driven Context Configuration in Business Process Management Systems: An Approach Based on Knowledge Graphs
  16. Altmetric Badge
    Chapter 15 Can I Help You? – The Acceptance of Intelligent Personal Assistants
  17. Altmetric Badge
    Chapter 16 Understanding the Habits: Inertia in Flipped Classroom
  18. Altmetric Badge
    Chapter 17 Patient Acceptance of Health Cards and Health Insurance Information Systems
Attention for Chapter 5: Automated Formal Verification of Model Transformations Using the Invariants Mechanism
Altmetric Badge

Readers on

mendeley
5 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
Automated Formal Verification of Model Transformations Using the Invariants Mechanism
Chapter number 5
Book title
Perspectives in Business Informatics Research
Published by
Springer, Cham, September 2019
DOI 10.1007/978-3-030-31143-8_5
Book ISBNs
978-3-03-031142-1, 978-3-03-031143-8
Authors

Boris Ulitin, Eduard Babkin, Tatiana Babkina, Arsenii Vizgunov, Ulitin, Boris, Babkin, Eduard, Babkina, Tatiana, Vizgunov, Arsenii

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 5 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 40%
Unspecified 1 20%
Student > Bachelor 1 20%
Unknown 1 20%
Readers by discipline Count As %
Unspecified 1 20%
Medicine and Dentistry 1 20%
Engineering 1 20%
Unknown 2 40%