Sciweavers

1554 search results - page 54 / 311
» cases 2003
Sort
View
ICRA
2003
IEEE
113views Robotics» more  ICRA 2003»
15 years 3 months ago
Digital passive geometric telemanipulation
In this paper we present an intrinsicallypassive telemanipulation scheme over a digital transmission line Internet-like.We present an analysisof the energetic hehavior of the commn...
Cristian Secchi, Stefano Stramigioli, Cesare Fantu...
82
Voted
EUSFLAT
2003
14 years 11 months ago
Intuitionistic fuzzy n-ary systems
We introduce the basic concepts on intuitionistic fuzzy subalgebras on n-ary groupoids, i.e., on algebras containing one fundamental n-ary operation. We describe some similarities...
Wieslaw A. Dudek
ISSRE
2003
IEEE
15 years 3 months ago
Test-Driven Development as a Defect-Reduction Practice
Test-driven development is a software development practice that has been used sporadically for decades. With this practice, test cases (preferably automated) are incrementally wri...
Laurie A. Williams, E. Michael Maximilien, Mladen ...
SCS
2003
14 years 11 months ago
A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments
The development of safety critical systems is guided by standards. Many standards require the development of a safety case to demonstrate the acceptability of Safety Critical Syst...
Rob Weaver, Jane Fenn, Tim Kelly
FIDJI
2003
Springer
15 years 2 months ago
Seamless UML Support for Service-Based Software Architectures
The UML has become the de facto standard for the analysis and design of complex software. Tool support today includes the generation of code realizing the structural model describe...
Matthias Tichy, Holger Giese