2342 search results - page 110 / 469 » A Methodology for Evaluating Software Engineering Methods an... |
143
click to vote
SEFM
2005
IEEE
15 years 9 months ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
114
click to vote
ICCBSS
2004
Springer
15 years 9 months ago
2004
Springer
This paper summarizes the main achievements of a research whose main goal was to investigate the current state-of-art in the field of requirements engineering for COTS-based system...
117
click to vote
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
140
click to vote
AVI
2006
15 years 5 months ago
2006
Tabletop displays provide exciting opportunities to support individual and collaborative activities such as planning, organizing, and storyboarding. It has been previously suggest...
120
click to vote
ASSETS
2005
ACM
15 years 6 months ago
2005
ACM
In this paper, we describe our current work in developing a computer-based educational tool for Occupational Therapy students learning client evaluation techniques. The software i...