1463 search results - page 87 / 293 » Software engineering practices in Singapore |
159
click to vote
EWSPT
2000
Springer
15 years 10 months ago
2000
Springer
Competitive quality is a need for the progress of the Information Technology sector. For enterprises, process is the starting point of all the approaches in the achievement of comp...
160
click to vote
AC
2005
Springer
15 years 6 months ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
190
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
Data manipulation, or algorithmic complexity, is not taken into account adequately in any of the most popular functional size measurement methods. In this paper, we recall some we...
145
click to vote
APSEC
1997
IEEE
15 years 10 months ago
1997
IEEE
A crucial aspect of the architecture of a software system is its decomposition into components and the specification of component interactions. In this report we use a variant of...
160
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
In embedded software development, the programming language C and inline assembly code are traditionally widely used. However, tools for C program-understanding, e.g., cross-refere...