RAISE: A Rigorous Approach Towards the Production Cell Using Stepwise Refinement. Erasmy, F. & Sekerinski, E. In Lewerentz, C. & Lindner, T., editors, Case Study “Production Cell”—A Comparative Study in Formal Software Development, volume 1, pages 155–172. FZI Publication, 1994. bibtex @incollection{ErasmySekerinski95RAISE,
title = {{RAISE}: {A} {Rigorous} {Approach} {Towards} the {Production} {Cell} {Using} {Stepwise} {Refinement}},
volume = {1},
booktitle = {Case {Study} “{Production} {Cell}”—{A} {Comparative} {Study} in {Formal} {Software} {Development}},
publisher = {FZI Publication},
author = {Erasmy, F. and Sekerinski, E.},
editor = {Lewerentz, C. and Lindner, Th.},
year = {1994},
pages = {155--172},
}
Downloads: 0
{"_id":"n2dzY9oeicdYD8iKE","bibbaseid":"erasmy-sekerinski-raisearigorousapproachtowardstheproductioncellusingstepwiserefinement-1994","author_short":["Erasmy, F.","Sekerinski, E."],"bibdata":{"bibtype":"incollection","type":"incollection","title":"RAISE: A Rigorous Approach Towards the Production Cell Using Stepwise Refinement","volume":"1","booktitle":"Case Study “Production Cell”—A Comparative Study in Formal Software Development","publisher":"FZI Publication","author":[{"propositions":[],"lastnames":["Erasmy"],"firstnames":["F."],"suffixes":[]},{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["E."],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Lewerentz"],"firstnames":["C."],"suffixes":[]},{"propositions":[],"lastnames":["Lindner"],"firstnames":["Th."],"suffixes":[]}],"year":"1994","pages":"155–172","bibtex":"@incollection{ErasmySekerinski95RAISE,\n\ttitle = {{RAISE}: {A} {Rigorous} {Approach} {Towards} the {Production} {Cell} {Using} {Stepwise} {Refinement}},\n\tvolume = {1},\n\tbooktitle = {Case {Study} “{Production} {Cell}”—{A} {Comparative} {Study} in {Formal} {Software} {Development}},\n\tpublisher = {FZI Publication},\n\tauthor = {Erasmy, F. and Sekerinski, E.},\n\teditor = {Lewerentz, C. and Lindner, Th.},\n\tyear = {1994},\n\tpages = {155--172},\n}\n\n","author_short":["Erasmy, F.","Sekerinski, E."],"editor_short":["Lewerentz, C.","Lindner, T."],"key":"ErasmySekerinski95RAISE-1","id":"ErasmySekerinski95RAISE-1","bibbaseid":"erasmy-sekerinski-raisearigorousapproachtowardstheproductioncellusingstepwiserefinement-1994","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"incollection","biburl":"https://api.krunk.cn/emil/bib.php","dataSources":["So4gmSWFmbQRNEuFs","HEdahWqKBpmSGmDwq","yBNL6zg4bd77wFNse","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"],"keywords":[],"search_terms":["raise","rigorous","approach","towards","production","cell","using","stepwise","refinement","erasmy","sekerinski"],"title":"RAISE: A Rigorous Approach Towards the Production Cell Using Stepwise Refinement","year":1994}