ORPP logo
Image from Google Jackets

Dependable Software Systems Engineering.

By: Contributor(s): Material type: TextTextSeries: NATO Science for Peace and Security Series - d: Information and Communication Security SeriesPublisher: Amsterdam : IOS Press, Incorporated, 2015Copyright date: ©2015Edition: 1st edDescription: 1 online resource (320 pages)Content type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9781614994954
Subject(s): Genre/Form: Additional physical formats: Print version:: Dependable Software Systems EngineeringDDC classification:
  • 005.14
LOC classification:
  • QA76.76.V47 D474 2015
Online resources:
Contents:
DEPENDABLE SOFTWARE SYSTEMS ENGINEERING -- Preface -- Contents -- Syntax-Guided Synthesis -- Deconstructing Dynamic Symbolic Execution -- From Actions, Transactions, and Processes to Services -- System Behaviours and Problem Frames: Concepts, Concerns and the Role of Formalisms in the Development of Cyber-physical Systems -- Generating Process Models in Multi-View Environments -- Safety and Dependability -- Evolving Software Ecosystems A Historical and Ecological Perspective -- Framing the Frame Problem -- From Verification to Synthesis -- Defect-Based Testing -- Mechanised Theory Engineering in Isabelle -- A Theory of Networks: In the Beginning . . . -- Subject Index -- Author Index.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

DEPENDABLE SOFTWARE SYSTEMS ENGINEERING -- Preface -- Contents -- Syntax-Guided Synthesis -- Deconstructing Dynamic Symbolic Execution -- From Actions, Transactions, and Processes to Services -- System Behaviours and Problem Frames: Concepts, Concerns and the Role of Formalisms in the Development of Cyber-physical Systems -- Generating Process Models in Multi-View Environments -- Safety and Dependability -- Evolving Software Ecosystems A Historical and Ecological Perspective -- Framing the Frame Problem -- From Verification to Synthesis -- Defect-Based Testing -- Mechanised Theory Engineering in Isabelle -- A Theory of Networks: In the Beginning . . . -- Subject Index -- Author Index.

Description based on publisher supplied metadata and other sources.

Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2024. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.

There are no comments on this title.

to post a comment.

© 2024 Resource Centre. All rights reserved.