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 PSLSimple-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
Last update Sat May 25 20:07:38 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
