977 search results - page 74 / 196 » Formal methods integration in software engineering |
116
Voted
CISIS
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, we propose a novel interactive integral imaging system using vision-based 3D fingertip interface. This system consists of the real 3D image generation system based ...
127
click to vote
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
Software Testing can take up to half of the resources of the development of new software. Although there has been a lot of work on automating the testing phase, fixing a bug after...
135
Voted
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web s...
133
click to vote
KBSE
1999
IEEE
15 years 8 months ago
1999
IEEE
Many domain specialists are not familiar or comfortable with formal notations and formal tools like theorem provers or model generators. To address this problem we developed Attem...
131
click to vote
KBSE
1998
IEEE
15 years 8 months ago
1998
IEEE
Statically analyzing requirements specifications to assure that they possess desirable properties is an important activity in any rigorous software development project. The analys...