486 search results - page 83 / 98 » Sound Methods and Effective Tools for Engineering Modeling a... |
154
click to vote
ECLIPSE
2007
ACM
15 years 7 months ago
2007
ACM
In the software development life cycle, unit testing is an important phase that helps in early detection of bugs. A unit test case consists of two parts: a test input, which is of...
125
Voted
SAC
2009
ACM
15 years 10 months ago
2009
ACM
In this paper we propose a passive conformance testing technique applied to a Mobile ad hoc network (MANET) routing protocol, OLSR, that is characterized by a dynamically changing...
111
click to vote
APSEC
1999
IEEE
15 years 7 months ago
1999
IEEE
The Object Constraint Language (OCL) is a precise language which could be used for describing constraints on object-oriented models and other modelling artifacts. The kind of cons...
125
Voted
VRST
2009
ACM
15 years 9 months ago
2009
ACM
For the convenient reuse of large-scale 3D motion capture data, browsing and searching methods for the data should be explored. In this paper, an efficient indexing and retrieval...
116
click to vote
BCSHCI
2007
15 years 4 months ago
2007
The use of formal models for user interface design can provide a number of benefits. It can help to ensure consistency across designs for multiple platforms, prove properties such...