Rafae Bhatti, Elisa Bertino, et al.
Communications of the ACM
In any area of systems design, the programming notation or language plays a key role. The programming notation or language used in the description of a system must fulfill several requirements: it must be universal enough to conveniently describe programs appropriate to each of the elements embraced in a system; must be precise; and be further concise and subject to formal manipulation. As an illustration, a programming language developed for, and already applied in, a variety of areas is presented.
Rafae Bhatti, Elisa Bertino, et al.
Communications of the ACM
Michael D. Moffitt
ICCAD 2009
Raghu Krishnapuram, Krishna Kummamuru
IFSA 2003
György E. Révész
Theoretical Computer Science