CSDL Bài trích Báo - Tạp chí
A verification framework for specification centered developments
Tác giả: Vũ Diệu Hương
Số trang:
Tr. 19-30
Số phát hành:
Số 5 (48)
Kiểu tài liệu:
Tạp chí trong nước
Nơi lưu trữ:
03 Quang Trung
Mã phân loại:
005
Ngôn ngữ:
Tiếng Việt
Từ khóa:
Phần mềm, kiểm chứng, trung tâm, hệ thống phản ứng
Tóm tắt:
Trong bài báo này đề xuất một số khung làm việc kiểm chứng cho tiến trình phát triển phần mềm lấy đặc tả làm trung tâm. Trong khung làm việc này đầu tiên chúng ta sẽ tập trung vào cải tiến chất lượng của đặc tả rồi sử dụng đặc tả có chất lượng được đảm bảo này để dẫn xuất cho hoạt động kiểm chứng thiết kế và chương trình. Khung làm việc này có thể được áp dụng trong miền các hệ thống phản ứng với tính tự động hóa cao tính thích nghi tốt và tính thực hành cao.
Tạp chí liên quan
- Constrained optimization using swarm intelligence integrated with Deb’s feasibility rules developed in Python = Giải bài toán tối ưu hóa ràng buộc sử dụng trí tuệ bầy đàn kết hợp quy tắc khả thi của Deb được phát triển bằng Python
- Particle Swarm Optimization using ε constraint-handling method developed in Python = Thuật toán tối ưu hóa bầy đàn sử dụng phương pháp xử lý ràng buộc ε được phát triển với Python
- Solving constrained optimization tasks in civil engineering using ε- Differential Evolution developed with Visual C#. NET = Giải các bài toán tối ưu hóa có ràng buộc trong ngành xây dựng sử dụng thuật toán ε - tiến hóa vi phân được phát triển với ngôn ngữ
- Optimizing cantilever retaining wall design using feasibility rule-based evolutionary algorithm developed with Visual C# .NET = Tối ưu hóa thiết kế tường chắn đất sử dụng thuật toán tiến hóa được kết hợp quy tắc khả thi và phát triển với ngôn ngữ C# .NET
- IFC5 : kỳ vọng về cuộc cách mạng trao đổi thông tin trong xây dựng kỹ thuật số