↓ Skip to main content

Reliable Software Technologies - Ada-Europe 2001

Overview of attention for book
Cover of 'Reliable Software Technologies - Ada-Europe 2001'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Building Formal Requirements Models for Reliable Software
  3. Altmetric Badge
    Chapter 2 Using Ada in Interactive Digital Television Systems
  4. Altmetric Badge
    Chapter 3 Testing from Formal Specifications, a Generic Approach
  5. Altmetric Badge
    Chapter 4 Logic versus Magic in Critical Systems
  6. Altmetric Badge
    Chapter 5 Can Java™ Meet Its Real-Time Deadlines?
  7. Altmetric Badge
    Chapter 6 Parameter-Induced Aliasing in Ada
  8. Altmetric Badge
    Chapter 7 Slicing Tagged Objects in Ada
  9. Altmetric Badge
    Chapter 8 OASIS – An ASIS Secondary Library for Analyzing Object-Oriented Ada Code
  10. Altmetric Badge
    Chapter 9 Building Modern Distributed Systems
  11. Altmetric Badge
    Chapter 10 Reliable Communication in Distributed Computer-Controlled Systems
  12. Altmetric Badge
    Chapter 11 Building Robust Applications by Reusing Non-robust Legacy Software
  13. Altmetric Badge
    Chapter 12 New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements
  14. Altmetric Badge
    Chapter 13 Complex Task Implementation in Ada
  15. Altmetric Badge
    Chapter 14 Implementing a Flexible Scheduler in Ada
  16. Altmetric Badge
    Chapter 15 Expression Templates in Ada
  17. Altmetric Badge
    Chapter 16 A Design Pattern for State Machines and Concurrent Activities
  18. Altmetric Badge
    Chapter 17 Component Libraries and Language Features
  19. Altmetric Badge
    Chapter 18 Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software
  20. Altmetric Badge
    Chapter 19 Scenario-Based System Assessment
  21. Altmetric Badge
    Chapter 20 Test Suite Reduction and Fault Detecting Effectiveness: An Empirical Evaluation
  22. Altmetric Badge
    Chapter 21 JEWL: A GUI Library for Educational Use
  23. Altmetric Badge
    Chapter 22 Object-Oriented Stable Storage Based on Mirroring
  24. Altmetric Badge
    Chapter 23 Transaction Support for Ada
  25. Altmetric Badge
    Chapter 24 MaRTE OS: An Ada Kernel for Real-Time Embedded Applications
  26. Altmetric Badge
    Chapter 25 Implementing Ada.Real Time.Clock and Absolute Delays in Real-Time Kernels
  27. Altmetric Badge
    Chapter 26 Defining New Non-preemptive Dispatching and Locking Policies for Ada
  28. Altmetric Badge
    Chapter 27 Modelling Communication Interfaces with ComiX
  29. Altmetric Badge
    Chapter 28 Safe Web Forms and XML Processing with Ada
  30. Altmetric Badge
    Chapter 29 Mapping UML to Ada
  31. Altmetric Badge
    Chapter 30 Ship System 2000, a Stable Architecture under Continuous Evolution
  32. Altmetric Badge
    Chapter 31 Migrating Large Applications from Ada83 to Ada95
  33. Altmetric Badge
    Chapter 32 An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK
Attention for Chapter 3: Testing from Formal Specifications, a Generic Approach
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Readers on

mendeley
9 Mendeley
citeulike
1 CiteULike
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
Testing from Formal Specifications, a Generic Approach
Chapter number 3
Book title
Reliable SoftwareTechnologies — Ada-Europe 2001
Published by
Springer, Berlin, Heidelberg, May 2001
DOI 10.1007/3-540-45136-6_3
Book ISBNs
978-3-54-042123-8, 978-3-54-045136-5
Authors

Marie-Claude Gaudel, Gaudel, Marie-Claude

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 9 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 4 44%
Student > Bachelor 2 22%
Professor > Associate Professor 1 11%
Student > Master 1 11%
Unknown 1 11%
Readers by discipline Count As %
Computer Science 8 89%
Unknown 1 11%