Difference between revisions of "Systems Engineering"
Jump to navigation
Jump to search
| (5 intermediate revisions by the same user not shown) | |||
| 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>. | 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>. For high-level systems management, pleas refer to [[Book/Design Rules|Design Rules]]<ref>{{:Book/Design Rules}}</ref> | ||
< | <noinclude> | ||
=References= | =References= | ||
<references/> | <references/> | ||
Latest revision as of 09:20, 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]. For high-level systems management, pleas refer to Design Rules[4]
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.
- ↑ Baldwin, Carliss; Clark, Kim (2000). Design Rules:The Power of Modularity. 1. local page: MIT Press. ISBN 9780262024662.