Search

Showing total 1 results

Refine your results

1 results

1. SoSyM Special Section on Software Engineering and Formal Methods.

Author

Cuellar, Jorge and Zhiming Liu

Subjects
SOFTWARE engineering, CONFERENCES & conventions, COMPUTER networks, WIDE area networks
Abstract

The article presents information about three papers based on the presentations made at SEFM 2004, the Second IEEE International Conference on Software Engineering and Formal Methods held during 28-30 September 2004 in Beijing, China. The papers are "Models and Temporal Logical Specifications for Timed Component Connectors," " An Asynchronous Communication Model for Distributed Concurrent Objects," and "Computation Orchestration: A Basis for Wide-Area Computing."

Published
2007
Full Text
View/download PDF