foundations of Behavioral languages are process calculus or process algebra.

Discipline-specific

A discipline-specific modeling (DspM) language is focused on deliverables affiliated with a specific software development life cycle stage. Therefore, such language offers a distinct vocabulary, syntax, and notation for each stage, such as discovery, analysis, design, architecture, contraction, etc.

1.Previous
3.Next