Information and Systems-Knowledge-Based Software Engineering(Date:2013/09/05)

Presentation
表紙

,  

[Date]2013/9/5
[Paper #]
目次

,  

[Date]2013/9/5
[Paper #]
A New Technique to Improve Code Readability by Omitting Similar Source Code Patterns

Hiroshi KIKUCHI,  Tetsuro NISHINO,  Takaaki GOTO,  Mitsuo WAKATSUKI,  

[Date]2013/9/5
[Paper #]KBSE2013-36
Visualizing and measuring transition processes of cohesion based on co-occurrence of identifiers

Hiromasa IWAYAMA,  Jun-ichi INOUE,  

[Date]2013/9/5
[Paper #]KBSE2013-37
Server-Side Implementation of UML/OCL Assertion

Seiichi Tanaka,  Hiromi Kobayashi,  

[Date]2013/9/5
[Paper #]KBSE2013-38
A Study of the Application of Model Checking to Embedded Software Based on Interrupt Processing

Takanori SASAKI,  Nobukazu YOSHIOKA,  Yasuyuki TAHARA,  Akihiko OHSUGA,  

[Date]2013/9/5
[Paper #]KBSE2013-39
The architecture of business process engine in the Object-oriented Petri Net adoptioning event driveness

Ryouta KANEKO,  Ryohei HATA,  Tadashi IIJIMA,  

[Date]2013/9/5
[Paper #]KBSE2013-40
Analysis method for the goals of dependability cases using goal syntax table

Masanori MATSUMURA,  Shuichiro YAMAMOTO,  

[Date]2013/9/5
[Paper #]KBSE2013-41
A study on consensus and decision-making in Goal-Oriented Requirements Analysis : Interdisciplinary approach

Michitaro OKANO,  Takako NAKATANI,  

[Date]2013/9/5
[Paper #]KBSE2013-42
Consideration about application of the University portal service to Non-Functional Requirements Grades

Miki MASUMOTO,  Shiitiro YAMAMOTO,  

[Date]2013/9/5
[Paper #]KBSE2013-43
Consistency check of D-case (dependability case) produced from DFD (data flow diagram)

Nada Olayan,  Shuichiro Yamamoto,  Vaise Patu,  Yutaka Matsuno,  

[Date]2013/9/5
[Paper #]KBSE2013-44
A method to verify the applicability of the D-case based on Sequence diagram

Ding FENG,  Shuichiroh YAMAMOTO,  

[Date]2013/9/5
[Paper #]KBSE2013-45
Considerations on the relationship between SEMAT and Assurance Case

Shuichiro Yamamoto,  

[Date]2013/9/5
[Paper #]KBSE2013-46
Acquisition and Application of Stress Level Informaion for Design and Evaluation of User Interaction

Ayumi ISHII,  Tadashi IIJIMA,  

[Date]2013/9/5
[Paper #]KBSE2013-47
Acquisition and Description Tools for Communication Support Software

Hiroki UNOZAWA,  Tadashi IIJIMA,  

[Date]2013/9/5
[Paper #]KBSE2013-48
Knowledge Reconstruction of Geo-Spatial Information for Multi-Agent Simulation

Junki YAMAZAKI,  Tadashi IIJIMA,  

[Date]2013/9/5
[Paper #]KBSE2013-49
Current research and future directions of requirements engineering : Towards software evolution and self-adaptation

Hiroyuki NAKAGAWA,  

[Date]2013/9/5
[Paper #]KBSE2013-50
A Comparative Evaluation on Assurance Case Discriptions for Operation Manuals

Shota TAKAMA,  Shuichiro YAMAMOTO,  

[Date]2013/9/5
[Paper #]KBSE2013-51
A classification method in identifying security patterns for a dependable Security Case : From Security Patterns to D-Case

Vaise Patu,  Nada Olayan,  Shuichiro Yamamoto,  

[Date]2013/9/5
[Paper #]KBSE2013-52
複写される方へ

,  

[Date]2013/9/5
[Paper #]
12>> 1-20hit(23hit)