CSEE
2006
Springer
13 years 11 months ago
2006
Springer
A fifteen week module on software engineering management exposed graduate students to practical aspects of the management of software development: emphasizing the recording and an...
CSEE
2006
Springer
13 years 11 months ago
2006
Springer
Software engineering is a rapidly changing field and new ideas, like agile software development, are emerging. As such, these ideas must be incorporated into software engineering ...
CSEE
2006
Springer
13 years 11 months ago
2006
Springer
Predicting future success of students as software engineers is an open research area. We posit that current grading means do not capture all the information that may predict wheth...
CSEE
2006
Springer
13 years 11 months ago
2006
Springer
The development of games in aid of improving and enriching a student's learning experience is again on the rise. The beer game [6] in the field of system dynamics was develop...
CBSE
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. During an architectural evolution of a component-based software, certain quality attributes may be weakened. This is due to the lack of an explicit definition of the link...
FSTTCS
2004
Springer
13 years 11 months ago
2004
Springer
A separation context is a client program which does not dereference internals of a module with which it interacts. We use certain "precise" relations to unambiguously des...
FOSSACS
2004
Springer
13 years 11 months ago
2004
Springer
In this paper we present a theorem for defining fixed-points in categories of sheaves. This result gives a unifying and general account of most techniques used in computer science ...
FOSSACS
2004
Springer
13 years 11 months ago
2004
Springer
In the literature there are several CCS-like process calculi differing in the constructs for the specification of infinite behavior and in the scoping rules for channel names. In t...
FOSSACS
2004
Springer
13 years 11 months ago
2004
Springer
We prove that if a finite alphabet of actions contains at least two elements, then the equational theory for the process algebra BCCSP modulo any semantics no coarser than readines...
COMSWARE
2006
IEEE
13 years 11 months ago
2006
IEEE
Applications using traditional protocol stacks (e.g TCP/IP) from wired networks do not function efficiently in mobile wireless scenarios. This is primarily due to the layered archi...