The Resource Software and Systems Safety : Specification and Verification

Software and Systems Safety : Specification and Verification

Label
Software and Systems Safety : Specification and Verification
Title
Software and Systems Safety
Title remainder
Specification and Verification
Creator
Contributor
Subject
Genre
Language
eng
Summary
Information security depends upon an understanding of the functionality of software systems. Customers and information can only be protected from attack if this functionality is guaranteed to be correct and safe. A scientific foundation of software engineering not only provides models enabling the capture of application domains and requirements, but also ensures an understanding of the structure and working of software systems, architectures and programs. This book presents contributions based on the lectures delivered at the 31st International Summer School: Software and Systems Safety: Specification and Verification held at Marktoberdorf, Germany, in August 2010, and provides an excellent overview of current research results with special emphasis on software information security. Leading international researchers and experts present their experience in the specification and verification of software systems, accompanied by corresponding tools and methods.Subjects addressed include: model-based testing, schemes and patterns of assumption/promise-based system specification, requirements models for critical systems, engineering evolving and self-adaptive systems, unifying models of data flow, model-based verification and analysis of real-time systems and model checking. The book will be of interest to all those dealing with information systems for whom security is of paramount importance
Member of
Cataloging source
MiAaPQ
http://library.link/vocab/creatorName
Broy, M
LC call number
QA76.76.P76 -- S64 2011eb
Literary form
non fiction
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
  • Hoare, T
  • Leuxner, C
  • ProQuest (Firm)
Series statement
NATO Science for Peace and Security Series D: Information and Communication Security
http://library.link/vocab/subjectName
  • Computer security -- Congresses
  • Computer software -- Reliability -- Congresses
  • Software engineering -- Congresses
  • Software protection -- Congresses
  • System safety -- Congresses
Label
Software and Systems Safety : Specification and Verification
Link
http://ebookcentral.proquest.com/lib/multco/detail.action?docID=784589
Instantiates
Publication
Copyright
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Title -- Preface -- Contents -- Model-Based Testing -- Towards a Theory of Architectural Contracts: Schemes and Patterns of Assumption/Promise Based System Specification -- Engineering Evolving and Self-Adaptive Systems: An Overview -- Formal Verification -- Requirements Models for Critical Systems -- From Concurrency Models to Numbers: Performance and Dependability -- Unifying Models of Data Flow -- Model-Based Verification and Analysis for Real-Time Systems -- Model Checking -- Subject Index -- Author Index
Control code
EBC784589
Dimensions
unknown
Extent
1 online resource (296 pages)
Form of item
online
Isbn
9781607507116
Media category
computer
Media MARC source
rdamedia
Media type code
c
Note
Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2017. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.
Sound
unknown sound
Specific material designation
remote
System control number
  • (MiAaPQ)EBC784589
  • (Au-PeEL)EBL784589
  • (CaPaEBR)ebr10506356
  • (CaONFJC)MIL328960
  • (OCoLC)756484723
Label
Software and Systems Safety : Specification and Verification
Link
http://ebookcentral.proquest.com/lib/multco/detail.action?docID=784589
Publication
Copyright
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Title -- Preface -- Contents -- Model-Based Testing -- Towards a Theory of Architectural Contracts: Schemes and Patterns of Assumption/Promise Based System Specification -- Engineering Evolving and Self-Adaptive Systems: An Overview -- Formal Verification -- Requirements Models for Critical Systems -- From Concurrency Models to Numbers: Performance and Dependability -- Unifying Models of Data Flow -- Model-Based Verification and Analysis for Real-Time Systems -- Model Checking -- Subject Index -- Author Index
Control code
EBC784589
Dimensions
unknown
Extent
1 online resource (296 pages)
Form of item
online
Isbn
9781607507116
Media category
computer
Media MARC source
rdamedia
Media type code
c
Note
Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2017. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.
Sound
unknown sound
Specific material designation
remote
System control number
  • (MiAaPQ)EBC784589
  • (Au-PeEL)EBL784589
  • (CaPaEBR)ebr10506356
  • (CaONFJC)MIL328960
  • (OCoLC)756484723

Library Locations

  • Albina LibraryBorrow it
    3605 NE 15th Avenue, Portland, OR, 97212, US
    45.549039 -122.650525
  • Belmont LibraryBorrow it
    1038 SE César E. Chávez Boulevard, Portland, OR, 97214, US
    45.515217 -122.622669
  • Capitol Hill LibraryBorrow it
    10723 SW Capitol Highway, Portland, OR, 97219, US
    45.448003 -122.725422
  • Central LibraryBorrow it
    801 SW 10th Avenue, Portland, OR, 97205, US
    45.519098 -122.682899
  • Fairview-Columbia LibraryBorrow it
    1520 NE Village Street, Fairview, OR, 97024, US
    45.532283 -122.439336
  • Gregory Heights LibraryBorrow it
    7921 NE Sandy Boulevard, Portland, OR, 97213, US
    45.551662 -122.581264
  • Gresham LibraryBorrow it
    385 NW Miller Avenue, Gresham, OR, 97030, US
    45.500070 -122.433041
  • Hillsdale LibraryBorrow it
    1525 SW Sunset Boulevard, Portland, OR, 97239, US
    45.479852 -122.694013
  • Holgate LibraryBorrow it
    7905 SE Holgate Boulevard, Portland, OR, 97206, US
    45.490548 -122.582218
  • Hollywood LibraryBorrow it
    4040 NE Tillamook Street, Portland, OR, 97212, US
    45.537544 -122.621237
  • Isom BuildingBorrow it
    205 NE Russell Street , Portland, OR, 97212, US
    45.541222 -122.663268
  • Kenton LibraryBorrow it
    8226 N Denver Avenue, Portland, OR, 97217, US
    45.582857 -122.686379
  • Midland LibraryBorrow it
    805 SE 122nd Avenue, Portland, OR, 97233, US
    45.516683 -122.538488
  • North Portland LibraryBorrow it
    512 N Killingsworth Street, Portland, OR, 97217, US
    45.562454 -122.671507
  • Northwest LibraryBorrow it
    2300 NW Thurman Street, Portland, OR, 97210, US
    45.535316 -122.699254
  • Rockwood LibraryBorrow it
    17917 SE Stark Street, Portland, OR, 97233, US
    45.519541 -122.479013
  • Sellwood-Moreland LibraryBorrow it
    7860 SE 13th Avenue, Portland, OR, 97202, US
    45.467703 -122.652639
  • St. Johns LibraryBorrow it
    7510 N Charleston Avenue, Portland, OR, 97203, US
    45.590046 -122.751043
  • The Title Wave Used BookstoreBorrow it
    216 NE Knott Street, Portland, OR, 97212, US
    45.541647 -122.663075
  • Troutdale LibraryBorrow it
    2451 SW Cherry Park Road, Troutdale, OR, 97060, US
    45.529595 -122.409662
  • Woodstock LibraryBorrow it
    6008 SE 49th Avenue, Portland, OR, 97206, US
    45.478961 -122.612079
Processing Feedback ...