8495 search results - page 1554 / 1699 » IT Support for Healthcare Processes |
153
click to vote
SIGSOFT
2006
ACM
16 years 7 months ago
2006
ACM
Property specifications concisely describe aspects of what a system is supposed to do. No matter what notation is used to describe them, however, it is difficult to represent thes...
153
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
A fundamental part of a Computer Science degree is learning to program. Rather than starting students on a full commercial language, we favour using a dedicated "teaching lan...
135
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
The C language is among the most widely used in the world, particularly for critical infrastructure software. C programs depend upon macros processed using the C preprocessor, but...
176
click to vote
SIGSOFT
2004
ACM
16 years 7 months ago
2004
ACM
Exploring alternative options is at the heart of the requirements and design processes. Different alternatives contribute to different degrees of achievement of non-functional goa...
192
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...