726 search results - page 16 / 146 » Formal Requirements Engineering: Learning from the Students |
SIGCSE
2006
ACM
15 years 5 months ago
2006
ACM
This paper describes an initiative at North Carolina State University in which the undergraduate software engineering class was restructured in layout and in presentation. The cha...
110
click to vote
AH
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. A Learning Design(LD) definition under the IMS-LD standard is a complex task for the instructor because it requires a lot of time, effort and previous knowledge of the ...
122
click to vote
FMAM
2010
14 years 9 months ago
2010
: Members of the agile programming and formal methods communities do not always see eye-to-eye. These two communities often do not talk to or learn from each other. Only recently, ...
104
click to vote
ICFEM
2007
Springer
15 years 5 months ago
2007
Springer
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
CSEE
2003
Springer
15 years 5 months ago
2003
Springer
This paper describes our experience of teaching a Software Engineering course based on the use of group work to teaching and practise theoretical concepts. Our work has three main...