Câu hỏi được gắn thẻ «software-engineering»

Tôi tự hỏi liệu có bất kỳ thử nghiệm nào cho thấy sự tồn tại hoặc không tồn tại của mối tương quan giữa việc sử dụng ngôn ngữ động (như Python, Ruby hoặc thậm chí các ngôn ngữ chạy trên nền tảng Java như Groovy, Clojure) trên một ngôn …

25 programming-languages  empirical-research  software-engineering 

Vấn đề tạm dừng không thể được giải quyết trong trường hợp chung. Có thể đưa ra các quy tắc xác định hạn chế các đầu vào được phép và vấn đề tạm dừng có thể được giải quyết cho trường hợp đặc biệt đó không? Ví dụ, có vẻ …

18 computability  undecidability  software-engineering  formal-methods 

Làm thế nào để bạn kiểm tra xem hai thuật toán (giả sử sắp xếp Hợp nhất và sắp xếp Naïve) trả về cùng một kết quả cho bất kỳ đầu vào nào, khi tập hợp tất cả các đầu vào là vô hạn? Cập nhật: Cảm ơn bạn Ben …

17 computability  formal-methods  software-engineering  software-verification 

Có bằng chứng nào cho thấy rằng thời gian dành cho việc viết lên, hoặc suy nghĩ về các yêu cầu sẽ có bất kỳ ảnh hưởng nào đến thời gian phát triển không? Nghiên cứu được thực hiện bởi Standish (1995) cho thấy rằng các yêu cầu không đầy …

15 software-engineering 

Tôi đã nhận thấy trong cuộc đời học tập ngắn ngủi của mình rằng nhiều bài báo được xuất bản trong khu vực của chúng tôi đôi khi không có nhiều sự nghiêm ngặt về thống kê. Đây không chỉ là một giả định; Tôi đã nghe các giáo sư …

8 software-engineering  empirical-research  statistics 

Đối với luận án của tôi, tôi đã tạo ra một cách tiếp cận phát triển (bao gồm các lược đồ, mẫu ứng dụng và mã nguyên mẫu) để giúp phát triển và điều chỉnh các ứng dụng cho một nền tảng cụ thể dễ dàng hơn. Tôi đã thực …

7 reference-request  software-engineering  empirical-research 

Các slide trong khóa học của tôi về kiến ​​trúc phần mềm gợi ý rằng đây là những thuật ngữ riêng biệt, nhưng tôi dường như không thể tìm thấy sự khác biệt. Không phải tất cả trong số họ chỉ dịch giao diện?

7 terminology  software-engineering