Quote: operational semantics are good formal methods; intuitive, help implementers, simple, easy prototyping, easy integration

Quotation Skeleton

[Like Bowen and Hinchey's 1995 guidelines for formal methods, operational semantics are:] Close to intuition. Operational semantics describes the … This means that even customers can grasp the … to implementers. … semantic descriptions alert implementers to potential troubles. @Mathematically … [p. 137] @Little training. Due to the simplicity of … designers. … @ Easy and early prototyping. … even nonexperts can follow the animation of operational … [with] classical structured techniques for software development   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: formal methods and languages (53 items)
Topic: semantics by an abstract machine (38 items)