Specification Strategies
Leslie emphasizes the variety of specifications, ranging from simple English sentences to complex mathematical descriptions, depending on the problem's complexity and importance. He advocates for an iterative writing process, where thoughts evolve into clearer specifications. The discussion also critiques the use of UML for distributed systems, suggesting that the effectiveness lies more in the application than the notation itself.In this clip
From this podcast

Software Engineering Radio - the podcast for professional software developers
Episode 203: Leslie Lamport on Distributed Systems
Related Questions