IWSSD-10 2000 : Tenth International Workshop on Software Specification and Design
Author | : |
Publisher | : I E E E |
Total Pages | : 220 |
Release | : 2000 |
ISBN-10 | : 0769508847 |
ISBN-13 | : 9780769508849 |
Rating | : 4/5 (47 Downloads) |
Book Synopsis IWSSD-10 2000 : Tenth International Workshop on Software Specification and Design by :
Download or read book IWSSD-10 2000 : Tenth International Workshop on Software Specification and Design written by and published by I E E E. This book was released on 2000 with total page 220 pages. Available in PDF, EPUB and Kindle. Book excerpt: These conference proceedings cover such topics as: reactive and real-time systems; quantitative and non-functional qualities; (in)completeness, (in)consistency and (sufficient) correctness.