Conference paper

Behavioral Specification Techniques

This position paper provides a quick overview of the various behavioral specification techniques, from decision tables, finite state machines, Petri nets, and program design languages, to formal specification languages. It contrasts property based behavioral models (and languages) with model-based ones.

    Keywords: OOMethod


    • LGL-CONF-1993-009

    Record created on 2005-09-20, modified on 2016-08-08

Related material