최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기국가/구분 | United States(US) Patent 등록 |
---|---|
국제특허분류(IPC7판) |
|
출원번호 | US-0510373 (1990-04-17) |
발명자 / 주소 |
|
출원인 / 주소 |
|
인용정보 | 피인용 횟수 : 163 인용 특허 : 0 |
A computer program specification system is disclosed for interactively creating program specifications responsive to user input. The system includes facilities to respond to changes, supplied interactively, to a program specification without recompiling the program specification, and immediately to
A method practiced in a computer system of interactively creating specifications for a computer program, comprising: wherein an actor comprises data and procedures for manipulating that data, wherein said data of an actor comprises a knowledge base, comprising a series of logical assertions, and a h
※ AI-Helper는 부적절한 답변을 할 수 있습니다.