Information and Systems-Knowledge-Based Software Engineering(Date:2014/07/02)

Presentation
表紙

,  

[Date]2014/7/2
[Paper #]
目次

,  

[Date]2014/7/2
[Paper #]
コードレビュー時の読み方教示によるレビュー効率の変化(レビュー・分析)

,  

[Date]2014/7/2
[Paper #]Vol.2014-SE-185 No.1
第三者によるソフトウェア開発作業評価のための作業記録の保護手法(レビュー・分析)

,  

[Date]2014/7/2
[Paper #]Vol.2014-SE-185 No.2
作業時間に基づくソフトウェア保守ベンチマーキングの試み(レビュー・分析)

,  

[Date]2014/7/2
[Paper #]Vol.2014-SE-185 No.3
Application of Answer Set Programming to Various Forms of the Task Scheduling Problem

Hiroyuki KOBAYASHI,  Hiroyuki NAKAGAWA,  Hideharu KOJIMA,  Tatsuhiro TSUCHIYA,  

[Date]2014/7/2
[Paper #]SS2014-9,KBSE2014-12
Temporal-Constrants Representations for a Business Prosess by using Timed-Arc into Object-oriented Petri Net

Tadashi IIJIMA,  

[Date]2014/7/2
[Paper #]SS2014-10,KBSE2014-13
A cost-aware scheduling for real-time tasks based on the priced task automta

Shoji YUEN,  Tatsuro KAMEI,  

[Date]2014/7/2
[Paper #]SS2014-11,KBSE2014-14
PEL for IoT System

SHINTARO HOSOAI,  SHIGEMI ISHIDA,  YASUTAKA KAMEI,  SHUHEI OHSAKO,  HIROSHI IGAKI,  NAOYASU UBAYASHI,  AKIRA FUKUDA,  

[Date]2014/7/2
[Paper #]Vol.2014-SE-185 No.7
ソフトウェア進化の理解を目的とした遅延相関分析手法 : OSSプロジェクトデータへの適用(PBL・開発プロセス)

,  

[Date]2014/7/2
[Paper #]Vol.2014-SE-185 No.8
開発履歴を利用した風林火山モデルに基づく開発者特性の分析(PBL・開発プロセス)

,  

[Date]2014/7/2
[Paper #]Vol.2014-SE-185 No.9
MDD for Smartphone Application with Smartphone Feature Specific Model and GUI Builder

Koji MATSUI,  Saeko MATSUURA,  

[Date]2014/7/2
[Paper #]SS2014-12,KBSE2014-15
Learning Relation between Android Permissions and Threats by Experiencing Pseudo Malware

Makoto KATO,  Saeko MATSUURA,  

[Date]2014/7/2
[Paper #]SS2014-13,KBSE2014-16
An Automatic Web Prototyping for Validating Usability Requirements

Shohei KAMIMORI,  Shinpei OGATA,  Kenji KAIJIRI,  

[Date]2014/7/2
[Paper #]SS2014-14,KBSE2014-17
A Method to Extract a HTML Structure Pattern for UI Functional Testing of Web Applications

Toshihiro KAMIYA,  

[Date]2014/7/2
[Paper #]SS2014-15,KBSE2014-18
A Method of Facilitating Counterexample Analysis in Model Checking

Yoshitaka Aoki,  Saeko Matsuura,  

[Date]2014/7/2
[Paper #]SS2014-16,KBSE2014-19
Improving efficiency of pseudo-Boolean solver that uses SAT solver and BDD

Masahiko SAKAI,  Hidetomo NABESHIMA,  

[Date]2014/7/2
[Paper #]SS2014-17,KBSE2014-20
Deciding Code Allocation on Malbolge Low-Lebel Assembler

Tatsuki KATO,  Masahiko SAKAI,  Toshiki SAKABE,  Naoki NISHIDA,  

[Date]2014/7/2
[Paper #]SS2014-18,KBSE2014-21
A proposal of a searching method for MathML expressions

Akihisa KATAOKA,  Hiroshi KAI,  

[Date]2014/7/2
[Paper #]SS2014-19,KBSE2014-22
Supporting Prefactoring Using Feature Location Results

Takuya KOMATSUDA,  Shinpei HAYASHI,  Motoshi SAEKI,  

[Date]2014/7/2
[Paper #]SS2014-20,KBSE2014-23
12>> 1-20hit(33hit)