Skip to Main Content
Requirements Engineering for Software and Systems
book

Requirements Engineering for Software and Systems

by Phillip A. Laplante
March 2011
Intermediate to advanced content levelIntermediate to advanced
264 pages
7h 40m
English
CRC Press
Content preview from Requirements Engineering for Software and Systems
Formal Methods 123
functionality. Finally, for ease of maintenance and troubleshooting for the design-
ers and programmers, the use of CT can show where an error might be contained,
while allowing for the group of functions to be analyzed and troubleshooting on
an input-by-input basis. e following is a brief introduction to category theory for
software specification.
Suppose we have classes of abstract objects, A, B, and C. Further, suppose there
are functions f and g such that and f : A B and g : B C. A category is composed
of the objects of the category and the morphisms of the category. A basic functional
relationship can be seen in ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Start your free trial

You might also like

System Requirements Engineering

System Requirements Engineering

Jean-Yves Bron
Process for System Architecture and Requirements Engineering

Process for System Architecture and Requirements Engineering

Derek Hatley, Peter Hruschka, Imtiaz Pirbhai

Publisher Resources

ISBN: 9781420064681