Intent specifications: An approach to building human-centered specifications (2000)

by Nancy G. Leveson
Venue:IEEE Transactions on Software Engineering
Citations:98 - 12 self