IEEE - Institute of Electrical and Electronics Engineers, Inc. - A requirements language for autonomous decentralized systems development

Author(s): Tsai, J.J.P.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1993
Conference Location: Kawasaki, Japan, Japan
Conference Date: 30 March 1993
Page(s): 115 - 121
ISBN (Paper): 0-8186-3125-2
DOI: 10.1109/ISADS.1993.262714
Regular:

A framework for developing autonomous decentralized systems (ADSs) using a frame-and-rule oriented requirements language (FRORL), is presented. FRORL is a logic-based requirements specification... View More

Advertisement