An executable formal semantics for UML-RT

Simple item page
dc.contributor.authorDingel, Juergen
dc.contributor.authorPosse, Ernesto
dc.date.accessioned2021-04-19T14:56:35Z
dc.date.available2021-04-19T14:56:35Z
dc.date.issued2014-02-20
dc.descriptionThis is a post-peer-review, pre-copyedit version of an article published in Software & Systems Modeling. The final authenticated version is available online at: http://dx.doi.org/10.1007/s10270-014-0399-z.en
dc.description.abstractSoftware development guidelines are a set of rules which can help improve the quality of software. These rules are defined on the basis of experience gained by the software development community over time. Software antipatterns are a powerful and effective form of guidelines used for the identification of bad design choices and development practices that often lead to poor-quality software. This paper introduces a set of seven state machine antipatterns for the model-based development of real time embedded software systems. Each of these antipatterns is described with a pair of examples: one for the antipattern itself and a second one for improved, refactored solution.en
dc.identifier.citationPosse, E., Dingel, J. An executable formal semantics for UML-RT. Softw Syst Model 15, 179–217 (2016). https://doi.org/10.1007/s10270-014-0399-zen
dc.identifier.doi10.1007/s10270-014-0399-z
dc.identifier.urihttp://hdl.handle.net/1974/28759
dc.language.isoenen
dc.publisherSoftware and Systems Modelingen
dc.subjectUML-RTen
dc.subjectRTEen
dc.subjectModellingen
dc.subjectSemanticsen
dc.titleAn executable formal semantics for UML-RTen
dc.typejournal articleen
project.funder.identifierhttp://dx.doi.org/10.13039/501100000038en
project.funder.identifierhttp://dx.doi.org/10.13039/100015178en
project.funder.identifierhttp://dx.doi.org/10.13039/100009011en
project.funder.nameNatural Sciences and Engineering Research Council of Canadaen
project.funder.nameIBM Canadaen
project.funder.nameOntario Centres of Excellenceen
project.funder.nameMalina Softwareen

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
umlRTSemantics_acceptedAuthorManuscript_access3.pdf
Size:
3.52 MB
Format:
Adobe Portable Document Format
Description:
PDF
Download

License bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
3.77 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

School of Computing Faculty Publications