GitHub - tdidriksen/BON-ES-Report: A report describing the work of integrating textual BON into EiffelStudio

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 61 Commits
images		images
.gitignore		.gitignore
ITU_logo_ENG_horisontal-eps-converted-to.pdf		ITU_logo_ENG_horisontal-eps-converted-to.pdf
ITU_logo_ENG_horisontal.eps		ITU_logo_ENG_horisontal.eps
ITU_logo_ENG_horisontal.pdf		ITU_logo_ENG_horisontal.pdf
MML_MODEL.bon		MML_MODEL.bon
MML_MODEL.e		MML_MODEL.e
TODO		TODO
abstract.tex		abstract.tex
ack.tex		ack.tex
appendix.tex		appendix.tex
assertions_bon_examples.bon		assertions_bon_examples.bon
background-and-design.tex		background-and-design.tex
bibliography.bib		bibliography.bib
client_relations_bon_examples.bon		client_relations_bon_examples.bon
conclusion.tex		conclusion.tex
design-bon-extraction.tex		design-bon-extraction.tex
design-eiffelstudio.tex		design-eiffelstudio.tex
design-type-checker.tex		design-type-checker.tex
extraction-example.tex		extraction-example.tex
generics_bon_examples.bon		generics_bon_examples.bon
implementation-bon-extraction.tex		implementation-bon-extraction.tex
implementation-dynamic-diagram.tex		implementation-dynamic-diagram.tex
implementation-eiffelstudio.tex		implementation-eiffelstudio.tex
implementation-formal-bon.tex		implementation-formal-bon.tex
implementation-informal-bon.tex		implementation-informal-bon.tex
implementation-type-checker.tex		implementation-type-checker.tex
implementation.tex		implementation.tex
introduction.tex		introduction.tex
master.tex		master.tex
missing_features.tex		missing_features.tex
pseudocode-conforms_to.txt		pseudocode-conforms_to.txt
specification-type-system.tex		specification-type-system.tex
standard-types.tex		standard-types.tex
standard_types.bon		standard_types.bon