Sciweavers

121 search results - page 8 / 25
» Agile Methods Applied to Embedded Firmware Development
Sort
View
B
1998
Springer
13 years 12 months ago
Test Case Preparation Using a Prototype
This paper reports on the preparation of test cases using a prototype within the context of a formal development. It describes an approach to building a prototype using an example....
Helen Treharne, J. Draper, Steve Schneider
FGR
2004
IEEE
163views Biometrics» more  FGR 2004»
13 years 11 months ago
Model-Based and Image-Based Methods for Facial Image Synthesis, Analysis and Recognition
We review several model-based and image-based methods that we have developed for analyzing, synthesizing, and recognizing facial images. Our model-based methods include a sophisti...
Demetri Terzopoulos, Yuencheng Lee, M. Alex O. Vas...
ESE
2006
199views Database» more  ESE 2006»
13 years 7 months ago
Experiences from introducing UML-based development in a large safety-critical project
UML and UML-based development methods have become de facto standards in industry, and there are many claims for the positive effects of modelling object-oriented systems using meth...
Bente Anda, Kai Hansen, Ingolf Gullesen, Hanne Kri...
DFG
2004
Springer
14 years 1 months ago
Combining Formal Methods and Safety Analysis - The ForMoSA Approach
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
Frank Ortmeier, Andreas Thums, Gerhard Schellhorn,...
IROS
2008
IEEE
165views Robotics» more  IROS 2008»
14 years 2 months ago
Mutual development of behavior acquisition and recognition based on value system
Abstract. Both self-learning architecture (embedded structure) and explicit/implicit teaching from other agents (environmental design issue) are necessary not only for one behavior...
Yasutake Takahashi, Yoshihiro Tamura, Minoru Asada