2748 search results - page 159 / 550 » Generating Object-Z Specifications from Use Cases |
88
Voted
BPM
2006
Springer
15 years 4 months ago
2006
Springer
The Internet has turned to be one the most common platform for the development of applications. In addition, sometimes the specification of these applications is given to web devel...
121
Voted
VCBM
2010
14 years 7 months ago
2010
The human eye is a biomechanical system. Orbital fat plays an important role in the working of this system, but its behaviour during eye movement is not well understood. To give i...
116
click to vote
FMCO
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...
107
Voted
AIED
2011
Springer
14 years 4 months ago
2011
Springer
Narrative-centered learning environments introduce novel opportunities for supporting student problem solving and learning. By incorporating cognitive tools into plots and characte...
97
Voted
RECOMB
2007
Springer
16 years 28 days ago
2007
Springer
Transcription factor (TF) binding to its DNA target site is a fundamental regulatory interaction. The most common model used to represent TF binding specificities is a position spe...