↓ 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 Distributed Information Management with XML and Web Services
  3. Altmetric Badge
    Chapter 2 A Formal Treatment of Context-Awareness
  4. Altmetric Badge
    Chapter 3 Consistent Adaptation and Evolution of Class Diagrams during Refinement
  5. Altmetric Badge
    Chapter 4 Measuring Aspect Cohesion
  6. Altmetric Badge
    Chapter 5 Refactoring Object-Z Specifications
  7. Altmetric Badge
    Chapter 6 Checking Absence of Illicit Applet Interactions: A Case Study
  8. Altmetric Badge
    Chapter 7 A Tool-Assisted Framework for Certified Bytecode Verification
  9. Altmetric Badge
    Chapter 8 Reasoning about Card Tears and Transactions in Java Card
  10. Altmetric Badge
    Chapter 9 Predictable Dynamic Plugin Systems
  11. Altmetric Badge
    Chapter 10 A Correlation Framework for the CORBA Component Model
  12. Altmetric Badge
    Chapter 11 Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems
  13. Altmetric Badge
    Chapter 12 Actor-Centric Modeling of User Rights
  14. Altmetric Badge
    Chapter 13 Modeling Role-Based Access Control Using Parameterized UML Models
  15. Altmetric Badge
    Chapter 14 Compositional Nested Long Running Transactions
  16. Altmetric Badge
    Chapter 15 DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets
  17. Altmetric Badge
    Chapter 16 Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation
  18. Altmetric Badge
    Chapter 17 An Operational Semantics for Stateflow
  19. Altmetric Badge
    Chapter 18 Improving Use Case Based Requirements Using Formally Grounded Specifications
  20. Altmetric Badge
    Chapter 19 The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design
  21. Altmetric Badge
    Chapter 20 Automated Debugging Using Path-Based Weakest Preconditions
  22. Altmetric Badge
    Chapter 21 Filtering TOBIAS Combinatorial Test Suites
  23. Altmetric Badge
    Chapter 22 Systematic Testing of Software Architectures in the C2 Style
  24. Altmetric Badge
    Chapter 23 Optimising Communication Structure for Model Checking
  25. Altmetric Badge
    Chapter 24 Translating Software Designs for Model Checking
  26. Altmetric Badge
    Chapter 25 Enhancing Remote Method Invocation through Type-Based Static Analysis
  27. Altmetric Badge
    Chapter 26 Specification and Analysis of Real-Time Systems Using Real-Time Maude
  28. Altmetric Badge
    Chapter 27 A Systematic Methodology for Developing Component Frameworks
  29. Altmetric Badge
    Chapter 28 Automating Decisions in Component Composition Based on Propagation of Requirements
Attention for Chapter 17: An Operational Semantics for Stateflow
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Readers on

mendeley
4 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
An Operational Semantics for Stateflow
Chapter number 17
Book title
Fundamental Approaches to Software Engineering
Published by
Springer, Berlin, Heidelberg, March 2004
DOI 10.1007/978-3-540-24721-0_17
Book ISBNs
978-3-54-021305-5, 978-3-54-024721-0
Authors

Grégoire Hamon, John Rushby, Hamon, Grégoire, Rushby, John

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Lithuania 1 25%
United States 1 25%
Unknown 2 50%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 50%
Professor > Associate Professor 1 25%
Student > Master 1 25%
Readers by discipline Count As %
Computer Science 4 100%