Wolfram Library Archive


Courseware Demos MathSource Technical Notes
All Collections Articles Books Conference Proceedings
Title

Systems Engineering and Architecting: Creating Formal Requirements
Author

Larry Bellagamba
Book information

Publisher: CRC Press
Copyright year: 2012
ISBN: 9781439881408
Medium: Hardcover
Pages: 608
Out of print?: N
Buy this book
Book cover image
Contents

Motivation, Objective, Definitions and Approach | Model Systems and Architecture Behavior | Make Decisions | Establish Natural Language Requirements | Improve an Organization’s Ability to Do Systems Engineering and Architecting
Description

Systems Engineering and Architecting: Creating Formal Requirements presents formal requirements to help you accomplish key systems engineering and architecting activities more efficiently. The formal requirements—explicit, executable, verifiable instructions—explain how to model systems behavior, make decisions, establish natural language requirements, and improve your systems engineering and architecting processes.

Each chapter opens with case studies and lessons learned, which supply the real-world context for the formal requirements. Topics covered include how to use fuzzy logic and agents to model uncertainty and how to make decisions when confronted with ambiguity. The book also clarifies the differences between architecting and systems engineering.

Written in Mathematica, each formal requirement provides a tool or serves as the algorithm for a more efficient implementation in another form. All of the requirements are available as an open source library for anyone to use, improve upon, or add to. Worked examples, illustrations, and example surveys help you apply the requirements to your own systems. The book also lists heuristics to guide you in those systems engineering or architecting activities that cannot yet be formally stipulated.
Subjects

*Applied Mathematics > Complex Systems
*Applied Mathematics > Game Theory
*Applied Mathematics > Numerical Methods
*Applied Mathematics > Optimization
*Business and Economics > Finance
*Education > Graduate
*Engineering
Keywords

Engineering, Architecting, Executable
Related items

*Formal Requirements for Systems Engineering and Architecting   [in MathSource: Packages and Programs]