A Programming Methodology for Disconnected Operation
