The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Demonic Fuzzy Relational Calculus
Abstract
In this chapter, the authors categorize methods that are used to formally specify and verify software requirements. They discuss several formal method-related subjects such as calculus fuzzy and relational calculus.
Related Content
William Chakabwata, Veronica McKay.
© 2026.
28 pages.
|
Orlando M. Saiz.
© 2026.
30 pages.
|
Pratham Prakash Parekh.
© 2026.
34 pages.
|
Mustafa Kayyali.
© 2026.
30 pages.
|
Tricia J. Stewart, Nicole DeRonck, Samantha Tisi.
© 2026.
26 pages.
|
Thalia Mulvihill.
© 2026.
20 pages.
|
Alan Swiercz, Melissa Mesek.
© 2026.
30 pages.
|
|
|