488 search results - page 69 / 98 » On the Formal Generation of Process Redesigns |
100
click to vote
EWC
2000
15 years 1 months ago
2000
The complexity of modern products and design tools has made the exchange of design information more complex. It is widely recognised that the seamless capture, storage, and retriev...
112
click to vote
JSS
2002
15 years 1 months ago
2002
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
130
Voted
CASCON
2007
15 years 3 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
130
click to vote
TSE
1998
15 years 1 months ago
1998
—Scenarios are increasingly recognized as an effective means for eliciting, validating, and documenting software requirements. This paper concentrates on the use of scenarios for...
99
Voted
SIGMOD
2004
ACM
16 years 1 months ago
2004
ACM
In this paper, we study query evaluation on Active XML documents (AXML for short), a new generation of XML documents that has recently gained popularity. AXML documents are XML do...