2748 search results - page 85 / 550 » Generating Object-Z Specifications from Use Cases |
ICDAR
2009
IEEE
14 years 3 months ago
2009
IEEE
For an online handwriting recognition system equipped with a writer-independent classifier to progressively improve the recognition performance for a specific writer with an incre...
ICSE
2000
IEEE-ACM
14 years 10 days ago
2000
IEEE-ACM
This paper proposes to use SDL block diagrams, UML class diagrams, and UML behavior diagrams like collaboration diagrams, activity diagrams, and statecharts as a visual programmin...
GI
2007
Springer
14 years 2 months ago
2007
Springer
: A strategy for automatic test case selection based on the use of a similarity function is presented. Test case selection is a crucial activity to model-based testing since the nu...
SRDS
1997
IEEE
14 years 9 days ago
1997
IEEE
This paper describes a fault detection mechanism that uses the error codes returned by the stream sockets to locate process failures. Since these errors are generated automaticall...
IEAAIE
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...