8627 search results - page 338 / 1726 » Software Engineering Using RATionale |
178
click to vote
CODES
2006
IEEE
15 years 8 months ago
2006
IEEE
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...
164
click to vote
AUIC
2005
IEEE
16 years 9 days ago
2005
IEEE
In both commercial and academic environments, software development frameworks are an important tool in the construction of industrial strength software solutions. Despite the role...
181
Voted
SEKE
2001
Springer
15 years 11 months ago
2001
Springer
It is well known that traditional educational techniques can be complemented by simulation to achieve a more effective learning experience. One would expect the same phenomenon to...
194
click to vote
SAFECOMP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
152
click to vote
ICSM
2008
IEEE
16 years 1 months ago
2008
IEEE
More than 90% of the cost of software is due to maintenance and evolution. Understanding the evolution of large software systems is a complex problem, which requires the use of va...