4350 search results - page 229 / 870 » Case studies for contract-based systems |
169
click to vote
IANDC
2010
15 years 5 months ago
2010
This paper studies several applications of the notion of a presentation of a functor by operations and equations. We show that the technically straightforward generalisation of th...
151
click to vote
SIGMOD
2001
ACM
16 years 6 months ago
2001
ACM
Clio is a system for managing and facilitating the complex tasks of heterogeneous data transformation and integration. In Clio, we have collected together a powerful set of data m...
186
click to vote
EUROMICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
—We propose a software engineering process to aid the development of Dynamic Software Architectures (DSAs). This process is based on the sequential application of a number of for...
149
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we aim to identify what kinds of knowledge management (KM) challenges are typical in the renewal of software development processes, and to propose solutions to the ...
190
click to vote
OZCHI
2006
ACM
16 years 16 days ago
2006
ACM
This paper reports on a design case study for a mobile learning (M-learning) environment that follows a usercentred design approach. This development of the system applied an M-le...