1446 search results - page 6 / 290 » Formal analysis of hardware requirements |
AOSE
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. This paper describes an agent-oriented requirements engineering approach that combines informal
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
CAV
2004
Springer
14 years 1 months ago
2004
Springer
AOSD
2009
ACM
13 years 5 months ago
2009
ACM
Traditional methods characterize a software product line's requirements using either functional or quality criteria. This appears to be inadequate to assess modularity, detec...
TSE
2008
13 years 7 months ago
2008
This paper presents a framework for security requirements elicitation and analysis. The framework is based on constructing a context for the system, representing security requireme...