3801 search results - page 584 / 761 » An Approach to Modeling Software Safety |
147
click to vote
HICSS
2000
IEEE
15 years 9 months ago
2000
IEEE
Electronic commerce applications have special features compared to conventional information systems. First, because electronic commerce usually involves yet nonexisting business a...
141
click to vote
SAFECOMP
1999
Springer
15 years 9 months ago
1999
Springer
We present an ongoing experience aimed at introducing statistical process control techniques to one crucial test phase, namely Function Test, of a real world software development p...
155
click to vote
ENTCS
2008
15 years 4 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
134
click to vote
CTW
2006
15 years 4 months ago
2006
Cognitive task analysis (CTA) approaches are currently needed in many domains to provide explicit guidance on redesigning existing systems. This study used goal-directed task analy...
168
click to vote
SENSYS
2010
ACM
15 years 2 months ago
2010
ACM
Wireless sensor networks (WSNs) are hard to program due to unconventional programming models used to satisfy stringent resource constraints. The common event-driven concurrent pro...