Difference between revisions of "Abstract Specification of PKC/Input"
Jump to navigation
Jump to search
(3 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]]. | *[[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.