5434 search results - page 273 / 1087 » Tool support for MOLA |
149
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal meth...
175
click to vote
ADAEUROPE
1997
Springer
15 years 10 months ago
1997
Springer
The systematic test is an inevitable part of the verification and validation process for software. Overall support for all testing activities is currently not available in a singl...
117
click to vote
ICALT
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper describes the integration of the Conzilla concept browser and the Confolio portfolio management system with the FlashMeeting videoconferencing tool. The result of this ...
167
click to vote
ICMCS
2005
IEEE
16 years 7 days ago
2005
IEEE
User authored stories will always be the best stories, and authoring tools will continue to be developed. However, a digital lifetime capture permits storytelling via a lightweigh...
187
click to vote
BPM
2008
Springer
15 years 8 months ago
2008
Springer
Although the business process community has put a major emphasis on patterns, notably the famous workflow patterns, only limited support for using patterns in today's business...