Kỹ thuật phần mềm

Có khả thi hay thậm chí có thể sử dụng đại số quan hệ và / hoặc phép tính quan hệ dưới dạng bằng chứng để kiểm tra / xác minh tính đúng đắn của các câu lệnh SQL, hàm và các thủ tục được lưu trữ không? Đối với …

9 testing  sql  math  relational-database 

Làm thế nào khả thi để chuyển một ứng dụng C ++ sang mã byte Java bằng LLVM (tôi đoán LLJVM)? Vấn đề là hiện tại chúng tôi có một quy trình được viết bằng C ++ nhưng một máy khách mới đã bắt buộc phải có khả năng chạy …

9 java  c++  porting 

Cụ thể, tôi muốn hiểu sự khác biệt giữa JDK của Oracle và OpenJDK về các bản sửa lỗi và các bản vá khác. Chi nhánh nào được sửa lỗi đầu tiên và Oracle có thói quen tạo các bản vá mà không bao giờ thực hiện được với OpenJDK?

9 java 

Đã đóng cửa . Câu hỏi này dựa trên ý kiến . Nó hiện không chấp nhận câu trả lời. Bạn muốn cải thiện câu hỏi này? Cập nhật câu hỏi để có thể trả lời bằng sự kiện và trích dẫn bằng cách chỉnh sửa bài đăng này . …

9 personal-projects 

đối với nhiều tác vụ nhanh, trong đó người ta có thể sử dụng một hàm f(x,y), trong C đơn giản, các macro được sử dụng. Tôi muốn hỏi cụ thể về các trường hợp này, có thể giải quyết được bằng một lệnh gọi hàm (tức là các macro …

9 c 

Tôi đang tìm kiếm một thuật toán để xử lý vấn đề sau, hiện tại tôi đang gọi thuật toán "quả táo xấu". Vấn đề Tôi đã có N tiến trình đang chạy trong M sandbox, trong đó N >> M. Đó là không thực tế để cung cấp cho …

9 algorithms 

Và giả sử, ứng dụng của tôi là một trình đọc nguồn cấp dữ liệu đơn giản. Có phải ứng dụng của tôi thực sự phải bao gồm thông báo không bảo hành?

9 legal 

Tôi mới bắt đầu sử dụng nút và một điều tôi đã nhanh chóng nhận thấy là cách gọi lại nhanh chóng có thể tạo ra mức độ thụt lề ngớ ngẩn: doStuff(arg1, arg2, function(err, result) { doMoreStuff(arg3, arg4, function(err, result) { doEvenMoreStuff(arg5, arg6, function(err, result) { omgHowDidIGetHere(); }); }); …

9 node.js  coding-style 

Tôi là nhà phát triển Rails thực hiện TDD trên máy Mac với RSpec, Capybara và Selenium webdo. Bây giờ tôi đã được công ty của tôi yêu cầu sử dụng phương pháp này cho môi trường .NET trên Windows. Cách nào là tốt nhất để thực hiện việc này? …

9 .net 

Tôi đang thiết kế API REST cho hệ thống ba lớp như: Client application-> Front-end API cloud server-> user's home API server (Home). Homelà một thiết bị gia đình và được cho là duy trì kết nối Front-endthông qua Websocket hoặc một cuộc thăm dò dài (đây là nơi đầu …

9 architecture  web-services  rest  message-queue  websockets 

Gần đây, tôi trở nên quan tâm sâu sắc đến Haskell. Trong khi cố gắng học các khái niệm mới (ví dụ: từ khóa forall và ST monad ) và hệ thống loại của Haskell nói chung, tôi liên tục chạy vào các khái niệm từ lý thuyết thể loại …

9 programming-languages  functional-programming  math  haskell  type-systems 

Như trong câu hỏi trên: Cách tốt nhất để kết nối mô hình cơ sở dữ liệu Entity Framework (bối cảnh) để xemModel trong MVVM (WPF) là gì? Tôi đang học mẫu MVVM trong WPF, rất nhiều ví dụ cho thấy cách triển khai mô hình để viewModel, nhưng các …

9 c#  design-patterns  entity-framework  wpf  mvvm 

Tôi phát triển trên iOS và tôi đang chuyển từ phụ trợ PHP sang Ruby on Rails. Định dạng trao đổi là JSON . Một tìm kiếm nhanh của Google về 'lưu hình ảnh trong Rails' có gần như mọi kết quả nói về việc lưu dữ liệu hình ảnh …

9 ruby-on-rails  persistence  image 

Đã đóng cửa . Câu hỏi này dựa trên ý kiến . Nó hiện không chấp nhận câu trả lời. Bạn muốn cải thiện câu hỏi này? Cập nhật câu hỏi để có thể trả lời bằng sự kiện và trích dẫn bằng cách chỉnh sửa bài đăng này . …

9 class-design  complexity  methods  parameters  cohesion 

Tôi còn khá mới mẻ với thế giới rộng lớn của Git. Tôi đã đọc hướng dẫn và đang thực hành nhưng tôi bối rối về một số khía cạnh của nó, điều mà tôi không thể tìm ra sau khi tìm kiếm. Tôi tự hỏi: Trong một dự án …

9 version-control  git  versioning