Difference between revisions of "Abstract Specification of PKC/Input"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
* | *Data-intensive system design methodology and knowledge representation tools. | ||
*[[Book/Specifying_Systems|Specifying Systems]] by [[Leslie Lamport]]. | *[[Book/Specifying_Systems|Specifying Systems]] by [[Leslie Lamport]]. | ||
*Existing system architecture specifications and design documents. | *Existing system architecture specifications and design documents. | ||
Revision as of 05:14, 29 March 2023
- Data-intensive system design methodology and knowledge representation tools.
- Specifying Systems by Leslie Lamport.
- Existing system architecture specifications and design documents.