280 search results - page 18 / 56 » Problems and Deficiencies of UML as a Requirements Specifica... |
201
click to vote
POPL
2004
ACM
16 years 2 hour ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...
JUCS
2000
14 years 11 months ago
2000
: Evaluations of methods and tools applied to a reference problem are useful when comparing various techniques. In this paper, we present a solution to the challenge of capturing t...
SIGSOFT
2003
ACM
16 years 13 days ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
120
click to vote
JWSR
2008
14 years 11 months ago
2008
Business processes, the next-generation workflows, have attracted considerable research interest in the last 15 years. More recently, several XML-based languages have been propose...
SPE
2002
14 years 11 months ago
2002
Learning to work with enterprise frameworks requires considerable effort, because of the inherent complexity of all the knowledge that is needed. However, different roles in proje...