@inproceedings{Sekerinski98GraphicalDesignReactiveSystem,
	series = {Lecture {Notes} in {Computer} {Science}},
	title = {Graphical {Design} of {Reactive} {Systems}},
	volume = {1393},
	doi = {10.1007/BFb0053361},
	abstract = {Reactive systems can be designed graphically using statecharts. This paper presents a scheme for the translation of statecharts into the Abstract Machine Notation (AMN) of the B method. By an example of a conveyor system, we illustrate how the design can be initially expressed graphically with statecharts, then translated to AMN and analysed in AMN, and then further refined to executable code.},
	booktitle = {B'98: {Recent} {Advances} in the {Development} and {Use} of the {B} {Method}},
	publisher = {Springer-Verlag},
	author = {Sekerinski, Emil},
	editor = {Bert, Didier},
	month = apr,
	year = {1998},
	pages = {182--197},
}

{"_id":"Gc98Hi5kA3RghnFMj","bibbaseid":"sekerinski-graphicaldesignofreactivesystems-1998","downloads":0,"creationDate":"2019-02-02T15:48:53.603Z","title":"Graphical Design of Reactive Systems","author_short":["Sekerinski, E."],"year":1998,"bibtype":"inproceedings","biburl":"https://api.krunk.cn/emil/bib.php","bibdata":{"bibtype":"inproceedings","type":"inproceedings","series":"Lecture Notes in Computer Science","title":"Graphical Design of Reactive Systems","volume":"1393","doi":"10.1007/BFb0053361","abstract":"Reactive systems can be designed graphically using statecharts. This paper presents a scheme for the translation of statecharts into the Abstract Machine Notation (AMN) of the B method. By an example of a conveyor system, we illustrate how the design can be initially expressed graphically with statecharts, then translated to AMN and analysed in AMN, and then further refined to executable code.","booktitle":"B'98: Recent Advances in the Development and Use of the B Method","publisher":"Springer-Verlag","author":[{"propositions":[],"lastnames":["Sekerinski"],"firstnames":["Emil"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Bert"],"firstnames":["Didier"],"suffixes":[]}],"month":"April","year":"1998","pages":"182–197","bibtex":"@inproceedings{Sekerinski98GraphicalDesignReactiveSystem,\n\tseries = {Lecture {Notes} in {Computer} {Science}},\n\ttitle = {Graphical {Design} of {Reactive} {Systems}},\n\tvolume = {1393},\n\tdoi = {10.1007/BFb0053361},\n\tabstract = {Reactive systems can be designed graphically using statecharts. This paper presents a scheme for the translation of statecharts into the Abstract Machine Notation (AMN) of the B method. By an example of a conveyor system, we illustrate how the design can be initially expressed graphically with statecharts, then translated to AMN and analysed in AMN, and then further refined to executable code.},\n\tbooktitle = {B'98: {Recent} {Advances} in the {Development} and {Use} of the {B} {Method}},\n\tpublisher = {Springer-Verlag},\n\tauthor = {Sekerinski, Emil},\n\teditor = {Bert, Didier},\n\tmonth = apr,\n\tyear = {1998},\n\tpages = {182--197},\n}\n\n","author_short":["Sekerinski, E."],"editor_short":["Bert, D."],"key":"Sekerinski98GraphicalDesignReactiveSystem","id":"Sekerinski98GraphicalDesignReactiveSystem","bibbaseid":"sekerinski-graphicaldesignofreactivesystems-1998","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["graphical","design","reactive","systems","sekerinski"],"keywords":[],"authorIDs":[],"dataSources":["fDYYrPxpzcyDvQK6b","HEdahWqKBpmSGmDwq","MF5eGzpJnqf6bSAoG","ienufKdnmJs49AsjR","So4gmSWFmbQRNEuFs","ezsmw4w22u9JFLNYJ","CvQYP6Tmpapx74Mgr","RWydLHbBJqgdeh5jr"]}