Publication | Closed Access
End-To-End Arguments In System Design
2.1K
Citations
8
References
1984
Year
Unknown Venue
EngineeringSystem ProgrammingSoftware SystemsEnd-to-end ArgumentsComputer ArchitectureSoftware EngineeringSystem-level DesignHardware SystemsSoftware AnalysisFormal VerificationComputing SystemsSystems EngineeringFormal SpecificationFormal ModelingMessage PassingDesignComputer ScienceSoftware DesignTheory Of ComputingOperating SystemsProgram AnalysisAutomated ReasoningAlert PreferencesFormal MethodsTechnology SquareSystem SoftwareSystem Specification
article Free Access Share on End-to-end arguments in system design Authors: J. H. Saltzer M.I.T. Laboratory for Computer Science, 545 Technology Square, Cambridge, MA M.I.T. Laboratory for Computer Science, 545 Technology Square, Cambridge, MAView Profile , D. P. Reed Software Arts, Inc., 27 Mica Lane, Wellesley, MA Software Arts, Inc., 27 Mica Lane, Wellesley, MAView Profile , D. D. Clark M.I.T. Laboratory for Computer Science, 545 Technology Square, Cambridge, MA M.I.T. Laboratory for Computer Science, 545 Technology Square, Cambridge, MAView Profile Authors Info & Claims ACM Transactions on Computer SystemsVolume 2Issue 4Nov. 1984 pp 277–288https://doi.org/10.1145/357401.357402Online:01 November 1984Publication History 1,259citation21,347DownloadsMetricsTotal Citations1,259Total Downloads21,347Last 12 Months1,460Last 6 weeks358 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my Alerts New Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF
| Year | Citations | |
|---|---|---|
Page 1
Page 1