10159 search results - page 233 / 2032 » System Design Validation Using Formal Models |
128
click to vote
RE
1997
Springer
15 years 7 months ago
1997
Springer
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
110
click to vote
ESWS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In this article we describe a semantic extension of event-driven process chains, with which it is possible to specify the semantics of individual model elements as it is ...
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
Formal Project management is vital to the effective application of organizational resources to competing demands within and across projects. The use of project management, however...
138
click to vote
OSDI
1996
ACM
15 years 4 months ago
1996
ACM
This paper describes a mechanism by which an operating system kernel can determine with certainty that it is safe to execute a binary supplied by an untrusted source. The kernel r...
124
click to vote
FTRTFT
1998
Springer
15 years 7 months ago
1998
Springer
Visual description techniques are particularly important for the design of hybrid systems because specifications of such systems must usually be discussed between engineers from a ...