897 search results - page 13 / 180 » Reuse, Validation and Verification of System Development Pro... |
DSD
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
CAISE
2010
Springer
13 years 10 months ago
2010
Springer
For enterprises it has become crucial to check compliance of their business processes with certain rules such as medical guidelines or financial regulations. When automating compli...
CAISE
2000
Springer
14 years 1 months ago
2000
Springer
: Reuse of already existing resources and solutions has always been a strategy for reducing the costs in the information systems development process. Construction and organization ...
CCE
2011
13 years 3 months ago
2011
Selective liquid membranes have been traditionally employed for liquid/liquid and gas/liquid mass transfer in a wide range of applications. In particular, the Emulsion Pertraction...
SAFECOMP
1998
Springer
14 years 11 days ago
1998
Springer
: This paper presents a process for the stepwise refinement of safety code assertions from identified system hazards. The code assertions are intended for use in system safety veri...