@incollection{Sekerinski11ExceptionsDependability,
	title = {Exceptions for {Dependability}},
	url = {https://www.cas.mcmaster.ca/~emil/pubs/Sekerinski11ExceptionsDependability.pdf},
	abstract = {Exception handling allows a program to be structured such that the original design can be preserved in presence of possibly failing components, it allows for an unobtrusive treatment of rare or undesired cases, and can be used to address imperfections in programs. This chapter develops a theory of exception handling with try-catch statements and shows its use in the design of dependable systems by giving a formal account of the patterns of masking, propagating, flagging, rollback, degraded service, recovery block, repeated attempts, and conditional retry. The theory is based on weakest exceptional preconditions, which are used for both defining statements and for proofs. Proof outlines are introduced and used to establish the correctness of the patterns.},
	booktitle = {Dependability and {Computer} {Engineering}: {Concepts} for {Software}-{Intensive} {Systems}—a {Handbook} on {Dependability} {Research}},
	publisher = {IGI Global},
	author = {Sekerinski, Emil},
	editor = {Petre, Luigia and Sere, Kaisa and Troubitsyna, Elena},
	month = jul,
	year = {2011},
	doi = {10.4018/978-1-60960-747-0},
	pages = {11--35},
}

{"_id":"PgKAAYK5yfv6ccwdQ","bibbaseid":"sekerinski-exceptionsfordependability-2011","authorIDs":["5d5141906acb07da0100009c","5deb78019e04d1df010000e0","5df0c9af96fa76de0100004a","5df1e05078da84de01000007","5e0152666afa18de01000079","5e14924f08c265de01000191","5e159bdce8bfcff201000064","5e1c7d5192587bde010001a6","5e1e0b00f6dca7f201000020","5e2827e2e6485dde01000035","5e288b4067e11edf01000130","5e2f394178a7cedf010000dc","5e34df5862bc74de010000f4","5e3c065bea028bde0100018f","5e4f908242a908de010000e9","5e585f852c2732de010001b4","5e5948def5822adf01000075","5e5d99be5726ecdf010000d1","5e600cdf13e3aede010001f5","5e69048f8457bade010002a1","5e6acf2ad15181f301000141","92uEQKMDcvvBMsZhM","Ge6aoqtpksMCtyrhL","YfeH5nK5eMWgp3gGy","anKewCA9AWgtndQzB","cwnpJhAGnLcWDSWqt","dochF8eFSd3jy8jcD","e6xvbhubvq5PtsszN","mixtvxbFoDFYKhAQq","oAZuP8sa3gmYvdqKk","qz4iM7vyMs82Hvx8j","wsgyLi66Pkv72928T","xset8hhxmqR8QvHh5"],"author_short":["Sekerinski, E."],"bibdata":{"bibtype":"incollection","type":"incollection","title":"Exceptions for Dependability","url":"https://www.cas.mcmaster.ca/~emil/pubs/Sekerinski11ExceptionsDependability.pdf","abstract":"Exception handling allows a program to be structured such that the original design can be preserved in presence of possibly failing components, it allows for an unobtrusive treatment of rare or undesired cases, and can be used to address imperfections in programs. This chapter develops a theory of exception handling with try-catch statements and shows its use in the design of dependable systems by giving a formal account of the patterns of masking, propagating, flagging, rollback, degraded service, recovery block, repeated attempts, and conditional retry. The theory is based on weakest exceptional preconditions, which are used for both defining statements and for proofs. Proof outlines are introduced and used to establish the correctness of the patterns.","booktitle":"Dependability and Computer Engineering: Concepts for Software-Intensive Systems—a Handbook on Dependability Research","publisher":"IGI Global","author":[{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Petre"],"firstnames":["Luigia"],"suffixes":[]},{"propositions":[],"lastnames":["Sere"],"firstnames":["Kaisa"],"suffixes":[]},{"propositions":[],"lastnames":["Troubitsyna"],"firstnames":["Elena"],"suffixes":[]}],"month":"July","year":"2011","doi":"10.4018/978-1-60960-747-0","pages":"11–35","bibtex":"@incollection{Sekerinski11ExceptionsDependability,\n\ttitle = {Exceptions for {Dependability}},\n\turl = {https://www.cas.mcmaster.ca/~emil/pubs/Sekerinski11ExceptionsDependability.pdf},\n\tabstract = {Exception handling allows a program to be structured such that the original design can be preserved in presence of possibly failing components, it allows for an unobtrusive treatment of rare or undesired cases, and can be used to address imperfections in programs. This chapter develops a theory of exception handling with try-catch statements and shows its use in the design of dependable systems by giving a formal account of the patterns of masking, propagating, flagging, rollback, degraded service, recovery block, repeated attempts, and conditional retry. The theory is based on weakest exceptional preconditions, which are used for both defining statements and for proofs. Proof outlines are introduced and used to establish the correctness of the patterns.},\n\tbooktitle = {Dependability and {Computer} {Engineering}: {Concepts} for {Software}-{Intensive} {Systems}—a {Handbook} on {Dependability} {Research}},\n\tpublisher = {IGI Global},\n\tauthor = {Sekerinski, Emil},\n\teditor = {Petre, Luigia and Sere, Kaisa and Troubitsyna, Elena},\n\tmonth = jul,\n\tyear = {2011},\n\tdoi = {10.4018/978-1-60960-747-0},\n\tpages = {11--35},\n}\n\n","author_short":["Sekerinski, E."],"editor_short":["Petre, L.","Sere, K.","Troubitsyna, E."],"key":"Sekerinski11ExceptionsDependability","id":"Sekerinski11ExceptionsDependability","bibbaseid":"sekerinski-exceptionsfordependability-2011","role":"author","urls":{"Paper":"https://www.cas.mcmaster.ca/~emil/pubs/Sekerinski11ExceptionsDependability.pdf"},"metadata":{"authorlinks":{"sekerinski, e":"https://bibbase.org/show?bib=https%3A%2F%2Fapi.krunk.cn%2Femil%2Fbib.php"}},"downloads":3},"bibtype":"incollection","biburl":"https://api.krunk.cn/emil/bib.php","creationDate":"2019-08-15T00:44:32.436Z","downloads":3,"keywords":[],"search_terms":["exceptions","dependability","sekerinski"],"title":"Exceptions for Dependability","year":2011,"dataSources":["HEdahWqKBpmSGmDwq","MF5eGzpJnqf6bSAoG","ienufKdnmJs49AsjR","So4gmSWFmbQRNEuFs","ezsmw4w22u9JFLNYJ","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"]}