Society for Design and

Process Science

Transformative Research and Education through Transdisciplinary Means

Downloads
Overview Search Downloads Submit file Up
Category: Idpt1996
Page 19 of 19
Order by: Default | Name | Date | Hits | [Ascending]
Please register or login to download files from this category. But it is only for special members.
Files:
963-33




Created
Size
Downloads
2011-10-05 13:34:25
638.97 KB
0
961-35




Created
Size
Downloads
2011-10-05 13:34:25
766.32 KB
0
961-37




Created
Size
Downloads
2011-10-05 13:34:25
673.58 KB
0
963-29




Created
Size
Downloads
2011-10-05 13:34:25
648.62 KB
0
963-26




Created
Size
Downloads
2011-10-05 13:34:25
467.97 KB
0
962-33




Created
Size
Downloads
2011-10-05 13:34:25
402.71 KB
0
961-1




Created
Size
Downloads
2011-10-05 13:34:25
790.43 KB
0
Automated Test Data Generation from Descartes Specifications

Software testing has consistently been a large portion of the total software development cost for large scale software systems. In the last decade, a considerable part of investigation within the area of software engineering has dealt with software testing. In particular, much effort has been devoted to the area of automated testing. The Descartes formal executable specification language uses data structuring methods in a tree structure notation called a "Hoare Tree" to describe data. Hoare trees provide a simple notation for describing the input and output of data a specification Given a Descartes specification, the test data can be generated from it. The generated test data must be reasonable in order to be practical. On the other hand, the test data must reveal as many errors as possible to verify the program The developed test data generation method and tool achieve both goals.




Created
Size
Downloads
2011-10-05 13:34:25
566.51 KB
0
Real-Time Distributed Multimedia Systems

This paper presents a survey on distributed multimedia systems and discusses real-time issues. In particular, different subsystems are reviewed that impact on multimedia networking, the networking for multimedia, the networked multimedia systems, and the leading edge research and developments efforts and issues in networking.




Created
Size
Downloads
2011-10-05 13:34:25
706.97 KB
0