5810 search results - page 370 / 1162 » An Approach to Programming Based on Concepts |
153
click to vote
ECIS
2003
15 years 8 months ago
2003
Positivist, single case study is an important research approach within the information systems discipline. This paper provides detailed definitions of key concepts in positivist, ...
169
click to vote
EMSOFT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a framework to extend the concept of type systems in programming languages to capture the dynamic interaction in component-based design, such as the communicat...
197
click to vote
SAS
1994
Springer
15 years 10 months ago
1994
Springer
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...
172
click to vote
MEDINFO
2007
15 years 8 months ago
2007
OpenEHR specifications have been developed to standardise the representation of an international electronic health record (EHR). The language used for querying EHR data is not as ...
212
click to vote
IFIPTCS
2010
15 years 4 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...