Sciweavers

2702 search results - page 158 / 541
» Requirements Processes: An Experience Report
Sort
View
IJSEKE
2007
52views more  IJSEKE 2007»
15 years 6 months ago
Software Architecture Decomposition Using Attributes
Software architectural design has an enormous effect on downstream software artifacts. Decomposition of functions for the final system is one of the critical steps in software arch...
Chung-Horng Lung, Xia Xu, Marzia Zaman
ITC
2003
IEEE
158views Hardware» more  ITC 2003»
15 years 11 months ago
Extraction Error Diagnosis and Correction in High-Performance Designs
Test model generation is crucial in the test generation process of a high-performance design targeted for large volume production. A key process in test model generation requires ...
Yu-Shen Yang, Jiang Brandon Liu, Paul J. Thadikara...
ICSE
2003
IEEE-ACM
16 years 6 months ago
Evaluating Individual Contribution Toward Group Software Engineering Projects
It is widely acknowledged that group or team projects are a staple of undergraduate and graduate software engineering courses. Such projects provide students with experiences that...
Jane Huffman Hayes, Timothy Lethbridge, Daniel Por...
SRDS
2008
IEEE
16 years 27 days ago
SeNDORComm: An Energy-Efficient Priority-Driven Communication Layer for Reliable Wireless Sensor Networks
In many reliable Wireless Sensor Network (WSN) applications, messages have different priorities depending on urgency or importance. For example, a message reporting the failure of...
Vinaitheerthan Sundaram, Saurabh Bagchi, Yung-Hsia...
COMPSAC
2006
IEEE
16 years 18 days ago
On the Distribution of Property Violations in Formal Models: An Initial Study
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim...