19 search results - page 4 / 4 » A Generic Software Safety Document Generator |
CCO
2001
Springer
14 years 3 months ago
2001
Springer
Branch, cut, and price (BCP) is an LP-based branch and bound technique for solving large-scale discrete optimization problems (DOPs). In BCP, both cuts and variables can be generat...
ADAEUROPE
2000
Springer
14 years 3 months ago
2000
Springer
of the Reliant Telco Platform, K. Wiesneth Safety-oriented INTERBUS INTERBUS Safety-, K. Meyer-Graefe Developing a Binding Process for Automated Program Recognition and Fault Local...
SERA
2004
Springer
14 years 4 months ago
2004
Springer
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...
SIGSOFT
2004
ACM
14 years 4 months ago
2004
ACM
Software models provide independent perspectives onto software systems. Ideally, all models should use the same model element to describe the same part of a system. Practically, m...