Difference between revisions of "Systems Engineering"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
Systems Engineering, not just system (singular) engineering, is a methodology to manage or cope with [[causally integrated systems]]<ref>{{:Paper/Stepping Beyond the Newtonian Paradigm in Biology}}</ref>. To formally study systems engineering, one may read on the book by Leslie Lamport on [[Book/Specifying Systems|Specifying Systems]]<ref>{{:Book/Specifying Systems}}</ref>, and the paper by Patrick and Radhia Cousot on [[Abstract Interpretation]]. | Systems Engineering, not just system (singular) engineering, is a methodology to manage or cope with [[causally integrated systems]]<ref>{{:Paper/Stepping Beyond the Newtonian Paradigm in Biology}}</ref>. To formally study systems engineering, one may read on the book by Leslie Lamport on [[Book/Specifying Systems|Specifying Systems]]<ref>{{:Book/Specifying Systems}}</ref>, and the paper by Patrick and Radhia Cousot on [[Abstract Interpretation]]<ref>{{:Paper/Abstract Interpretation}}</ref>. | ||
<noinclude> | <noinclude> | ||
Revision as of 09:05, 7 September 2021
Systems Engineering, not just system (singular) engineering, is a methodology to manage or cope with causally integrated systems[1]. To formally study systems engineering, one may read on the book by Leslie Lamport on Specifying Systems[2], and the paper by Patrick and Radhia Cousot on Abstract Interpretation[3].
References
- ↑ Plamen L. Simeonov; Edwin H. Brezina; Ron Cottam; Andreé C. Ehresmann; Arran Gare; Ted Goranson; Jaime Gomez-Ramirez; Brian D. Josephson; Bruno Marchal; Koichiro Matsuno; Robert S. Root-Bernstein; Otto E. Rössler; Stanley N. Salthe; Marcin Schroeder; Bill Seaman; Pridi Siregar; Leslie S. Smith, eds. (December 9, 2011). "Stepping Beyond the Newtonian Paradigm in Biology" (PDF). local page: INBIOSA.
- ↑ Lamport, Leslie (2020). Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. local page: Addison Wesley. ISBN 0-321-14306-X.
- ↑ Cousot, Patrick; Cousot, Radhia (1977). Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints (PDF). 4th POPL. local page: ACM Press. p. 238-252.