5180 search results - page 879 / 1036 » Requirements Engineering |
150
click to vote
PPDP
2007
Springer
15 years 10 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
148
click to vote
XPU
2007
Springer
15 years 10 months ago
2007
Springer
Bringing software process change to an organisation is a real challenge. The authors have shown a sample attempt to carry out a process change and then reflected on its results and...
122
click to vote
APSEC
2006
IEEE
15 years 10 months ago
2006
IEEE
We hypothesize that certain program complexities and difficulties to realize reuse potentials have their roots in weak mechanisms for generic design of today’s programming techn...
151
click to vote
CCECE
2006
IEEE
15 years 10 months ago
2006
IEEE
Although many QoS management architectures have been recently introduced with a lot of advanced features, they have never been widely used in the existing applications due to the ...
179
click to vote
CCECE
2006
IEEE
15 years 10 months ago
2006
IEEE
Real Time embedded system designers are facing extreme challenges in underlying architectural design selection. It involves the selection of a programmable, concurrent, heterogene...