RAISE: A Rigorous Approach Using Stepwise Refinement. Erasmy, F. & Sekerinski, E. In Lewerentz, C. & Lindner, T., editors, Formal Development of Reactive Systems – Case Study Production Cell, volume 891, of Lecture Notes in Computer Science, pages 277–293. Springer-Verlag, 1995. doi abstract bibtex We present the process-oriented RAISE contribution, beginning with a short presentation of the RAISE method, tools, and specification language. Then we show how the production cell software is developed using a rigorous approach with successive refinements of the specification. We present extracts from the production cell specifications. Finally, we give an evaluation of the RAISE contribution: the properties that could be specified and proved, the assumptions made, the flexibility of the specifications and proofs and some measures concerning them.
@incollection{ErasmySekerinski95RAISE,
series = {Lecture {Notes} in {Computer} {Science}},
title = {{RAISE}: {A} {Rigorous} {Approach} {Using} {Stepwise} {Refinement}},
volume = {891},
abstract = {We present the process-oriented RAISE contribution, beginning with a short presentation of the RAISE method, tools, and specification language. Then we show how the production cell software is developed using a rigorous approach with successive refinements of the specification. We present extracts from the production cell specifications. Finally, we give an evaluation of the RAISE contribution: the properties that could be specified and proved, the assumptions made, the flexibility of the specifications and proofs and some measures concerning them.},
booktitle = {Formal {Development} of {Reactive} {Systems} – {Case} {Study} {Production} {Cell}},
publisher = {Springer-Verlag},
author = {Erasmy, F. and Sekerinski, E.},
editor = {Lewerentz, C. and Lindner, Th.},
year = {1995},
doi = {10.1007/3-540-58867-1_60},
pages = {277--293},
}
Downloads: 0
{"_id":"L7kynsQFB93RpaY4b","bibbaseid":"erasmy-sekerinski-raisearigorousapproachusingstepwiserefinement-1995","author_short":["Erasmy, F.","Sekerinski, E."],"bibdata":{"bibtype":"incollection","type":"incollection","series":"Lecture Notes in Computer Science","title":"RAISE: A Rigorous Approach Using Stepwise Refinement","volume":"891","abstract":"We present the process-oriented RAISE contribution, beginning with a short presentation of the RAISE method, tools, and specification language. Then we show how the production cell software is developed using a rigorous approach with successive refinements of the specification. We present extracts from the production cell specifications. Finally, we give an evaluation of the RAISE contribution: the properties that could be specified and proved, the assumptions made, the flexibility of the specifications and proofs and some measures concerning them.","booktitle":"Formal Development of Reactive Systems – Case Study Production Cell","publisher":"Springer-Verlag","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":"1995","doi":"10.1007/3-540-58867-1_60","pages":"277–293","bibtex":"@incollection{ErasmySekerinski95RAISE,\n\tseries = {Lecture {Notes} in {Computer} {Science}},\n\ttitle = {{RAISE}: {A} {Rigorous} {Approach} {Using} {Stepwise} {Refinement}},\n\tvolume = {891},\n\tabstract = {We present the process-oriented RAISE contribution, beginning with a short presentation of the RAISE method, tools, and specification language. Then we show how the production cell software is developed using a rigorous approach with successive refinements of the specification. We present extracts from the production cell specifications. Finally, we give an evaluation of the RAISE contribution: the properties that could be specified and proved, the assumptions made, the flexibility of the specifications and proofs and some measures concerning them.},\n\tbooktitle = {Formal {Development} of {Reactive} {Systems} – {Case} {Study} {Production} {Cell}},\n\tpublisher = {Springer-Verlag},\n\tauthor = {Erasmy, F. and Sekerinski, E.},\n\teditor = {Lewerentz, C. and Lindner, Th.},\n\tyear = {1995},\n\tdoi = {10.1007/3-540-58867-1_60},\n\tpages = {277--293},\n}\n\n","author_short":["Erasmy, F.","Sekerinski, E."],"editor_short":["Lewerentz, C.","Lindner, T."],"key":"ErasmySekerinski95RAISE","id":"ErasmySekerinski95RAISE","bibbaseid":"erasmy-sekerinski-raisearigorousapproachusingstepwiserefinement-1995","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"incollection","biburl":"https://api.krunk.cn/emil/bib.php","dataSources":["pKojZwgcmAbzT5ufq","So4gmSWFmbQRNEuFs","HEdahWqKBpmSGmDwq","yBNL6zg4bd77wFNse","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"],"keywords":[],"search_terms":["raise","rigorous","approach","using","stepwise","refinement","erasmy","sekerinski"],"title":"RAISE: A Rigorous Approach Using Stepwise Refinement","year":1995}