This paper presents the Basic Electronic course syllabus needed to obtain the Telecommunications Engineering degree, adapted to the criteria established by the new European Higher ...
Situated learning is known to be an effective didactic approach, yet, multimedia systems with built-in support for it are uncommon. We analyze the domain-independent requirements ...
Abstract. This paper describes recent work concerned with the speci cation of requirements on interactive systems and the de nition of user-level properties of such systems. A form...
Abstract. Future communication and computation devices require mechanisms for on-the-fly reconfiguration in their protocol stack to operate in different situations and networks. Th...
We illustrate a symbiotic relationship between existing model oriented specification techniques and web services. Through the formal re-design of a platform for mobile team collab...