2748 search results - page 85 / 550 » Generating Object-Z Specifications from Use Cases |
89
Voted
ICDAR
2009
IEEE
15 years 7 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...
116
click to vote
ICSE
2000
IEEE-ACM
15 years 4 months 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...
107
Voted
GI
2007
Springer
15 years 6 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...
87
Voted
SRDS
1997
IEEE
15 years 4 months 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...
76
Voted
IEAAIE
2005
Springer
15 years 6 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...