Recent advancements in communication systems enable the collaboration of virtual software design teams, breaking the barriers of time and distance. In this paper we address a criti...
Daniela E. Damian, Mildred L. G. Shaw, Brian R. Ga...
The development of a discrete-event simulation tool, called GMSim, based on the generalized semi-Markov process (GSMP) formalism is described. The GSMP representation comprises bo...
This paper presents some innovations for overcoming shortcomings in the current state-of-the-art for the hierarchy-of-models approach to modeling aggregatedforce attrition in grou...
James G. Taylor, Ugur Ziya Yildirim, William S. Mu...
I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering. Their quality can be measured by their formality, descriptivenes...
We present our experiences of using an iterative, prototypedriven approach to developing social systems with the participation of communities, inspired by probe-based methodologie...