8627 search results - page 251 / 1726 » Software Engineering Using RATionale |
171
click to vote
COMPSAC
2006
IEEE
16 years 16 days ago
2006
IEEE
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...
151
click to vote
EUROMICRO
2000
IEEE
15 years 11 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
151
Voted
CODES
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper, we present our approach to automate the development process of co-design tools. We demonstrate with a non-trivial real world example how we can accelerate the tool ...
170
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Domain testing, a technique for testing software or portions of software dominated by numerical processing, is intended to detect domain errors that usually arise from incorrect i...
189
click to vote
CSMR
2008
IEEE
15 years 8 months ago
2008
IEEE
The software industry is increasingly facing the issues of understanding and maintaining a particular type of software systems, namely distributed systems. While these systems are...