3706 search results - page 236 / 742 » The Transformational Approach to Program Development |
114
click to vote
ECOOP
2010
Springer
15 years 8 months ago
2010
Springer
Following the scenario-based approach to programming which centered around live sequence charts (LSCs), we propose a general approach to software development in Java. A program wil...
178
click to vote
ICTAI
2008
IEEE
15 years 9 months ago
2008
IEEE
Frequent patterns in program executions represent recurring sequences of events. These patterns can be used to reveal the hidden structures of a program, and ease the comprehensio...
156
click to vote
ISQED
2002
IEEE
15 years 8 months ago
2002
IEEE
The paper addresses the issue of microprocessor and microcontroller testing, and follows an approach based on the generation of a test program. The proposed method relies on two p...
164
click to vote
PEPM
2010
ACM
15 years 5 months ago
2010
ACM
Software engineering, automated reasoning, rule-based programming or specifications often use rewriting systems for which termination, among other properties, may have to be ensur...
121
click to vote
APSEC
2007
IEEE
15 years 7 months ago
2007
IEEE
It is difficult to adopt a simulation technology for simulating a software process because of the difficulty in developing a simulation model. In order to resolve the difficulty, ...