Process Semantics for UML Component Specifications to Assess Inheritance.

Ella E. Roubtsova Ruurd Kuiper

Published in: Electron. Notes Theor. Comput. Sci. (2003)

Keyphrases

object oriented
specification language
high level
artificial intelligence
software engineering
logic programming
process model
conceptual model
belief revision
object oriented databases
metamodel
requirements engineering