Information and Systems-Software Science(Date:2013/07/18)

Presentation
表紙

,  

[Date]2013/7/18
[Paper #]
目次

,  

[Date]2013/7/18
[Paper #]
Automated Error Localization with Weighted Partial Maximum Satisfiability

Si-Mohamed LAMRAOUI,  Shin NAKAJIMA,  

[Date]2013/7/18
[Paper #]SS2013-13,KBSE2013-13
A Verification Method on Consistency between Different SQL Statements and Schemas using Alloy Analyzer

Yuya FUJITA,  Kozo OKANO,  Shinji KUSUMOTO,  

[Date]2013/7/18
[Paper #]SS2013-14,KBSE2013-14
Fuzzy Constraint Satisfaction Applied to Class Responsibility Assignment Problems

Takuto YANAGIDA,  Shinpei HAYASHI,  Motoshi SAEKI,  Hidenori MIMURA,  

[Date]2013/7/18
[Paper #]SS2013-15,KBSE2013-15
A Proposal of Incremental Progress-Dependent Syntax Checking of Design Models

Masatoshi Murakami,  Yuichiro Nakagawa,  Haruhiko Nishiyama,  Ryota Mibe,  

[Date]2013/7/18
[Paper #]SS2013-16,KBSE2013-16
A Mechanism for Executing Software Systems with Defective Components

Satoshi WATANABE,  Yasuhiro SUGIYAMA,  

[Date]2013/7/18
[Paper #]SS2013-17,KBSE2013-17
Network analysis for Software Patterns in Portland Pattern Repository

Hironori Washizaki,  Takeshi Kawamura,  Masashi Kadoya,  Yoshiaki Fukazawa,  

[Date]2013/7/18
[Paper #]SS2013-18,KBSE2013-18
Fluid Design Abstraction

Naoyasu UBAYASHI,  Ai DI,  Shintaro HOSOAI,  Yasutaka KAMEI,  

[Date]2013/7/18
[Paper #]SS2013-19,KBSE2013-19
Finite State Automata Representing Character Appearance and Disappearance by Character Encoding Scheme Conversion

Seikoh NISHITA,  

[Date]2013/7/18
[Paper #]SS2013-20,KBSE2013-20
Modeling Smartphone Apps Using State Machine Diagrams

Kyosuke OCHIMIZU,  Tomoyuki YOKOGAWA,  Hisashi MIYAZAKI,  Yoichiro SATO,  Kazutami ARIMOTO,  

[Date]2013/7/18
[Paper #]SS2013-21,KBSE2013-21
An Iterative Approach for Improving Feature Location and Identification

Hiroshi KAZATO,  Shinpei HAYASHI,  Takashi KOBAYASHI,  Tsuyoshi OSHIMA,  Shunsuke MIYATA,  Katsuyuki NATSUKAWA,  Takashi HOSHINO,  Motoshi SAEKI,  

[Date]2013/7/18
[Paper #]SS2013-22,KBSE2013-22
Conditional Dependency Pair Method for Proving Termination of Functional Programs with Exception Handling

Takeshi HAMAGUCHI,  Masahiko SAKAI,  

[Date]2013/7/18
[Paper #]SS2013-23,KBSE2013-23
A preliminary evaluation of C-Helper, a tool for C beginners

Kota UCHIDA,  Katsuhiko GONDOW,  

[Date]2013/7/18
[Paper #]SS2013-24,KBSE2013-24
Malbolge with 20trits word length and its programming

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

[Date]2013/7/18
[Paper #]SS2013-25,KBSE2013-25
Automatic Rating of Use Case Description to Assist Beginner's Learning

Shunsuke MATSUI,  Atsushi NORO,  Koji OKADA,  Makoto KATO,  Daiki WATANABE,  Saeko MATSUURA,  

[Date]2013/7/18
[Paper #]SS2013-26,KBSE2013-26
A Context Representation for Access Control Models by using Object-oriented Petri Nets

Tadashi IIJIMA,  

[Date]2013/7/18
[Paper #]SS2013-27,KBSE2013-27
Application to Development Site of Model Checking Technology : Discovery of Inconsistency of Specification and Source Code

Yoshitaka Aoki,  Saeko Matsuura,  

[Date]2013/7/18
[Paper #]SS2013-28,KBSE2013-28
Verification of Feasibility by Model Checking Techniques Applied to UML Requirements Analysis Model

Yoshitaka AOKI,  Shinpei OGATA,  Saeko MATSUURA,  

[Date]2013/7/18
[Paper #]SS2013-29,KBSE2013-29
A Case Study on Introducing the DaaS Development Environment into PBL

Shintaro Hosoai,  Yasutaka Kamei,  Shuhei Ohsako,  Hiroshi Igaki,  Naoyasu Ubayashi,  Akira Fukuda,  

[Date]2013/7/18
[Paper #]SS2013-30,KBSE2013-30
12>> 1-20hit(29hit)