Foundations and algorithms concerning the development of conceptual models for systems, and their realization in the form of computer software; discrete and continuous models. Crosslisted with ECE 6730.

...