소프트웨어 공학

SQL 문, 함수 및 저장 프로 시저의 정확성을 테스트 / 확인하기 위해 증명 형식으로 관계형 대수 및 / 또는 관계형 미적분학을 사용하는 것이 가능하거나 가능합니까? 적어도 가능 해야하는 것처럼 보이지만 누락 된 세부 사항이 있는지 증명하지 못하고 증명과 코드 사이의 1 : 1 매핑이 잘못되었습니다. 이런 방법을 시도한 사람이 있습니까? …

9 testing  sql  math  relational-database 

REST [api] 구조를 OO 모델과 비교할 때 다음과 같은 유사점이 있습니다. 양자 모두: 데이터 지향 REST = 자원 OO = 객체 데이터 주변의 서라운드 작동 REST = 자원 주변의 동사 (Get, Post, ...) OO = 캡슐화를 통한 객체 주변의 작업 촉진 그러나 OO 사례는 우수 패턴을 적용하려고 할 때 항상 …

9 http  rest  definition 

Google 검색시이 주제에 대한 많은 답변이 나타납니다. 그러나 나는이 두 기능의 차이점을 잘 설명하는 사람이 있다고 생각하지 않습니다. 한 번 더 시도하고 싶습니다. 구체적으로 ... 자기 유형으로 할 수 있고 상속하지 않고 할 수있는 것은 무엇입니까? 나에게, 둘 사이에 정량화 할 수있는 물리적 차이가 있어야한다. 그렇지 않으면 명목상 다르다. 특성 …

9 design-patterns  object-oriented-design  scala 

LLVM을 사용하여 C ++ 응용 프로그램을 Java 바이트 코드로 이식하는 것이 얼마나 실용적인가요? 문제는 현재 C ++로 작성된 프로세스를 가지고 있지만 새로운 클라이언트는 기본 코드가없는 Java Virtual Machine (JNI 없음)을 사용하여 멀티 플랫폼 방식으로 프로그램을 실행할 수 있어야한다는 것 입니다. 아이디어는 생성 된 jar를 가져 와서 다른 시스템 (Linux, Win, …

9 java  c++  porting 

저는 DDD로 시작하여 국가 간 일관성을 보장하기 위해 집계 루트가 사용됨을 이해합니다. 하나의 응용 프로그램 서비스에서 여러 집계를 수정해서는 안됩니다. 그러나 다음 상황을 처리하는 방법을 알고 싶습니다. Products라는 집계 루트가 있습니다. Group이라는 집계 루트도 있습니다. 둘 다 ID가 있으며 독립적으로 편집 할 수 있습니다. 여러 제품이 같은 그룹을 가리킬 수 …

9 domain-driven-design  domain-model 

특히 버그 수정 및 기타 패치 측면에서 Oracle JDK와 OpenJDK의 차이점을 이해하고 싶습니다. OpenJDK에 절대로 패치를 적용하지 않는 패치를 만드는 습관이있는 오라클은 어느 지점을 먼저 수정합니까?

9 java 

다음 문제를 처리하는 알고리즘을 찾고 있는데, 지금은 "나쁜 사과"알고리즘을 호출하고 있습니다. 문제 N >> M 인 M 샌드 박스에서 N 프로세스가 실행 중입니다. 각 프로세스에 자체 샌드 박스를 제공하는 것은 비현실적입니다. 이러한 프로세스 중 하나 이상이 제대로 작동하지 않아 전체 샌드 박스가 다운되어 동일한 샌드 박스에서 다른 모든 프로세스가 종료됩니다. …

9 algorithms 

휴무 . 이 질문은 의견 기반 입니다. 현재 답변을받지 않습니다. 이 질문을 개선하고 싶습니까? 이 게시물 을 편집 하여 사실과 인용으로 답변 할 수 있도록 질문을 업데이트하십시오 . 휴일 3 년 전 . 기본적으로 저는 파이썬에서 네트워크 프로그래밍을 처음 사용하기 때문에 온라인으로 튜토리얼을 찾아 보았습니다. 튜토리얼에서 배운 내용 (소켓 만들기, …

9 personal-projects 

함수를 사용할 수있는 많은 빠른 작업을 위해 f(x,y)일반 C에서는 매크로가 사용됩니다. 함수 호출 (즉, 임의 코드의 코드 확장이 아닌 함수 인라인에 사용되는 매크로)으로 해결할 수있는 이러한 경우에 대해 구체적으로 묻고 싶습니다. 일반적으로 C 함수는 다른 C 파일에서 링크 될 수 있으므로 인라인되지 않습니다. 그러나 정적 C 함수는 정의 된 C …

9 c 

RSpec, Capybara 및 Selenium 웹 드라이버를 사용하여 Mac에서 TDD를 수행하는 Rails 개발자입니다. 이제 회사에서 Windows 환경의 .NET에이 방법을 사용하도록 요청했습니다. 가장 좋은 방법은 무엇입니까? Ruby를 설치하고 통합 테스트를 위해 RSPEC, Capybara 및 Selenium 웹 드라이버를 사용할 수 있습니다. 그러나 단위 테스트는 어떻습니까? 또한 NSpec 도 살펴 보았지만 통합 테스트를 위해 …

9 .net 

방금 노드를 사용하기 시작했으며 빠르게 주목 한 것은 콜백이 얼마나 빨리 바보 같은 수준의 들여 쓰기까지 만들 수 있는지입니다. doStuff(arg1, arg2, function(err, result) { doMoreStuff(arg3, arg4, function(err, result) { doEvenMoreStuff(arg5, arg6, function(err, result) { omgHowDidIGetHere(); }); }); }); 공식 스타일 가이드는 별도의 기능을 각각의 콜백을 넣어라고하지만 개체가 모두 통과해야한다와 같은 …

9 node.js  coding-style 

내 응용 프로그램은 간단한 피드 리더라고 가정 해 보겠습니다. 내 앱에 실제로 무보증 통지가 포함되어야합니까?

9 legal 

Client application-> Front-end API cloud server-> 와 같은 3 계층 시스템을위한 REST API를 설계하고 user's home API server (Home)있습니다. Home는 가정용 기기이며 Front-endWebsocket 또는 긴 설문 조사 를 통해 연결을 유지해야합니다 (이것은 우리가 REST를 위반하는 첫 번째 장소입니다. 나중에 더 악화됩니다) . Front-end대부분 연결 Client요청을 터널링 Home하고 일부 호출 자체를 …

9 architecture  web-services  rest  message-queue  websockets 

최근 저는 Haskell에 깊은 관심을 가지게되었습니다. 새로운 개념 (예 : forall 키워드 와 ST 모나드 )과 Haskell의 유형 시스템 을 배우려고 노력하는 동안 나는 계속해서 범주 이론 과 람다 미적분학 에서 개념을 접하게 됩니다. 그래서 궁금합니다. Haskell의 유형 체계를 이해하는 데 중요한 다른 수학 분야는 무엇입니까? 이 수학에 대한 엄격한 …

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

iOS 에서 개발하고 있으며 PHP 백엔드에서 Ruby on Rails로 전환하고 있습니다. 교환 형식은 JSON 입니다. 'Rails에 이미지 저장'을 빠르게 Google에서 검색하면 거의 모든 결과가 데이터베이스에 Blob으로 이미지 데이터를 저장하는 것과 관련이 있습니다. 내가 잘못했을 수도 있지만 데이터베이스에 이미지 데이터를 저장하면 파일 위치에 대한 링크를 저장하는 것과는 달리 ( '/img/subcat/4656.png') 시간과 …

9 ruby-on-rails  persistence  image