Abstract: This paper presents an approach to the specification of visual language syntax. Based on attributed graphs as the notion of abstract syntax, syntactical correctness is specified by a set of ...
Abstract: System operation contracts were introduced by C. Larman as an application of the notion of Design by Contract (DbC) to the description of high-level system operations derived from ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback