๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[ACM Press the 13th international conference - Leipzig, Germany (2008.05.10-2008.05.18)] Proceedings of the 13th international conference on Software engineering - ICSE '08 - DySy

โœ Scribed by Csallner, Christoph; Tillmann, Nikolai; Smaragdakis, Yannis

Book ID
115504514
Publisher
ACM Press
Year
2008
Tongue
English
Weight
174 KB
Volume
0
Category
Article
ISBN
1605580791

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

[ACM Press the 13th international confer
[ACM Press the 13th international conference - Leipzig, Germany (2008.05.10-2008.05.18)] Proceedings of the 13th international conference on Software engineering - ICSE '08 - Symbolic mining of temporal specifications
โœ Gabel, Mark; Su, Zhendong ๐Ÿ“‚ Article ๐Ÿ“… 2008 ๐Ÿ› ACM Press ๐ŸŒ English โš– 446 KB

Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the form of temporal properties that prescribe proper usage of components of a software system. Recent work has focused on the