418 search results - page 84 / 84 » A Formal Model of Human Workflow |
ACSC
2004
IEEE
13 years 8 months ago
2004
IEEE
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...
ICSE
2010
IEEE-ACM
13 years 6 months ago
2010
IEEE-ACM
The feature list of modern IDEs is steadily growing and mastering these tools becomes more and more demanding, especially for novice programmers. Despite their remarkable capabili...
IFIP12
2004
13 years 6 months ago
2004
With the evolution of Web service technology, services will not only become increasingly sophisticated, but also move into the area of business-to-consumer and peer-to-peer interac...