The stability analysis for a heated tube system is an
important safety feature of a nuclear power plant.
Although the system theory is well established for linear
systems described by ordinary differential equations, there
is still a shortage of theory dealing with a distributed
system, which is described by partial...
Formal methods using text to specify abstract data types (ADTs) are powerful, but they require great effort and a high level of expertise. Visual programming languages present an alternative way of programming but are limited to building small programs. This research presents an approach for specifying ADTs using a combination...