Information and Systems-Software Science(Date:2012/10/25)

Presentation
表紙

,  

[Date]2012/10/25
[Paper #]
目次

,  

[Date]2012/10/25
[Paper #]
Weather change pattern generation algorithm for sightseeing scheduling

Hirokazu KATOH,  Yoshihiro MURATA,  

[Date]2012/10/25
[Paper #]SS2012-36
A SAT Encoding for Finding Operation Sequences of Malbolge that Implement Trit-wise Functions

Satoshi ANDO,  Masahiko SAKAI,  Toshiki SAKABE,  Keiichirou KUSAKARI,  Naoki NISHIDA,  

[Date]2012/10/25
[Paper #]SS2012-37
Node Query Preservation for Deterministic Linear Top-Down Tree Transducers

Kazuki MIYAHARA,  Kenji HASHIMOTO,  Hiroyuki SEKI,  

[Date]2012/10/25
[Paper #]SS2012-38
Analysis Method of Use Case Descriptions using Model Checking Techniques

AKIHISA KAWAI,  TOMOJI KISHI,  

[Date]2012/10/25
[Paper #]
A Practical Method for Software Model Checking Using AOP

YOICHIRO KOGA,  YOSHINORI TANABE,  

[Date]2012/10/25
[Paper #]
Application of formal methods to network behavior dependent systems

Nobuaki YOSHIDA,  Han-Myung CHANG,  Atsushi SAWADA,  Yukihiro NAKAMURA,  

[Date]2012/10/25
[Paper #]SS2012-39
A discussion of fault patterns for concurrent systems

Han-Myung CHANG,  Masami NORO,  Atsushi SAWADA,  Atsushi YOSHIDA,  Yoshinari HACHISU,  Reishi YOKOMORI,  

[Date]2012/10/25
[Paper #]SS2012-40
An Approach of Test Case Generation for Control Software

MAKOTO ISODA,  YUICHI TOKUNAGA,  

[Date]2012/10/25
[Paper #]
A Method of Test-Driven Development of GUI Applications

YOSHIAKI ISHII,  TOMOJI KISHI,  

[Date]2012/10/25
[Paper #]
MODULARITY:aosd.2012参加報告(報告,ソフトウェアサイエンス、理論)

,  

[Date]2012/10/25
[Paper #]
Report on Winter Workshop 2012 in Biwako

KATSUHISA MARUYAMA,  TAKAYUKI OMORI,  HIROSHI IGAKI,  MASAHIDE NAKAMURA,  KYOHEI FUSHIDA,  MASATERU TSUNODA,  HIROSHI KAZATO,  JOJI OKADA,  KOZO OKANO,  KAZUNORI SAKAMOTO,  MASANARI MOTOHASHI,  TOMOJI KISHI,  NATSUKO NODA,  TAKASHI KOBAYASHI,  SHINPEI HAYASHI,  

[Date]2012/10/25
[Paper #]
A Report on the 27th IEEE/ACM International Conference on Automated Software Engineering (ASE 2012)

Shinpei HAYASHI,  Katsuhisa MARUYAMA,  Motoshi SAEKI,  

[Date]2012/10/25
[Paper #]SS2012-41
Code Clone Detection Technique Using Program Execution Traces

MASAKAZU IOKA,  NORIHIRO YOSHIDA,  KATSURO INOUE,  

[Date]2012/10/25
[Paper #]
Towards Automatic Extraction of the Derivative Relationships of Source Files

TETSUYA KANDA,  TAKASHI ISHIO,  KATSURO INOUE,  

[Date]2012/10/25
[Paper #]
Sensor Network Topology Estimation Using Weighted Directed Graph

TATSUYA MIDORIKAWA,  TOMOJI KISHI,  

[Date]2012/10/25
[Paper #]
Repository Visualization Technique Based on Developer Activity Using Topic Analysis

YUTA YAMADA,  KENJI FUJIWARA,  NORIHIRO YOSHIDA,  HAJIMU IIDA,  

[Date]2012/10/25
[Paper #]
An Empirical Study of Clone Disappearances on Open Source Software Projects

Keisuke HOTTA,  Yoshiki HIGO,  Shinji KUSUMOTO,  

[Date]2012/10/25
[Paper #]SS2012-42
A Clone Detection Approach for a Collection of Similar Large-Scale Software Products

Eunjong CHOI,  Norihiro YOSHIDA,  Yoshiki HIGO,  Katsuro INOUE,  

[Date]2012/10/25
[Paper #]SS2012-43
12>> 1-20hit(33hit)