Sciweavers

1463 search results - page 137 / 293
» Software engineering practices in Singapore
Sort
View
IWPC
2007
IEEE
16 years 22 days ago
Understanding Execution Traces Using Massive Sequence and Circular Bundle Views
The use of dynamic information to aid in software understanding is a common practice nowadays. One of the many approaches concerns the comprehension of execution traces. A major i...
Bas Cornelissen, Danny Holten, Andy Zaidman, Leon ...
EUROMICRO
2000
IEEE
15 years 11 months ago
Formal Coverification of Embedded Systems Using Model Checking
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
ICSE
2007
IEEE-ACM
16 years 6 months ago
Supporting the Investigation and Planning of Pragmatic Reuse Tasks
Software reuse has long been promoted as a means to increase developer productivity; however, reusing source code is difficult in practice and tends to be performed in an ad hoc m...
Reid Holmes, Robert J. Walker
QSIC
2007
IEEE
16 years 22 days ago
Model Checking Security Pattern Compositions
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
Jing Dong, Tu Peng, Yajing Zhao
ISPW
2005
IEEE
16 years 1 days ago
Unifying Microprocess and Macroprocess Research
This paper proposes the unification of two complementary approaches to software process research. The two approaches can be characterized as macroprocess research, focused on pheno...
Leon J. Osterweil