Lecture Notes in Software Engineering Budapest, 11-22 October 2010
Dines Bjørner · 2010
We present “standard” domain description and requirements prescription examples using the RAISE [112] Specification Language, RSL [110]. The illustrated example is that of transportation networks. These notes shalll serve as lecture notes for my lectures at Uppsala, Nov.8-19, 2010. The present document is the ordinary “book-form”-like notes. A separate document, compiled from the same files, present 11 sets of lecture slides. The “funny” small numbers you see in the present document, in margins and at almost end of display lines refer to slide page numbers of the slides document.