3799 search results - page 95 / 760 » An Engineering Approach to Formal Methods |
IEEEARES
2007
IEEE
14 years 3 months ago
2007
IEEE
We present a pattern system for security requirements engineering, consisting of security problem frames and concretized security problem frames. These are special kinds of proble...
HYBRID
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The problem of maintaining the crankshaft speed of an automotive engine within a given set interval (idle speed control), is formalized as a constrained control problem u...
CMOT
2000
13 years 9 months ago
2000
Enterprise design knowledge is currently descriptive, ad hoc, or pre-scientific. One reason for this state of affairs in enterprise design is that existing approaches lack an adeq...
ESSOS
2009
Springer
14 years 29 days ago
2009
Springer
Abstract. We present an approach to security requirements engineering, which makes use of special kinds of problem frames that serve to structure, characterize, analyze, and solve ...
FORTEST
2008
13 years 10 months ago
2008
This paper describes an approach to the formalization of existing criteria used in computer systems software testing and proposes a new Reinforced Condition/Decision Coverage (RC/D...