5664 search results - page 1045 / 1133 » Creativity support tools |
ICSE
2008
IEEE-ACM
14 years 11 months ago
2008
IEEE-ACM
Test-driven software development tackles the problem of operationally defining the features to be implemented by means of test cases. This approach was recently ported to the earl...
SIGSOFT
2008
ACM
14 years 10 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
SIGSOFT
2008
ACM
14 years 10 months ago
2008
ACM
Commercial software project managers design project organizational structure carefully, mindful of available skills, division of labour, geographical boundaries, etc. These organi...
SIGSOFT
2008
ACM
14 years 10 months ago
2008
ACM
Executable models are increasingly being employed by development teams to implement robust software systems. Modern executable models offer powerful composition mechanisms that al...
SIGSOFT
2007
ACM
14 years 10 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...