Tab Article
This book provides formal requirements for systems engineering or architecting. It outlines a set of unambiguous instructions that can be executed documented. The formal requirements are documented using Wolfram Research’s Mathematica, so the requirements are also tools that people can use to do system engineering and architecting better or faster. Each chapter begins with case studies describing actual instances of practicing systems engineering and architecting from which important lessons are summarized that are addressed in the body of the chapter. Each chapter ends with heuristics to serve as guiding principles for doing systems engineering and architecting.