Search
for Author
All Reviews
Brooker, Marc
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
1
of
1
reviews
How Amazon Web Services uses formal methods
Newcombe C., Rath T., Zhang F., Munteanu B., Brooker M., Deardeuff M. Communications of the ACM 58(4): 66-73, 2015. Type: Article
Formal methods are useful for providing irrefutable and credible evidence in the design and implementation of web service features. The use of formal specification and verification models in the design of adaptable complex systems for ...
...
Nov 19 2015
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy