5984 search results - page 901 / 1197 » The Informal Nature of Systems Engineering |
158
click to vote
MSR
2005
ACM
16 years 12 days ago
2005
ACM
Software continually changes due to performance improvements, new requirements, bug fixes, and adaptation to a changing operational environment. Common changes include modificatio...
204
click to vote
PASTE
2005
ACM
16 years 12 days ago
2005
ACM
Program instrumentation, inserted either before or during execution, is rapidly becoming a necessary component of many systems. Instrumentation is commonly used to collect informa...
199
click to vote
SOFTVIS
2005
ACM
16 years 12 days ago
2005
ACM
During the life cycle of a software system, the source code is changed many times. We study how developers can be enabled to get insight in these changes, in order to understand t...
201
click to vote
ER
2005
Springer
16 years 11 days ago
2005
Springer
Nowadays, the maturity reached by the Web engineering research community can be assessed by the myriad of web design methods that have proven successful for the specification of th...
194
click to vote
FASE
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...