프로그래밍,programming
프로그래밍언어,programming_language
프로그래밍패러다임,programming_paradigm
프로그램_카운터,program_counter
프로그램동치 program_equivalence program_equivalence
프로그램분석,program_analysis - curr at 분석,analysis
program_transformation { Program_transformation = https://en.wikipedia.org/wiki/Program_transformation 변환,transformation }
program_synthesis
{
Program_synthesis
program_verification = formal_verification
{
Program_verification redir to Formal_verification = https://en.wikipedia.org/wiki/Formal_verification
}
program_derivation
{
Program_derivation
프로그래밍언어,programming_language
프로그래밍패러다임,programming_paradigm
프로그램_카운터,program_counter
프로그램동치 program_equivalence program_equivalence
프로그램분석,program_analysis - curr at 분석,analysis
program_transformation { Program_transformation = https://en.wikipedia.org/wiki/Program_transformation 변환,transformation }
program_synthesis
{
Program_synthesis
= https://en.wikipedia.org/wiki/Program_synthesis
"is the task to construct a program that provably satisfies a given high-level formal specification. In contrast to program_verification, the program is to be constructed rather than given"
}"is the task to construct a program that provably satisfies a given high-level formal specification. In contrast to program_verification, the program is to be constructed rather than given"
program_verification = formal_verification
{
Program_verification redir to Formal_verification = https://en.wikipedia.org/wiki/Formal_verification
}
program_derivation
{
Program_derivation
= https://en.wikipedia.org/wiki/Program_derivation
"is the derivation of a program from its specification, by mathematical means."
}"is the derivation of a program from its specification, by mathematical means."
MKLINK
프로세스,process
개발,development
{
소프트웨어,software(프로그램,program, 라이브러리,library, ...)
서비스(웹사이트,website, 앱,app, ...)
솔루션
... 등을 만드는.
프로세스,process
개발,development
{
소프트웨어,software(프로그램,program, 라이브러리,library, ...)
서비스(웹사이트,website, 앱,app, ...)
솔루션
... 등을 만드는.
}