Work

Behavioral Specification Techniques

Year: 1993

Type: article

Abstract: 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.

Source: Infoscience (Ecole Polytechnique Fédérale de Lausanne)

Authors: Gabriel Eckert, Alfred Strohmeier

Language: English

Topic: Model-Driven Software Engineering Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W194695796

FWCI:

Cites:

Cited by:

Related to: 10