Software Engineering Institute
By Arie Gurfinkel on October 20, 2014 7:32 PM| No Comments
When we verify a software program, we increase our confidence in its trustworthiness. We can be confident that the program will behave as it should and meet the requirements it was designed to fulfill. Verification is an ongoing process because...
By Arie Gurfinkel on December 5, 2011 6:04 PM| No Comments
The DoD relies heavily on mission- and safety-critical real-time embedded software systems (RTESs), which play a crucial role in controlling systems ranging from airplanes and cars to infusion pumps and microwaves. Since RTESs are often safety-critical, they must undergo an...
By Arie Gurfinkel on March 7, 2011 5:01 PM| No Comments
Continuous technological improvement is the hallmark of the hardware industry. In an ideal world--one without budgets or schedules--software would be redesigned and redeveloped from scratch to leverage each such improvement. But applying this process for software is often infeasible--if not...
Visit the SEI Digital Library for other publications by Arie
Toll Free: 888-201-4479
4500 Fifth Avenue
Pittsburgh, PA 15213-2612