1760 search results - page 236 / 352 » The Focus of Requirements Engineering in Workflow Applicatio... |
MSR
2005
ACM
15 years 3 months ago
2005
ACM
Refactoring is one means of improving the structure of existing software. Locations for the application of refactoring are often based on subjective perceptions such as ”bad sme...
ECBS
2009
IEEE
15 years 1 months ago
2009
IEEE
Future space missions such as the Mars Science Laboratory and Project Constellation suggest the engineering of some of the most complex man-rated software systems. The present pro...
WWW
2005
ACM
15 years 10 months ago
2005
ACM
The difficulty of developing and deploying commercial web applications increases as the number of technologies they use increases and as the interactions between these technologie...
BCSHCI
2007
14 years 11 months ago
2007
The use of formal models for user interface design can provide a number of benefits. It can help to ensure consistency across designs for multiple platforms, prove properties such...
109
click to vote
OOPSLA
2010
Springer
14 years 7 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...