|
|
Technical Committee on Software Science (SS) (Searched in: 2020)
|
|
Search Results: Keywords 'from:2020-10-19 to:2020-10-19'
|
[Go to Official SS Homepage (Japanese)] |
Search Results: Conference Papers |
Conference Papers (Available on Advance Programs) (Sort by: Date Ascending) |
|
Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
DC, SS |
2020-10-19 13:00 |
Online |
Online |
verification of shell script behavior by comparing logs. Hitoshi Kiryu (Shinshu Univ.), Satoshi Suda (Advanced Technology R&D Center, MITSUBISHI Electric), Shinpei Ogata, Kozo Okano (Shinshu Univ.) SS2020-5 DC2020-22 |
[more] |
SS2020-5 DC2020-22 pp.1-6 |
DC, SS |
2020-10-19 13:25 |
Online |
Online |
LTL Model Checking for Register Pushdown Systems Ryoma Senda (Nagoya Univ.), Yoshiaki Takata (KUT), Hiroyuki Seki (Nagoya Univ.) SS2020-6 DC2020-23 |
A pushdown system (PDS) is known as an abstract model of recursive programs.
For PDS, model checking methods have been ... [more] |
SS2020-6 DC2020-23 pp.7-12 |
DC, SS |
2020-10-19 13:50 |
Online |
Online |
SS2020-7 DC2020-24 |
(To be available after the conference date) [more] |
SS2020-7 DC2020-24 pp.13-18 |
DC, SS |
2020-10-19 14:30 |
Online |
Online |
SS2020-8 DC2020-25 |
(To be available after the conference date) [more] |
SS2020-8 DC2020-25 pp.19-24 |
DC, SS |
2020-10-19 14:55 |
Online |
Online |
An Empirical Study on Self-Admitted Technical Debt in Container-Based Virtualization Hideaki Azuma, Shinsuke Matsumoto (Osaka Univ.), Yasutaka Kamei (Kyushu Univ.), Shinji Kusumoto (Osaka Univ.) SS2020-9 DC2020-26 |
[more] |
SS2020-9 DC2020-26 pp.25-30 |
DC, SS |
2020-10-19 15:20 |
Online |
Online |
SS2020-10 DC2020-27 |
(To be available after the conference date) [more] |
SS2020-10 DC2020-27 pp.31-36 |
DC, SS |
2020-10-19 16:00 |
Online |
Online |
SS2020-11 DC2020-28 |
(To be available after the conference date) [more] |
SS2020-11 DC2020-28 pp.37-42 |
DC, SS |
2020-10-19 16:25 |
Online |
Online |
A Prototype Tool to Predict Comment Line Positions for Code Review Toshihiro Kamiya (Shimane Univ.) SS2020-12 DC2020-29 |
Comments in source code play an important role in code comprehension.
This paper presents a method and its prototype to... [more] |
SS2020-12 DC2020-29 pp.43-48 |
DC, SS |
2020-10-19 16:50 |
Online |
Online |
SS2020-13 DC2020-30 |
[more] |
SS2020-13 DC2020-30 pp.49-54 |
|
|
|
Copyright and reproduction :
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)
|
[Return to Top Page]
[Return to IEICE Web Page]
|