최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기국가/구분 | United States(US) Patent 등록 |
---|---|
국제특허분류(IPC7판) |
|
출원번호 | UP-0522083 (2003-06-23) |
등록번호 | US-7559051 (2009-07-15) |
우선권정보 | EP-02078038(2002-07-25) |
국제출원번호 | PCT/IB03/002908 (2003-06-23) |
§371/§102 date | 20050121 (20050121) |
국제공개번호 | WO04/012083 (2004-02-05) |
발명자 / 주소 |
|
출원인 / 주소 |
|
대리인 / 주소 |
|
인용정보 | 피인용 횟수 : 7 인용 특허 : 17 |
A method is disclosed for partitioning a specification in a source code. In a first step, the specification is converted into a plurality of abstract syntax trees. In a second step, the plurality of abstract syntax trees is partitioned into at least a first set and a second set. The first set of abs
The invention claimed is: 1. A method for partitioning a specification in a source code; characterized in that the method comprises the following steps: first converting the specification into a plurality of abstract syntax trees; partitioning the plurality of abstract syntax trees into at least a
※ AI-Helper는 부적절한 답변을 할 수 있습니다.