Early Access Release of "Same-Origin Policy" Chapter

Michael DiBernardo - Thu 31 March 2016 -

Today we've published the nineteenth chapter in our early access release for 500 Lines. The chapter was written by Eunsuk Kang, Santiago Perez De Rosso, and Daniel Jackson of the Software Design Group at MIT.

This chapter is a bit different from the others in the book. Instead of building a working program, we are building models of systems that allow us to explore their behaviors. We do this using a modelling language called Alloy. Along the way, we learn how agile modelling can help us discover gaps in our designs before or after we've fully built them out.

As usual, if you find errors you think are worth reporting, please open an issue on our GitHub tracker.


Content © The AOSA Editors.
Proudly powered by bootstrap, pelican, python and Alex!