803 search results - page 28 / 161 » Building Formal Models for Software Requirements |
APSEC
2000
IEEE
15 years 4 months ago
2000
IEEE
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...
100
click to vote
SIGSOFT
2005
ACM
16 years 14 days ago
2005
ACM
Growing attention is being paid to application security at requirements engineering time. Confidentiality is a particular subclass of security concerns that requires sensitive inf...
119
click to vote
COMPSAC
2002
IEEE
15 years 4 months ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
118
click to vote
IEE
2008
14 years 11 months ago
2008
: From a maintenance perspective, only software that is well understood can evolve in a controlled and high-quality manner. Software evolution itself is a knowledge-driven process ...
JSS
2006
14 years 11 months ago
2006
Estimating software size is a difficult task that requires a methodological approach. Many different methods that exist today use distinct abstractions to depict a software system...