Sciweavers

1522 search results - page 78 / 305
» Practical Exception Specifications
Sort
View
CONTEXT
2007
Springer
15 years 7 months ago
Activity Systems and Context Working as Core Concepts in Modeling Socio-Technical Systems
Current modeling approaches in the field of learning and work resemble the notion of workflows and hence fall short in describing the situated and socially mediated nature of pract...
Heidrun Allert, Christoph Richter
APSEC
1998
IEEE
15 years 6 months ago
A Refinement Calculus for the Development of Real-Time Systems
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...
Zhiqiang Chen, Antonio Cau, Hussein Zedan, Xiaodon...
ECTEL
2006
Springer
15 years 5 months ago
Informal Learning Theories and Tools to Support Knowledge Management in Distributed CoPs
In this work informal learning theories and practices and social networking features are taken as starting points to build a reference collaboration model to support collaborative ...
Maria Chiara Pettenati, Maria Ranieri
CORR
2004
Springer
118views Education» more  CORR 2004»
15 years 1 months ago
Application of the Double Metaphone Algorithm to Amharic Orthography
The Metaphone algorithm applies the phonetic encoding of orthographic sequences to simplify words prior to comparison. While Metaphone has been highly successful for the English l...
Daniel Yacob
SIGCSE
1999
ACM
93views Education» more  SIGCSE 1999»
15 years 6 months ago
Patterns for decoupling data structures and algorithms
In order to build a data structure that is extensible and reusable, it is necessary to decouple the intrinsic and primitive behavior of the structure from the application specific...
Dung Zung Nguyen, Stephen B. Wong