872 search results - page 40 / 175 » UML-based design test generation |
ICALT
2008
IEEE
15 years 8 months ago
2008
IEEE
The goal of this work is the design and construction of adaptive tutorials based on the application of algorithms for the automatic resolution of problems which can be used to aut...
126
click to vote
RSP
1998
IEEE
15 years 6 months ago
1998
IEEE
The complexity of distributed systems is a problem when designers want to evaluate their safety and liveness. Often, they are built by integration of existing components with newl...
103
click to vote
GI
2001
Springer
15 years 6 months ago
2001
Springer
We present a pragmatic approach using formal methods to increase the quality of distributed component based systems: Based on UML class diagrams annotated with OCL constraints, co...
127
click to vote
ACL
2003
15 years 3 months ago
2003
An investment of effort over the last two years has begun to produce a wealth of data concerning computational psycholinguistic models of syntax acquisition. The data is generated...
157
click to vote
TOG
2012
13 years 4 months ago
2012
Geometric modeling and the physical validity of shapes are traditionally considered independently. This makes creating aesthetically pleasing yet physically valid models challengi...