The Resource A formal method to analyze framework-based software systems, by Trent Larson

A formal method to analyze framework-based software systems, by Trent Larson

Label
A formal method to analyze framework-based software systems
Title
A formal method to analyze framework-based software systems
Statement of responsibility
by Trent Larson
Creator
Subject
Genre
Language
eng
Summary
Software systems are frequently designed using abstractions that make software verification tractable. Specifically, by choosing meaningful, formal abstractions for interfaces and then designing according to those interfaces, one can verify entire systems according to behavioral predicates. While impractical for systems in general, framework-based software architectures are a type of system for which formal analysis can be beneficial and practical over the life of the system. We present a method to formally analyze behavioral properties of framework-based software with higher-order logic and then demonstrate its utility for a significant, modern system
Cataloging source
UPB
Degree
Ph. D.
Dissertation year
2002
Granting institution
Brigham Young University. Dept. of Computer Science
Illustrations
illustrations
Index
no index present
Literary form
non fiction
Nature of contents
  • bibliography
  • theses
Label
A formal method to analyze framework-based software systems, by Trent Larson
Link
http://hdl.lib.byu.edu/1877/etd8
Instantiates
Publication
Bibliography note
Includes bibliographical references (p. 155-163)
Carrier category
volume
Carrier MARC source
rdacarrier
Content category
text
Content type MARC source
rdacontent
Dimensions
28 cm.
Extent
xiii, 163 p.
Media category
unmediated
Media MARC source
rdamedia
Other physical details
ill.
System control number
(OCoLC)ocn370603839
Label
A formal method to analyze framework-based software systems, by Trent Larson
Link
http://hdl.lib.byu.edu/1877/etd8
Publication
Bibliography note
Includes bibliographical references (p. 155-163)
Carrier category
volume
Carrier MARC source
rdacarrier
Content category
text
Content type MARC source
rdacontent
Dimensions
28 cm.
Extent
xiii, 163 p.
Media category
unmediated
Media MARC source
rdamedia
Other physical details
ill.
System control number
(OCoLC)ocn370603839

Library Locations

    • BYU-INTERNETBorrow it
      UT, US
    • Harold B. Lee Library Brigham Young University, Provo, UT, 84602, US
      40.249156 -111.649242
    • BYU-SPECIAL-COLLECTIONSBorrow it
      UT, US
Processing Feedback ...