15784 search results - page 906 / 3157 » Mega Software Engineering |
175
click to vote
IWPC
2005
IEEE
16 years 1 months ago
2005
IEEE
A commonly held belief is that the friend construct in C++ is a violation of encapsulation. However, little empirical analysis of its use has taken place to provide evidence to su...
200
click to vote
SEFM
2005
IEEE
16 years 1 months ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
189
click to vote
SEFM
2005
IEEE
16 years 1 months ago
2005
IEEE
The three main assertion-based verification approaches are: Design by Contract (DBC), Extended Static Checking (ESC) and Verified Design by Contract (VDBC). Each approach offers a...
233
click to vote
ADAEUROPE
2005
Springer
16 years 1 months ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
180
click to vote
VSTTE
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....