6348 search results - page 423 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
138
click to vote
KBSE
2008
IEEE
16 years 23 days ago
2008
IEEE
—Operations languages are used to write spacecraft operations procedures. The APPAREIL tool automates the process of generating program translators between operations languages, ...
140
click to vote
ADAEUROPE
2008
Springer
16 years 22 days ago
2008
Springer
The Ada programming language has been designed from the ground up for safety-critical real-time systems. This trend has continued with the Ada 2005 language definition which has i...
161
click to vote
AGILEDC
2003
IEEE
15 years 11 months ago
2003
IEEE
XP emphasises underlying values as well as the more visible twelve practices. In this paper we explore the relationship between practices and values from two perspectives: empiric...
165
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
The problem of testing from an extended finite state machine (EFSM) is complicated by the presence of infeasible paths. This paper considers the problem of expanding an EFSM in o...
160
click to vote
ICSE
2010
IEEE-ACM
15 years 11 months ago
2010
IEEE-ACM
We present a novel approach to automatic synthesis of loopfree programs. The approach is based on a combination of oracle-guided learning from examples, and constraint-based synth...