thesis/references.bib

%% This BibTeX bibliography file was created using BibDesk.
%% http://bibdesk.sourceforge.net/


%% Created for Quinten Soetens at 2010-04-22 14:05:52 +0200 


%% Saved with string encoding Unicode (UTF-8) 


@comment{jabref-meta: selector_publisher:}
@comment{jabref-meta: selector_author:}
@comment{jabref-meta: selector_journal:}
@comment{jabref-meta: selector_keywords:}

	
	

@inproceedings{VanMierlo2016,
  title={{SCCD: SCXML extended with class diagrams}},
  author={Van Mierlo, Simon and Van Tendeloo, Yentl and Meyers, Bart and Exelmans, Joeri and Vangheluwe, Hans},
  booktitle={Proceedings of the Workshop on Engineering Interactive Systems with SCXML},
  volume={2},
  pages={1--2},
  year={2016}
}

@misc{Erez2020Lark,
  title  = "{Lark parser library for Python}",
  howpublished    = "\url{https://github.com/lark-parser/lark}",
}

@misc{W3C2015SCXML,
  title  = "{State Chart XML (SCXML): State Machine Notation for Control Abstraction}",
  author = "W3C",
  howpublished    = "\url{https://www.w3.org/TR/scxml/}",
  year   = "2015"
}

@misc{W3C2012XSD,
  title  = "{W3C XML Schema Definition Language (XSD)}",
  author = "W3C",
  howpublished    = "\url{https://www.w3.org/TR/xmlschema11-1/}",
  year   = "2012"
}


@misc{lxml,
  title  = "{lxml (XML Library for Python)}",
  howpublished    = "\url{https://lxml.de/}",
}

@misc{libxml2,
  title  = "{libxml2 (C XML Library)}",
  howpublished    = "\url{http://xmlsoft.org/}",
}

@misc{yakindu,
  title  = "{YAKINDU Statechart Tools}",
  howpublished    = "\url{https://www.itemis.com/en/yakindu/statechart-tools/}",
}

@misc{qtscxml,
  title = "{Qt SCXML}",
  howpublished = "\url{https://doc.qt.io/qt-5/qtscxml-overview.html}",
}

@misc{pssm,
  title = "{Precise Semantics of UML State Machines (PSSM)}",
  howpublished = "\url{https://www.omg.org/spec/PSSM/1.0/PDF}",
}



@article{harel1987statecharts,
  title={{Statecharts: A visual formalism for complex systems}},
  author={Harel, David},
  journal={Science of computer programming},
  volume={8},
  number={3},
  pages={231--274},
  year={1987},
  publisher={Elsevier}
}


@article{sabzali2010deconstructing,
  title={{Deconstructing the semantics of big-step modelling languages}},
  author={Esmaeilsabzali, Shahram and Day, Nancy A and Atlee, Joanne M and Niu, Jianwei},
  journal={Requirements Engineering},
  volume={15},
  number={2},
  pages={235--265},
  year={2010},
  publisher={Springer}
}

% @misc{Exelmans2019GenericGenerator,
%   title  = "Source code fragment from original SCCD: generic\_generator.py",
%   author = "Exelmans, Joeri and Van Mierlo, Simon and Van Tendeloo, Yentl",
%   howpublished    = "\url{https://msdl.uantwerpen.be/git/simon/SCCD/src/master/src/python_sccd/python_sccd_compiler/generic_generator.py}",
%   year   = "2019"
% }

@techreport{glenn2014statecharts,
  title={{Statecharts and Class Diagram XML-A general-purpose textual modelling formalism}},
  author={De Jonghe, Glenn and Vangheluwe, Hans},
  year={2014},
  institution={Technical report, University of Antwerp}
}

@Misc{Zhaoyi2016,
author={{Luo, Zhaoyi}
and {Atlee, Joanne M.}},
title={{BSML-mbeddr: Integrating Semantically Congurable State-Machine Models in a C Programming Environment}},
year={2016},
publisher="UWSpace",
url={http://hdl.handle.net/10012/15373}
}

@phdthesis{beard2013developing,
  title={{Developing Rich, Web-Based User Interfaces with the Statecharts Interpretation and Optimization Engine}},
  author={Beard, Jacob},
  year={2013},
  school={McGill University Libraries}
}

@article{harel1996statemate,
  title={{The STATEMATE semantics of statecharts}},
  author={Harel, David and Naamad, Amnon},
  journal={ACM Transactions on Software Engineering and Methodology (TOSEM)},
  volume={5},
  number={4},
  pages={293--333},
  year={1996},
  publisher={ACM New York, NY, USA}
}

@incollection{harel2004rhapsody,
  title={{The rhapsody semantics of statecharts (or, on the executable core of the UML)}},
  author={Harel, David and Kugler, Hillel},
  booktitle={Integration of Software Specification Techniques for Applications in Engineering},
  pages={325--354},
  year={2004},
  publisher={Springer}
}

@article{selic1996real,
  title={{Real-time object-oriented modeling}},
  author={Selic, Bran},
  journal={IFAC Proceedings Volumes},
  volume={29},
  number={5},
  pages={1--6},
  year={1996},
  publisher={Elsevier}
}

@article{prout2012code,
  title={Code generation for a family of executable modelling notations},
  author={Prout, Adam and Atlee, Joanne M and Day, Nancy A and Shaker, Pourya},
  journal={Software \& Systems Modeling},
  volume={11},
  number={2},
  pages={251--272},
  year={2012},
  publisher={Springer}
}

@article{niu2003template,
  title={Template semantics for model-based notations},
  author={Niu, Jianwei and Atlee, Joanne M and Day, Nancy A},
  journal={IEEE Transactions on Software Engineering},
  volume={29},
  number={10},
  pages={866--882},
  year={2003},
  publisher={IEEE}
}