1527 search results - page 131 / 306 » From Requirements to Design: Formalizing the Key Steps |
178
click to vote
COORDINATION
2008
Springer
15 years 8 months ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
154
click to vote
OOPSLA
2007
Springer
16 years 21 days ago
2007
Springer
Custom House's new currency exchange system is integrated with a legacy system. After a few years of growth, the two systems were so intricately tangled that even small chang...
181
click to vote
DIAGRAMS
2004
Springer
15 years 10 months ago
2004
Springer
Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They were designed to complement the Unified Modeling Language in the development ...
235
click to vote
JLP
2008
15 years 6 months ago
2008
Abstract. Retrenchment is a flexible model evolution formalism that arose as a reaction to the limitations imposed by refinement, and for which the proof obligations feature additi...
211
click to vote
SIGMOD
2010
ACM
15 years 6 months ago
2010
ACM
An increasing number of applications operate on data obtained from the Web. These applications typically maintain local copies of the web data to avoid network latency in data acc...