694 search results - page 84 / 139 » Comparison of software architecture reverse engineering meth... |
127
click to vote
QSIC
2003
IEEE
15 years 8 months ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
137
Voted
ICSE
1997
IEEE-ACM
15 years 7 months ago
1997
IEEE-ACM
Implementing, validating, modifying, or reengineering an object-oriented system requires an understanding of the object and class interactions which occur as a program executes. T...
132
click to vote
SAFECOMP
1998
Springer
15 years 7 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...
113
click to vote
ICSEA
2006
IEEE
15 years 9 months ago
2006
IEEE
The construction and maintenance of large and complex software systems depend on the existence of global principles describing the structure and the interaction among its various ...
154
click to vote
CODES
2006
IEEE
15 years 9 months ago
2006
IEEE
The memory subsystem of a complex multiprocessor systemson-chip (MPSoC) is an important contributor to the chip power consumption. The selection of memory architecture, as well as...