3801 search results - page 284 / 761 » An Approach to Modeling Software Safety |
161
click to vote
ICSE
2007
IEEE-ACM
16 years 23 days ago
2007
IEEE-ACM
Investigations of software development practices, processes, and techniques frequently report separately on the costs and benefits of a phenomenon under study, but rarely adequate...
151
click to vote
HYBRID
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
174
click to vote
MODELS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. This paper describes our experiences in defining the processes associated with preparing and administrating chemotherapy and then using those process definitions as the b...
189
click to vote
ICWE
2005
Springer
16 years 3 days ago
2005
Springer
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context,...
191
click to vote
PRDC
2000
IEEE
15 years 11 months ago
2000
IEEE
A synchronous system model is a simple yet powerful distributed system model that reduces the complexity of the design and implementation of dependable distributed applications. H...