The exterminators [software bugs].

The exterminators [software bugs].

Hiển thị tất cả phiên bản (3) khác

This paper describes a sound methodology developed at Praxis High Integrity Systems for detecting and exterminating bugs during all stages of a software project. To develop software, the London-based software house uses mathematically based techniques, known as formal methods, which require that pro...

Mô tả đầy đủ

Chi tiết về thư mục
Xuất bản năm:IEEE spectrum 42, 9(duplicate) (2005).
Tác giả chính: Ross, P.E
Định dạng: Bài viết
Ngôn ngữ:English
Những chủ đề:
Praxis High Integrity Systems.
Bug-free software.
Formal methods.
Mathematical logic.
Software bugs.
SSoftware development.
Software engineering methods.
Software experts.
Software project.