1137 search results - page 147 / 228 » Disciplined Methods of Software Specification: A Case Study |
AIEDU
2006
14 years 10 months ago
2006
Learner-centred design (LCD) is a nebulous concept. It can range from attempts to design with the needs of the learner at the forefront, to involving the learner at various stages ...
COMCOM
2000
14 years 9 months ago
2000
This paper is devoted to the presentation of the RT-LOTOS formal description technique, which is a formalism suited for applications where concurrency, complex synchronization pat...
121
click to vote
WOA
2010
14 years 7 months ago
2010
Current technologies permit people to make use of various systems able to fulfill most of their needs while being at home. However, their use is often not intuitive and they are al...
JUCS
2011
14 years 21 days ago
2011
: With the emergence of the Web 2.0 phenomena, technology-assisted social networking has become the norm. The potential of social software for collaborative learning purposes is cl...
ACMSE
2005
ACM
14 years 11 months ago
2005
ACM
The popularity of mobile devices has propelled the development of many useful location-aware applications. However, the heterogeneity of mobile devices necessitates that the softw...