600.436
High-Assurance Systems
Fall 01/Introduction
19
What a Light Process Looks Like
¨(Searchable)
discussion lists, not a priori design
¨API docs –
preferably extracted from code
¨Architecture docs –
need to specify normative behaviors
clearly
¨Code browsers
¨A decent CM
system
¨Tests right in the
code tree
–Experience: the boundary between test and development was always an impediment