zbMATH — the first resource for mathematics

Proceedings of the 1st international workshop on harnessing theories for tool support in software (TTSS 2007), Macau, China, September 22–23, 2007. (English) Zbl 1276.68028
Electronic Notes in Theoretical Computer Science 207. Amsterdam: Elsevier. 217 p., electronic only (2008).

Show indexed articles as search result.

The articles of this volume will be reviewed individually.
Indexed articles:
Olderog, Ernst-Rüdiger, Automatic verification of combined specifications: an overview, 3-16 [Zbl 1279.68217]
Ding, Zuohua; Chen, Zhenbang; Liu, Jing, A rigorous model of service component architecture, 33-48 [Zbl 1279.68053]
Ribeiro, Paula R.; Barbosa, L. S.; Wang, Shuling, An exercise on transition systems, 89-106 [Zbl 1279.68265]
Changil, Choe; Hung, Dang Van, On verification of linear occurrence properties of real-time systems, 107-120 [Zbl 1279.68201]
Reeves, Steve; Streader, David, Generic tools via general refinement, 187-202 [Zbl 1279.68060]
Sun, Meng, Pre-Galois connection on coalgebras for generic component refinement, 203-217 [Zbl 1279.68061]

68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
00B25 Proceedings of conferences of miscellaneous specific interest
Full Text: Link