One of the fundamental challenges in P2P (Peer to Peer) networks is to protect peers’ identity privacy. Adopting anonymity scheme is a good choice in most of networks such as the Internet, computer and communication networks. In this paper, we proposed an anonymity scheme based on pseudonym in which peers are motivated not to share their identity. Compared with precious anonymous scheme such as...

This paper presents and discusses some interesting findings from teaching Agile methods and modelling in a typical university at an undergraduate level software engineering course. The students who took part in this study had been exposed to a few hour lectures on Agile methods and other traditional methods like the RUP (rational unified process). A simple modelling questionnaire was presented ...

Software industry has always been tried to figure out the best practices of software development in order to increase the success rate of software projects. Rational Unified Process presents and incorporates the six best practices of software industry to achieve the goals of high quality, reliable, cost effective and within schedule software projects. We present the concept of managing RUP ® be...

In this paper we explore how the total effort spent on software development projects is distributed over different development disciplines over time. In particular, we focus on projects that employ modelbased development practises. We present empirical data that was collected from 20 industrial software development projects. We discuss how the pattern that emerges from these industrial data set...

Currently,modeling for software is mostly semiformal, such as UML(Unified Modeling Language).The main problem is difficult to analyze semantics and verify correctness for a vital system.CPN(Colored Petri Net)as modeling and verification method provides formal semantics and a number of analysis techniques and tools.This paper presents an approach of formal modeling and validation for software pr...

We have recently developed an object-oriented refinement calculus called rCOS to formalize the basic object-orient design principles, patterns and refactoring as refinement laws. The aim is of rCOS is to provide a formal support to the use-cased driven, incremental and iterative Rational Unified Process (RUP). In this paper, we apply rCOS to a step-wised development of a Point of Sale Terminal ...