Sciweavers

858 search results - page 14 / 172
» Inspections in Small Projects
Sort
View
SDL
2007
192views Hardware» more  SDL 2007»
14 years 10 days ago
OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
Eric Verhulst, Gjalt G. de Jong
IV
2009
IEEE
100views Visualization» more  IV 2009»
14 years 5 months ago
Scouting Requirements Quality Using Visual Representations
Examining the quality of a set of requirements is a sensible project health check given their role in the engineering of quality software systems. However, not all project stakeho...
Orlena Gotel, Francis T. Marchese
ICSE
2001
IEEE-ACM
14 years 3 months ago
Improving Validation Activities in a Global Software Development
Global software development challenges traditional techniques of software engineering, such as peer reviews or teamwork. Effective teamwork and coaching of engineers highly contri...
Christof Ebert, Casimiro Hernandez Parro, Roland S...
PRL
2006
93views more  PRL 2006»
13 years 10 months ago
ROC curves and video analysis optimization in intestinal capsule endoscopy
Wireless capsule endoscopy involves inspection of hours of video material by a highly qualified professional. Time episodes corresponding to intestinal contractions, which are of ...
Fernando Vilariño, Ludmila I. Kuncheva, Pet...
DAGM
2009
Springer
13 years 8 months ago
HMM-Based Defect Localization in Wire Ropes - A New Approach to Unusual Subsequence Recognition
Abstract. Automatic visual inspection has become an important application of pattern recognition, as it supports the human in this demanding and often dangerous work. Nevertheless,...
Esther-Sabrina Platzer, Josef Nägele, Karl-He...