Pu, Geguang (ed.); Stolz, Volker (ed.) 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] Cited in 1 Review MSC: 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 PDFBibTeX XMLCite \textit{G. Pu} (ed.) and \textit{V. Stolz} (ed.), Proceedings of the 1st international workshop on harnessing theories for tool support in software (TTSS 2007), Macau, China, September 22--23, 2007. Amsterdam: Elsevier (2008; Zbl 1276.68028) Full Text: Link