715 search results - page 24 / 143 » Application of Formal Methods to the Development of a Softwa... |
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
Existing spreadsheet systems allow users to change cells arbitrarily, which is a major source of spreadsheet errors. We propose a system that prevents errors in spreadsheets by re...
SIGSOFT
2001
ACM
14 years 8 months ago
2001
ACM
Prior research in software environments focused on three important problems-- tool integration, artifact management, and process guidance. The context for that research, and hence...
ESE
2008
13 years 7 months ago
2008
The development of methods tools and process improvements is best to be based on the understanding of the development practice to be supported. Qualitative research has been propo...
ICSM
2009
IEEE
14 years 2 months ago
2009
IEEE
Since manual black-box testing of GUI-based APplications (GAPs) is tedious and laborious, test engineers create test scripts to automate the testing process. These test scripts in...
ICWE
2010
Springer
14 years 8 days ago
2010
Springer
: © A visual tool for rapid integration of enterprise software applications Inbal Marhaim, Eli Mordechai, Claudio Bartolini, Ruth Bergman, Oren Ariel, Christopher Peltz HP Laborat...