Volume 207, April 2008

Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software (TTSS 2007)

• 
  Geguang Pu, Volker Stolz: Preface. 1-2
• 
  Ernst-Rüdiger Olderog: Automatic Verification of Combined Specifications: An Overview. 3-16
• 
  Xiaoshan Li, Zhiming Liu: Prototyping System Requirements Model. 17-32
• 
  Zuohua Ding, Zhenbang Chen, Jing Liu: A Rigorous Model of Service Component Architecture. 33-48
• 
  Xiao Yu, Zheng Wang, Geguang Pu, Dingding Mao, Jing Liu: The Verification of rCOS Using Spin. 49-67
• 
  Lu Yang, Volker Stolz: Integrating Refinement into Software Development Tools. 69-88
• 
  Paula R. Ribeiro, Luís Soares Barbosa, Shuling Wang: An Exercise on Transition Systems. 89-106
• 
  Choe Changil, Dang Van Hung: On Verification of Linear Occurrence Properties of Real-Time Systems. 107-120
• 
  Miaomiao Zhang, Wenzhong Qin: Parametric Analysis of an Improved Fault Tolerant System. 121-136
• 
  Xiaodong Ma, Ji Wang, Wei Dong: Shape Analysis by Refining on Abstract Evaluation Path. 137-151
• 
  Naiyong Jin, Chengjie Shen, Jun Chen, Taoyong Ni: Engineering of An Assertion-based PSL^Simple-Verilog Dynamic Verifier by Alternating Automata. 153-169
• 
  Carlo Montangero, Laura Semini: Barbed Model-Driven Software Development: A Case Study. 171-186
• 
  Steve Reeves, David Streader: Generic Tools via General Refinement. 187-202
• 
  Meng Sun: Pre-Galois Connection on Coalgebras for Generic Component Refinement. 203-217