Difference between revisions of "Abstract Specification of PKC/Input"
Jump to navigation
Jump to search
(Created page with "*Knowledge of PKC systems and cryptographic functions. *"Specifying Systems" by Leslie Lamport, which outlines the methodology of segregating logical specifications from implementation. *Existing system architecture specifications and design documents.") |
|||
| (4 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
* | *Existing system architecture specifications and design documents of the previous generation of [[PKC]]. | ||
* | *Update-to-date knowledge about Data-intensive system design methodology and knowledge representation tools. | ||
*[[Book/Specifying_Systems|Specifying Systems]] by [[Leslie Lamport]]. | |||
Latest revision as of 05:15, 29 March 2023
- Existing system architecture specifications and design documents of the previous generation of PKC.
- Update-to-date knowledge about Data-intensive system design methodology and knowledge representation tools.
- Specifying Systems by Leslie Lamport.