Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SS, KBSE |
2013-07-25 11:30 |
Hokkaido |
|
Automated Error Localization with Weighted Partial Maximum Satisfiability Si-Mohamed Lamraoui, Shin Nakajima (NII) SS2013-13 KBSE2013-13 |
[more] |
SS2013-13 KBSE2013-13 pp.1-6 |
SS, KBSE |
2013-07-25 12:00 |
Hokkaido |
|
A Verification Method on Consistency between Different SQL Statements and Schemas using Alloy Analyzer Yuya Fujita, Kozo Okano, Shinji Kusumoto (Osaka Univ.) SS2013-14 KBSE2013-14 |
[more] |
SS2013-14 KBSE2013-14 pp.7-12 |
SS, KBSE |
2013-07-25 13:30 |
Hokkaido |
|
Fuzzy Constraint Satisfaction Applied to Class Responsibility Assignment Problems Takuto Yanagida (Shizuoka Univ.), Shinpei Hayashi, Motoshi Saeki (Tokyo Inst. of Tech.), Hidenori Mimura (Shizuoka Univ.) SS2013-15 KBSE2013-15 |
The authors formulate the class responsibility assignment (CRA) problem as the fuzzy constraint satisfaction problem (FC... [more] |
SS2013-15 KBSE2013-15 pp.13-18 |
SS, KBSE |
2013-07-25 14:00 |
Hokkaido |
|
A Proposal of Incremental Progress-Dependent Syntax Checking of Design Models Masatoshi Murakami, Yuichiro Nakagawa, Haruhiko Nishiyama, Ryota Mibe (Hitachi) SS2013-16 KBSE2013-16 |
When software designers create design models of software systems, they should check the models with a syntax of them. Ex... [more] |
SS2013-16 KBSE2013-16 pp.19-24 |
SS, KBSE |
2013-07-25 14:30 |
Hokkaido |
|
A Mechanism for Executing Software Systems with Defective Components Satoshi Watanabe, Yasuhiro Sugiyama (Nihon Univ.) SS2013-17 KBSE2013-17 |
In order to improve the availability of software systems, it is desirable that the software systems can keep running ev... [more] |
SS2013-17 KBSE2013-17 pp.25-30 |
SS, KBSE |
2013-07-25 15:00 |
Hokkaido |
|
Network analysis for Software Patterns in Portland Pattern Repository Hironori Washizaki (Waseda Univ.), Takeshi Kawamura (USOL Tokyo), Masashi Kadoya, Yoshiaki Fukazawa (Waseda Univ.) SS2013-18 KBSE2013-18 |
We applied the technique of network analysis to collection site Portland Pattern Repository (henceforth, PPR) of the sof... [more] |
SS2013-18 KBSE2013-18 pp.31-36 |
SS, KBSE |
2013-07-25 15:40 |
Hokkaido |
|
Fluid Design Abstraction Naoyasu Ubayashi, Ai Di, Shintaro Hosoai, Yasutaka Kamei (Kyushu Univ.) SS2013-19 KBSE2013-19 |
Abstraction plays an important role in software development. However, it is not easy to decide which concern should be d... [more] |
SS2013-19 KBSE2013-19 pp.37-42 |
SS, KBSE |
2013-07-25 16:10 |
Hokkaido |
|
Finite State Automata Representing Character Appearance and Disappearance by Character Encoding Scheme Conversion Seikoh Nishita (Takushoku Univ.) SS2013-20 KBSE2013-20 |
Character encoding conversion involves character appearance and disappearance problem: the conver- sion sometimes create... [more] |
SS2013-20 KBSE2013-20 pp.43-48 |
SS, KBSE |
2013-07-25 16:40 |
Hokkaido |
|
Modeling Smartphone Apps Using State Machine Diagrams Kyosuke Ochimizu, Tomoyuki Yokogawa (Okayama Prefectural Univ.), Hisashi Miyazaki (KUMW), Yoichiro Sato, Kazutami Arimoto (Okayama Prefectural Univ.) SS2013-21 KBSE2013-21 |
In this paper, we propose a method for modeling smartphone apps using
UML state machine diagrams.
We focused on a tap ... [more] |
SS2013-21 KBSE2013-21 pp.49-54 |
SS, KBSE |
2013-07-25 17:10 |
Hokkaido |
|
An Iterative Approach for Improving Feature Location and Identification Hiroshi Kazato (NTT DATA INTELLILINK CORPORATION), Shinpei Hayashi, Takashi Kobayashi (Tokyo Inst. of Tech.), Tsuyoshi Oshima, Shunsuke Miyata, Katsuyuki Natsukawa, Takashi Hoshino (NTT), Motoshi Saeki (Tokyo Inst. of Tech.) SS2013-22 KBSE2013-22 |
Feature location (FL) is an activity of developers which identifies correspondence between software features and program... [more] |
SS2013-22 KBSE2013-22 pp.55-60 |
SS, KBSE |
2013-07-26 09:30 |
Hokkaido |
|
Conditional Dependency Pair Method for Proving Termination of Functional Programs with Exception Handling Takeshi Hamaguchi, Masahiko Sakai (Nagoya Univ.) SS2013-23 KBSE2013-23 |
We have recently proposed a method for proving termination/non-termination properties of eager-evaluation-based function... [more] |
SS2013-23 KBSE2013-23 pp.61-66 |
SS, KBSE |
2013-07-26 10:00 |
Hokkaido |
|
[Encouragement Talk]
A preliminary evaluation of C-Helper, a tool for C beginners Kota Uchida, Katsuhiko Gondow (Tokyo Inst. of Tech.) SS2013-24 KBSE2013-24 |
(To be available after the conference date) [more] |
SS2013-24 KBSE2013-24 pp.67-72 |
SS, KBSE |
2013-07-26 10:30 |
Hokkaido |
|
Malbolge with 20trits word length and its programming Tatsuki Kato, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.) SS2013-25 KBSE2013-25 |
Malbolge is known to be one of the most esoteric programming languages.
Recently a low-level assembly language (LA-lang... [more] |
SS2013-25 KBSE2013-25 pp.73-78 |
SS, KBSE |
2013-07-26 11:10 |
Hokkaido |
|
Automatic Rating of Use Case Description to Assist Beginner's Learning Shunsuke Matsui, Atsushi Noro, Koji Okada, Makoto Kato, Daiki Watanabe, Saeko Matsuura (Shibaura Inst. of Tech.) SS2013-26 KBSE2013-26 |
Use case description is informal. Thus, confirming validity of the functional requirements is difficult. By using UML, b... [more] |
SS2013-26 KBSE2013-26 pp.79-84 |
SS, KBSE |
2013-07-26 11:40 |
Hokkaido |
|
A Context Representation for Access Control Models by using Object-oriented Petri Nets Tadashi Iijima (Keio Univ.) SS2013-27 KBSE2013-27 |
This paper describes a proposal to adopt
a nets-within-nets semantics based object-oriented petri net model as
a con... [more] |
SS2013-27 KBSE2013-27 pp.85-90 |
SS, KBSE |
2013-07-26 13:10 |
Hokkaido |
|
Application to Development Site of Model Checking Technology
-- Discovery of Inconsistency of Specification and Source Code -- Yoshitaka Aoki (Nihon Unisys), Saeko Matsuura (Shibaura Inst. of Tech.) SS2013-28 KBSE2013-28 |
Software programs often include many defects that are not easy to detect because of the developers’ mistakes, misunderst... [more] |
SS2013-28 KBSE2013-28 pp.91-96 |
SS, KBSE |
2013-07-26 13:40 |
Hokkaido |
|
Verification of Feasibility by Model Checking Techniques Applied to UML Requirements Analysis Model Yoshitaka Aoki (Nihon Unisys), Shinpei Ogata (Shinshu Univ.), Saeko Matsuura (Shibaura Inst. of Tech.) SS2013-29 KBSE2013-29 |
A key to success of developing high quality software products is to define valid and feasible requirements specification... [more] |
SS2013-29 KBSE2013-29 pp.97-102 |
SS, KBSE |
2013-07-26 14:10 |
Hokkaido |
|
A Case Study on Introducing the DaaS Development Environment into PBL Shintaro Hosoai, Yasutaka Kamei, Shuhei Ohsako (Kyushu Univ.), Hiroshi Igaki (Osaka Univ.), Naoyasu Ubayashi, Akira Fukuda (Kyushu Univ.) SS2013-30 KBSE2013-30 |
Our course has been carrying out PBL basic education through the development of an enterprise application for book manag... [more] |
SS2013-30 KBSE2013-30 pp.103-108 |
SS, KBSE |
2013-07-26 14:40 |
Hokkaido |
|
On Effectiveness of Filtering for Code Review Planning using Mathematical Programming Model Shinya Inoue, Hirohisa Aman (Ehime Univ) SS2013-31 KBSE2013-31 |
[more] |
SS2013-31 KBSE2013-31 pp.109-114 |
SS, KBSE |
2013-07-26 15:20 |
Hokkaido |
|
Support for Method-Extraction Refactoring by Automatic Removal of Temporary Variables Kaori Tajima, Takayuki Omori, Katsuhisa Maruyama (Ritsumeikan Univ.) SS2013-32 KBSE2013-32 |
The Extract Method, one of the refactoring transformations, is frequently used to improve the ex- tendibility and reusab... [more] |
SS2013-32 KBSE2013-32 pp.115-120 |