↓ Skip to main content
What is this page? Embed badge

Present and Ulterior Software Engineering

Overview of attention for book
Cover of 'Present and Ulterior Software Engineering'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Engineering by Software: System Behaviours as Components
  3. Altmetric Badge
    Chapter 2 What Is a Procedure?
  4. Altmetric Badge
    Chapter 3 The Evolution and Ecosystem of the Unified Modeling Language
  5. Altmetric Badge
    Chapter 4 A Theory of Networking and Its Contributions to Software Engineering
  6. Altmetric Badge
    Chapter 5 On Language Interfaces
  7. Altmetric Badge
    Chapter 6 Moldable Tools for Object-Oriented Development
  8. Altmetric Badge
    Chapter 7 The Changing Face of Model-Driven Engineering
  9. Altmetric Badge
    Chapter 8 Borealis Bounded Model Checker: The Coming of Age Story
  10. Altmetric Badge
    Chapter 9 How to Make Visual Modeling More Attractive to Software Developers
  11. Altmetric Badge
    Chapter 10 Intrinsic Redundancy for Reliability and Beyond
  12. Altmetric Badge
    Chapter 11 Sound Simulation and Co-simulation for Robotics
  13. Altmetric Badge
    Chapter 12 Microservices: Yesterday, Today, and Tomorrow
  14. Altmetric Badge
    Chapter 13 Microservices: A Language-Based Approach
Attention for Chapter 8: Borealis Bounded Model Checker: The Coming of Age Story
Altmetric Badge

Citations

dimensions_citation
27 Dimensions

Readers on

mendeley
2 Mendeley
Summary Dimensions citations
So far, Dimensions has found 27 publications that cite this research output.

27

The most recent citing publications are shown below. View all 27 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.