3799 search results - page 9 / 760 » An Engineering Approach to Formal Methods |
PROFES
2004
Springer
2004
Springer
Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements
14 years 1 months ago
Abstract. The important tasks in requirement engineering are resolving requirements inconsistencies between regulators and developers of safety-critical computer systems, and the v...
DEXAW
2003
IEEE
14 years 28 days ago
2003
IEEE
A challenging task in security engineering concerns the specification and integration of security with other requirements at the top level of requirements engineering. Empirical ...
FM
2005
Springer
14 years 1 months ago
2005
Springer
ICSE
1997
IEEE-ACM
13 years 11 months ago
1997
IEEE-ACM
ASWEC
2004
IEEE
13 years 11 months ago
2004
IEEE