4048 search results - page 279 / 810 » Design Science, Engineering Science and Requirements Enginee... |
154
click to vote
ISSTA
1996
ACM
15 years 8 months ago
1996
ACM
We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor. The design is cast, along with some expected properties...
137
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
Recently a lot of multimedia applications are emerging on portable appliances. They require both the flexibility of upgradeable devices (traditionally software based) and a powerf...
128
click to vote
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
Software systems development happens within a context which organizational processes are wellestablished. Hence, software needs to be built with flexible architectures based in so...
167
click to vote
AH
2008
Springer
15 years 11 months ago
2008
Springer
Abstract. A Learning Design(LD) definition under the IMS-LD standard is a complex task for the instructor because it requires a lot of time, effort and previous knowledge of the ...
124
click to vote
IWPC
2007
IEEE
15 years 11 months ago
2007
IEEE
The field of program comprehension is characterized by both the continuing development of new tools and techniques and the adaptation of existing techniques to address program co...