Modula-3: Modelling and Implementation. Rüping, A. & 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 357–371. Springer-Verlag, 1995. doi abstract bibtex We present the modelling, implementation, and verification of a software system for the control of an industrial production cell. We use techniques of object-oriented and of parallel programming for both modelling and implementation. The implementation is done in Modula-3. We demonstrate the verification of safety requirements for the production cell. We discuss how well Modula-3 is suited for developing the control software in this case study. In detail, we analyse the benefits of object-oriented and parallel constructs and how both can be integrated with each other.
@incollection{RupingSekerinski95Modula3,
series = {Lecture {Notes} in {Computer} {Science}},
title = {Modula-3: {Modelling} and {Implementation}},
volume = {891},
abstract = {We present the modelling, implementation, and verification of a software system for the control of an industrial production cell. We use techniques of object-oriented and of parallel programming for both modelling and implementation. The implementation is done in Modula-3. We demonstrate the verification of safety requirements for the production cell. We discuss how well Modula-3 is suited for developing the control software in this case study. In detail, we analyse the benefits of object-oriented and parallel constructs and how both can be integrated with each other.},
booktitle = {Formal {Development} of {Reactive} {Systems} - {Case} {Study} {Production} {Cell}},
publisher = {Springer-Verlag},
author = {Rüping, A. and Sekerinski, E.},
editor = {Lewerentz, C. and Lindner, Th.},
year = {1995},
doi = {10.1007/3-540-58867-1_64},
pages = {357--371},
}
Downloads: 0
{"_id":"goRpgmb5X8cMHaHna","bibbaseid":"rping-sekerinski-modula3modellingandimplementation-1995","author_short":["Rüping, A.","Sekerinski, E."],"bibdata":{"bibtype":"incollection","type":"incollection","series":"Lecture Notes in Computer Science","title":"Modula-3: Modelling and Implementation","volume":"891","abstract":"We present the modelling, implementation, and verification of a software system for the control of an industrial production cell. We use techniques of object-oriented and of parallel programming for both modelling and implementation. The implementation is done in Modula-3. We demonstrate the verification of safety requirements for the production cell. We discuss how well Modula-3 is suited for developing the control software in this case study. In detail, we analyse the benefits of object-oriented and parallel constructs and how both can be integrated with each other.","booktitle":"Formal Development of Reactive Systems - Case Study Production Cell","publisher":"Springer-Verlag","author":[{"propositions":[],"lastnames":["Rüping"],"firstnames":["A."],"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_64","pages":"357–371","bibtex":"@incollection{RupingSekerinski95Modula3,\n\tseries = {Lecture {Notes} in {Computer} {Science}},\n\ttitle = {Modula-3: {Modelling} and {Implementation}},\n\tvolume = {891},\n\tabstract = {We present the modelling, implementation, and verification of a software system for the control of an industrial production cell. We use techniques of object-oriented and of parallel programming for both modelling and implementation. The implementation is done in Modula-3. We demonstrate the verification of safety requirements for the production cell. We discuss how well Modula-3 is suited for developing the control software in this case study. In detail, we analyse the benefits of object-oriented and parallel constructs and how both can be integrated with each other.},\n\tbooktitle = {Formal {Development} of {Reactive} {Systems} - {Case} {Study} {Production} {Cell}},\n\tpublisher = {Springer-Verlag},\n\tauthor = {Rüping, A. and Sekerinski, E.},\n\teditor = {Lewerentz, C. and Lindner, Th.},\n\tyear = {1995},\n\tdoi = {10.1007/3-540-58867-1_64},\n\tpages = {357--371},\n}\n\n","author_short":["Rüping, A.","Sekerinski, E."],"editor_short":["Lewerentz, C.","Lindner, T."],"key":"RupingSekerinski95Modula3","id":"RupingSekerinski95Modula3","bibbaseid":"rping-sekerinski-modula3modellingandimplementation-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":["modula","modelling","implementation","rüping","sekerinski"],"title":"Modula-3: Modelling and Implementation","year":1995}