4048 search results - page 303 / 810 » Design Science, Engineering Science and Requirements Enginee... |
153
Voted
CSMR
1999
IEEE
15 years 9 months ago
1999
IEEE
We provide a strategy to restructure transaction processing systems. Such systems are core assets of most modern business operations, so their enhancement is crucial. Before large...
157
Voted
KBSE
1998
IEEE
15 years 9 months ago
1998
IEEE
During the last three years we have been building an instantiation of a system's development paradigm, called ARTS. The paradigm consists of a view of what a system developme...
150
Voted
SIGGRAPH
1993
ACM
15 years 9 months ago
1993
ACM
Form factors are used in radiosity to describe the fraction of diffusely reflected light leaving one surface and arriving at another. They are a fundamental geometric property us...
110
click to vote
IWSSD
2000
IEEE
15 years 8 months ago
2000
IEEE
Modern software is often constructed using "spiral specification"; i.e. the specification is a dynamic document that is altered by experience with the current version of...
129
click to vote
FM
2008
Springer
15 years 6 months ago
2008
Springer
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...