hyper

homeworks

[home] | [reading] | [homeworks] | [references] | [contact]

1. When determining the tools we will support:
   a) we will only support tools that allow all of our ideals of correctness
   b) we will support all tools in the same way
   c) we will provide differing levels of support to tools, based on their capabilities
2. What divisions should we make about tools, i.e., how should we discriminate (all that apply)
   a) tool does/does not allow nondeterminism
   b) tool provides sets of possible executions instead of just one
   c) tool supports what we say is the full set of HS possibilities
   d) tool allows only discrete/only continuous specs of diff eqns
   e) other (specify)
3. We should give an "advanced" interface to HS, which provides only the model's notation during interchange
   a) true
   b) false
   c) [fuzzy]
4. When attaching the operational semantics to an interchange, we should provide this as
   a) byte code
   b) compilable code
   c) formal definition (not compilable)
   d) a contract written into the notation
   e) we should not provide these semantics during the interchange
5. If a tool does not make us happy
   a) we should write it off
   b) we should bend over backwards to make it work
   c) we should make the call based on the "weight" of the tool
6. The formalisms used should be
   a) uniform
   b) multiple
   c) interchangeable between (a) (b)
7. Lunch choice should be
   a) left up to the discretion of Our Glorious Leader (TM)
   b) decided week by week
   c) alternating between what is/is not on the group lunch menu