Difference between revisions of "Abstract Specification of PKC/Input"

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

Revision as of 05:15, 29 March 2023

  • Existing system architecture specifications and design documents of the previous generation of PKC.
  • Data-intensive system design methodology and knowledge representation tools.
  • Specifying Systems by Leslie Lamport.
Retrieved from "https://pkc.pub/index.php?title=Abstract_Specification_of_PKC/Input&oldid=38627"