Difference between revisions of "Abstract Specification of PKC/Input"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
*Existing system architecture specifications and design documents of the previous generation of [[PKC]]. | *Existing system architecture specifications and design documents of the previous generation of [[PKC]]. | ||
*Data-intensive system design methodology and knowledge representation tools. | *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.