«se.software-engineering» 태그된 질문

2
알고리즘이 임의의 입력 프로그램의 시간 복잡성을 어느 정도까지 예측할 수 있습니까?
정지 문제는 그것을 위해 다른 프로그램이 멈추는 경우 확인할 수있는 프로그램 작성 불가능하다고 주장한다 가능한 모든 입력 프로그램 . 그러나 확실히 다음과 같은 프로그램의 실행 시간을 계산할 수있는 프로그램을 작성할 수 있습니다. for(i=0; i<N; i++) { x = 1; } 실행하지 않고 의 시간 복잡성을 반환 합니다.엔NN 다른 모든 입력 …

9
미션 크리티컬 소프트웨어를 만드는 방법?
나는 자율 학습 공식적인 방법입니다. 공식적인 방법을 사용하여 미션 크리티컬 소프트웨어 (예 : 원자로 컨트롤러, 항공기 비행 컨트롤러, 우주 탐침 컨트롤러)를 만드는 데 사용됩니다. 그래서 나는 그것을 배우고 싶습니다 : p 그러나 공식적인 방법 (특히 LTL, CTL 및 형제)을 배우면 사양의 정확성 (안전성, 활력, 공정성 등)을 확인하는 데만 사용할 수 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.