하이라이트
쉬운 전문용어 1222개
PL
correct-by-construction
구성에 따라 옳은, 만들때맞춤, 만들면 다맞는, 만들면서 올바름을 보장하는, 옳도록 만들어지는, 틀린걸만들수없는
11·3시간 전
DB
atomicity
원자성, 불가분 성질
3·3시간 전
PLSEOSAR
race condition
순서 충돌, 순서 민감
2·3시간 전
SE
traceability link
추적 실마리, 작업내역 링크
2·5시간 전
PL
trace
실행 경로, 실행궤적, 실행발자국, 자취
5·23일 전
PL
transitional semantics
실행발자국 의미구조, 실행스텝 의미구조, 내딛는 의미구조
2·24일 전
PL
transition
내딛기
1·24일 전
SE
regression test
여전한지 검사 / 여전한지 검사하기 / 여전한지 테스트, 퇴행방지검사, 퇴행검사, 굳히기 검사, 뒷걸음질치기 검사, 후퇴방지 검사
14·한 달 전
PLALSESC
precondition
시작조건, 전제조건, 첫조건
5·한 달 전
PL
peephole optimization
틈새 최적화, 꼬마 최적화
6·한 달 전
PL
weak update
덧붙여쓰기, 합쳐쓰기
2·한 달 전
PLALSESC
postcondition
끝조건, 보장조건
2·한 달 전
PL
structural rule
두루쓰이는 규칙, 범용규칙, 뼈대규칙
3·한 달 전
PLALSEOS
boilerplate
뻔한코드, 찍어낸 코드, 판박이
4·2달 전
PLOS
distributed system
분산시스템, 흩어도는 시스템
2·2달 전
PLOS
concurrent system
함께도는 시스템
1·2달 전
AL
quick sort
퀵정렬, 휙정렬
6·2달 전
PL
continuation passing style
앞으로할일 전달하는, 마저할일 드러낸, 마저할일 전달하는
7·2달 전
PL
over-approximation
놓침없이 따지기, 넉넉한 근사, 더어림잡기, 포함 어림
13·2달 전
PL
continuation passing style transform
마저할일 드러내기, 마저할일전달 변환
5·2달 전
AIALSE
local optimum
지역 최적해
2·2달 전
AI
harness engineering
고삐 채우기
2·2달 전
PL
strong update
덮어쓰기
1·3달 전
OS
computing system
컴퓨팅시스템
3·3달 전
transitivity
번짐성, 연쇄성, 이어짐
3·3달 전
PL
congruence
나란함, 닮음, 일관성
3·3달 전
PL
under-approximation
가짜없이 따지기, 밭게잡기, 덜어림잡기, 부분 어림, 틀림없이 근사하기
12·4달 전
transitive closure
번진것 다, 번짐모조리, 번짐의 끝, 번져모음, 연쇄반응의 끝, 이어진 모든 것
11·4달 전
SC
SBOM (SW Bill of Materials)
SW구성성분표
4·4달 전
AL
merge sort
합치기 정렬, 뭉쳐가며 정렬, 합병 정렬, 합침 정렬
4·4달 전
PL
lambda calculus
람다계산법
5·4달 전
PLAIALGH
approximation
근접하기, 어림잡기
6·4달 전