[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
pp24-27: Ideas that help: Types and roles, Invariants(constraints on a space, and definitions), Parsing inputs to recognize significant patterns,
p26:Specifications as LPC predicates Composing specifications. p28:Features as 1stclass citizens. definable and manipulable
p28: Which feature now? precedence lists, message passing, exceptions
p30: "[...] general-purpose reasoning will not suffice for these challenges. We need to focus first on concepts, models, and principles that capture the essence of telecommunications and think later about how they relate to other application domains.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]