Publisher's Synopsis
Twenty-eight papers from the December 2003 Greenbelt, Maryland conference address topics like: processes and inspections; requirements; agents and run-time; modeling, model-checking, and simulation; real-time and safety-critical systems; architecture, impact analysis, and software sensitivity; faults and failures; GUIs and security; and, verificati