Skip To Main Content
Man-Tak Shing on Muck Rack

Man-Tak Shing

As seen in: InfoQ
Is this you? As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work. Claim your profile

Get in touch with Man-Tak

Contact Man-Tak, search articles and posts on X, monitor coverage, and track replies from one place.

Learn more about Muck Rack

Actions

Share this page

Is this you?

As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work.
Claim your profile

Articles

Verification and Validation for Trustworthy Software Systems

|
By Doron Drusinsky, James Michael, Thomas W. Otani, Man-Tak Shing
| InfoQ Verified
This article first appeared in IEEE Softwaremagazine and is brought to you by InfoQ & IEEE Computer Society. The close interaction between high-integrity systems and their operating environments places a high priority on understanding and satisfying both functional requirements (what the software must do) and safety requirements (what the system must not do).
Open in Who Shared Issue with article?
See all 1 articles