| 
|
Quote: more reliable elevator scheduler from formal methods than informal analysis; style also better; study using 20 teams
topics >
all references >
references sa-sz >
Topic:
formal methods and languages
Topic:
quality assurance
Topic:
experimental results on programming
Quotation Skeleton
The development of an elevator scheduling system by … two groups. One group produced specifications by employing … solutions of the groups are compared using the … [p. 308] Most remarkably, the percentage of implementations that … of formal methods teams. … [p. 309] The students in the formal methods group … Every attempt was made to teach the two … [by the same instructors]. … [p. 311] The style of the code produced by … [p. 314] The categories of conciseness and complexity show … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: formal methods and languages (53 items)
Topic: quality assurance (20 items)
Topic: experimental results on programming (75 items)