Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- articleFebruary 2011
Decomposition tool for event-B
Software—Practice & Experience (SPRE), Volume 41, Issue 2Pages 199–208https://doi.org/10.1002/spe.1002Two methods have been identified for Event-B model decomposition: shared variable and shared event. The purpose of this paper is to introduce the two approaches and the respective tool support in the Rodin platform. Besides alleviating the complexity ...
- articleOctober 2004
Flexible XML-based configuration of physical simulations
Software—Practice & Experience (SPRE), Volume 34, Issue 12Pages 1149–1155https://doi.org/10.1002/spe.606The extensible markup language XML can be used to support the integration of several component programming environments to create a flexible physical simulation system. Data exchange via open-standard-based plain text files allows system components to ...
- articleOctober 1973
Buffering for sustained, high speed transfers
Software—Practice & Experience (SPRE), Volume 3, Issue 4Pages 351–354https://doi.org/10.1002/spe.4380030407It is shown that a circular buffering system is more effective than conventional double or treble buffering for handling sustained, high speed data transfers from say analog-to-digital converters to disk storage devices. © 1973 Wiley Periodicals, Inc.