9227 search results - page 121 / 1846 » Developing Use Cases from Organizational Modeling |
149
click to vote
DEXAW
2008
IEEE
15 years 6 months ago
2008
IEEE
Validation is an essential part of software development, and testing is a practical and widely used approach. The emerging methodology is model-based testing, in which test cases ...
140
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— In this paper we present a case study of cooperation of a strongly heterogeneous robot team, composed of a highly articulated humanoid robot and a wheeled robot with la...
121
click to vote
ASWEC
2000
IEEE
15 years 9 months ago
2000
IEEE
Formal methods are becoming increasingly important in many areas of software development and should be incorporated in the teaching of software engineering. Requirements capture i...
135
click to vote
KDD
2004
ACM
15 years 10 months ago
2004
ACM
World steel trade becomes more competitive every day and new high international quality standards and productivity levels can only be achieved by applying the latest computational...
149
click to vote
FMCO
2006
Springer
15 years 8 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...