- Full text PDF available (3)
- This year (0)
- Last five years (1)
A major problem in the software development process is that design documents are rarely kept up-to-date with the implementation, and thus become irrelevant for extracting test plans or reviews. Furthermore, design documents tend to become very long and often impossible to review and comprehend.
The engagement of stakeholders in the project lifecycle is a key factor in the success of any project. Yet getting stakeholders engaged is a difficult task. The problem is further exacerbated when the software development project is globally distributed, mainly because of communication barriers between different stakeholders. In this paper we describe… (More)
Multi-directional asynchronous replication is a desired mechanism which allows updates to be performed locally at any site, and later propagated asynchronously to other sites. This paper proposes using second order snapshot-log relations as a mechanism for extending the use of single-directional asynchronous replication to multi-directional. The proposed… (More)
The objective of the course is to introduce mathematical logic and explore its applications in computer science, with an emphasis on formal specifications. Proposition calculus, structured induction, partial orders, and first order logic will be introduced. Formal specification using the Z language will be introduced, including some background in set… (More)