Formal specification of information systems requirements

• 31 December 1985
• journal article
• Published by Elsevier in Information Processing & Management
• Vol. 21  (5) , 401-414
• https://doi.org/10.1016/0306-4573(85)90086-x

Abstract

Keywords

• FORMAL SPECIFICATION
• INFORMATION SYSTEMS REQUIREMENTS
• SPECIFICATION OF INFORMATION