what the text is mostly about. (1 sentence summary!)
the author's central thought ( can be listed as the topic sentence of a paragraph or implied)
an approach to software development in which a system is represented as a set of models that can be automatically transformed to executable code