1809 search results - page 275 / 362 » A Formal Specification of dMARS |
SAC
2004
ACM
14 years 3 months ago
2004
ACM
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...
CAISE
2004
Springer
14 years 3 months ago
2004
Springer
This paper outlines an ontology for characterising architecture frameworks. The ontology is based on the metamodel of MAF, and is currently being tried out on a set of well-known e...
SIGCSE
2010
ACM
14 years 3 months ago
2010
ACM
Inspired by the formal code inspection process commonly used in the software industry, we have been exploring the use of pedagogical code reviews (PCRs), in which a team of three ...
HICSS
2003
IEEE
14 years 3 months ago
2003
IEEE
A standard notation, that unambiguously expresses different aspects of a system, is important to the process of software development. The expressiveness of a standard notation hel...
HICSS
2003
IEEE
14 years 3 months ago
2003
IEEE
Efficacy and Sustainability of a Telerehabilitation Program Sustainability and appropriateness of care are important components for healthcare systems as they begin integrating te...