803 search results - page 22 / 161 » Building Formal Models for Software Requirements |
WER
2007
Springer
15 years 5 months ago
2007
Springer
Compliance with privacy legislation is a primary concern for health care institutions that are building information systems support for their business processes. This paper descri...
RSP
1999
IEEE
15 years 4 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
CBMS
2008
IEEE
15 years 6 months ago
2008
IEEE
Transforming a text-based clinical guideline in a computer-interpretable form is a time-consuming and demanding task due to the various users involved, who have different technica...
TSE
1998
14 years 11 months ago
1998
—It is well known that requirements engineering plays a critical role in software quality. The use case approach is a requirements elicitation technique commonly used in industri...