HOL-OCL
/
ocl-examples
Archived
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Added publications.

This commit is contained in:
Achim D. Brucker 2016-10-02 13:45:32 +01:00
parent 69b83143a4
commit 6ed3522a18
1 changed files with 28 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
README.md
View File

@ -10,3 +10,31 @@ SecureUML.
## License
This project is licensed under the Apache License Version 2.0.
## Publications
* Achim D. Brucker and Burkhart Wolff. [Semantics, Calculi, and Analysis
for Object-oriented Specifications.](https://www.brucker.ch/bibliography/download/2009/brucker.ea-semantics-2009.pdf)
In Acta Informatica, 46 (4), pages 255-284, 2009.
https://www.brucker.ch/bibliography/abstract/brucker.ea-semantics-2009
doi:
[10.1007/s00236-009-0093-8](http://dx.doi.org/10.1007/s00236-009-0093-8)
* Achim D. Brucker and Burkhart Wolff. [An Extensible Encoding of Object-oriented
Data Models in HOL.](https://www.brucker.ch/bibliography/download/2008/brucker.ea-extensible-2008-b.pdf) In Journal of Automated
Reasoning, 41, pages 219-249, 2008.
https://www.brucker.ch/bibliography/abstract/brucker.ea-extensible-2008-b
doi: [10.1007/s10817-008-9108-3](https://dx.doi.org/10.1007/s10817-008-9108-3)
* Achim D. Brucker. [An Interactive Proof Environment for
Object-oriented Specifications.](https://www.brucker.ch/bibliography/download/2007/brucker-interactive-2007.pdf)
ETH Zurich,2007. ETH Dissertation
No. 17097.
https://www.brucker.ch/bibliography/abstract/brucker-interactive-2007
* Achim D. Brucker, Jürgen Doser, and Burkhart Wolff. [A Model
Transformation Semantics and Analysis Methodology for SecureUML.](https://www.brucker.ch/bibliography/download/2006/brucker.ea-transformation-2006.pdf) In
MoDELS 2006: Model Driven Engineering Languages and Systems. Lecture
Notes in Computer Science (4199), pages 306-320,
Springer-Verlag, 2006.
https://www.brucker.ch/bibliography/abstract/brucker.ea-transformation-2006
doi: [10.1007/11880240_22](http://dx.doi.org/10.1007/11880240_22)