HDTL을 이용한 병렬 자바 프로그램의 모니터링과 검사Monitoring and Checking Concurrent Java Programs with HDTL
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | 조승모 | ko |
| dc.contributor.author | 김형호 | ko |
| dc.contributor.author | 차성덕 | ko |
| dc.contributor.author | 배두환 | ko |
| dc.date.accessioned | 2010-05-18T07:29:43Z | - |
| dc.date.available | 2010-05-18T07:29:43Z | - |
| dc.date.created | 2012-02-06 | - |
| dc.date.created | 2012-02-06 | - |
| dc.date.issued | 2002-06 | - |
| dc.identifier.citation | 정보과학회논문지 : 소프트웨어 및 응용, v.29, no.6, pp.345 - 354 | - |
| dc.identifier.issn | 1229-6848 | - |
| dc.identifier.uri | http://hdl.handle.net/10203/18434 | - |
| dc.description.abstract | 정형 명세를 이용하여 구현된 프로그램이 수행 중에 명세를 만족시키는지 모니터링하고 검사하는 기법에 대한 연구들이 기존에 많이 수행되어 왔다. 이들은 주로 요구사항 명세언어로 시제논리 혹은 그것의 확장을 사용하게 된다. 이때 대부분의 연구는 실제 구현된 시스템이 가지는 동적인 변화를 제대로 요구사항 명세에 기술하고, 검사할 수 있는 언어를 제공하지 못하고 있다. 본 연구에서는 동적 시스템의 특성 명세언어로 기존에 제안했던 HDTL을 사용하여 동적인 자바 프로그램의 수행을 모니터링하고 검사하는 프레임웍을 제안한다. | - |
| dc.language | Korean | - |
| dc.language.iso | ko | en |
| dc.publisher | 한국정보과학회 | - |
| dc.title | HDTL을 이용한 병렬 자바 프로그램의 모니터링과 검사 | - |
| dc.title.alternative | Monitoring and Checking Concurrent Java Programs with HDTL | - |
| dc.type | Article | - |
| dc.subject.alternative | formal specification | en |
| dc.subject.alternative | dynamic system verification | en |
| dc.subject.alternative | Java | en |
| dc.type.rims | ART | - |
| dc.citation.volume | 29 | - |
| dc.citation.issue | 6 | - |
| dc.citation.beginningpage | 345 | - |
| dc.citation.endingpage | 354 | - |
| dc.citation.publicationname | 정보과학회논문지 : 소프트웨어 및 응용 | - |
| dc.identifier.kciid | ART000989421 | - |
| dc.contributor.localauthor | 배두환 | - |
| dc.contributor.nonIdAuthor | 조승모 | - |
| dc.contributor.nonIdAuthor | 김형호 | - |
| dc.subject.keywordAuthor | formal specification | - |
| dc.subject.keywordAuthor | dynamic system verification | - |
| dc.subject.keywordAuthor | Java | - |
| dc.subject.keywordAuthor | 정형 명세 | - |
| dc.subject.keywordAuthor | 동적 시스템 검증 | - |
| dc.subject.keywordAuthor | 자바 | - |
| dc.subject.keywordAuthor | formal specification | - |
| dc.subject.keywordAuthor | dynamic system verification | - |
| dc.subject.keywordAuthor | Java | - |
- Appears in Collection
- CS-Journal Papers(저널논문)
- Files in This Item
- 41668.pdf(593.6 kB)Download
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.