726 search results - page 85 / 146 » Formal Requirements Engineering: Learning from the Students |
120
click to vote
SIGSOFT
2002
ACM
16 years 17 days ago
2002
ACM
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...
104
click to vote
CAI
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. This paper introduces the model-based software development lifecycle model SMA--the Smyle Modeling Approach--which is centered around Smyle. Smyle is a dedicated learning...
113
click to vote
DMIN
2010
14 years 10 months ago
2010
Recently Vapnik et al. [11, 12, 13] introduced a new learning model, called Learning Using Privileged Information (LUPI). In this model, along with standard training data, the tea...
APSEC
2002
IEEE
15 years 4 months ago
2002
IEEE
Many automated programming environments construct software by integrating predefined components from a software library. A fundamental challenge in this process is to match the p...
INFSOF
2007
14 years 11 months ago
2007
Retrofitting security implementations to a released software-intensive system or to a system under development may require significant architectural or coding changes. These late...