209 search results - page 12 / 42 » Software Requirements Specification of a University Class Sc... |
RTSS
2000
IEEE
14 years 2 months ago
2000
IEEE
While early research on real-time computing was concerned with guaranteeing avoidance of undesirable effects such as overload and deadline misses, adaptive real-time systems are d...
ISORC
2008
IEEE
14 years 4 months ago
2008
IEEE
Conditional real-time task models, which are generalizations of periodic, sporadic, and multi-frame tasks, represent real world applications more accurately. These models can be c...
ICSE
2004
IEEE-ACM
14 years 10 months ago
2004
IEEE-ACM
Despite their benefits, programmers rarely use formal specifications, because they are difficult to write and they require an up front investment in time. To address these issues,...
ITNG
2007
IEEE
14 years 4 months ago
2007
IEEE
Drawing on our previous work on survey and reporting tools that compare faculty expectations with what students report experiencing in class, this paper presents details of a new ...
FSTTCS
2010
Springer
13 years 7 months ago
2010
Springer
We consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, we use message sequence charts (MSCs) annotated with ...