책 이미지
eBook 미리보기
책 정보
· 제목 : Runtime Verification: A Hands-On Approach in Java (Paperback)
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9783031092664
· 쪽수 : 205쪽
· 출판일 : 2022-07-13
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9783031092664
· 쪽수 : 205쪽
· 출판일 : 2022-07-13
목차
Preface. - 1. The Need for Verification?. - 2. Runtime Verification: An Overview. - 3. Writing an Instrumenting Monitors Manually. - 4. Monitoring Using Aspect-Oriented Programming. - 5. A Guarded-Command Language for Monitoring. - 6. Automata-Based Specifications. - 7. Regular Expression Specifications. - 8. Real-Time Properties. - 9. Taking the Monitors Offline. - 10. Other topics in Runtime Verification. - References. - Index.
