8627 search results - page 141 / 1726 » Software Engineering Using RATionale |
103
click to vote
KBSE
2005
IEEE
15 years 4 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
103
click to vote
WCRE
1993
IEEE
15 years 3 months ago
1993
IEEE
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...
ECLIPSE
2006
ACM
15 years 5 months ago
2006
ACM
In this paper, we present the APFEL plug-in that collects finegrained changes from version archives in a database. APFEL is built upon the Eclipse infrastructure for CVS and Java....
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
This position paper suggests an approach for building software systems using patterns, right from business architecture to software architecture. Further, the approach incorporate...
ASWEC
2005
IEEE
15 years 4 months ago
2005
IEEE
Robots have diverse capabilities and complex interactions with their environment. Software development for robotic platforms is time consuming due to the complex nature of the tas...