127 search results - page 13 / 26 » A Formal Object-Oriented Analysis for Software Reliability: ... |
CODES
2007
IEEE
14 years 1 months ago
2007
IEEE
Multiple wireless technologies are converging to run on personal handhelds. The plethora of communication standards next to the cost issues of deeper submicron processing require ...
ISSRE
2000
IEEE
13 years 11 months ago
2000
IEEE
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
ICFEM
2003
Springer
14 years 18 days ago
2003
Springer
Abstract. Errors in a requirements model have prolonged detrimental effects on reliability, cost, and safety of a software system. It is very costly to fix these errors in later ...
SAFECOMP
2007
Springer
14 years 1 months ago
2007
Springer
A strategy and relating activities of a software safety analysis (SSA) are presented for the software of a digital reactor protection system where software modules in the design de...
STEP
2003
IEEE
14 years 20 days ago
2003
IEEE
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...