6348 search results - page 405 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
159
click to vote
EMSOFT
2005
Springer
15 years 12 months ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
204
click to vote
CODES
2003
IEEE
15 years 11 months ago
2003
IEEE
We present an approach to the automatic derivation of executable Process Network specifications from Weakly Dynamic Applications. We introduce the notions of Dynamic Single Assig...
154
click to vote
KBSE
2003
IEEE
15 years 11 months ago
2003
IEEE
When performing a program evolution task, developers typically spend a significant amount of effort investigating and re-investigating source code. To reduce this effort, we prop...
131
click to vote
IWPC
1999
IEEE
15 years 10 months ago
1999
IEEE
One of the fundamental problems with the static analysis of binary (executable) code is that7 of recognizing, in a machine-independent way, the target addresses of n-conditional b...
162
click to vote
ICSE
1999
IEEE-ACM
15 years 10 months ago
1999
IEEE-ACM
A program’s object model captures the essence of its design. For some programs, no object model was developed during design; for others, an object model exists but may be out-of...