Bill Carroll

Learn More
An object-oriented real t i m e systems conceptual modeling approach is described. In this approach, each object is specified by a n object type, consisting of su-pertypes (inheritance), component types (aggregation), attributes, operations, static constraints, and timed temporal constraints. An object type specification defines a theory of a type of(More)
  • 1