726 search results - page 27 / 146 » Formal Requirements Engineering: Learning from the Students |
100
click to vote
B
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
AIED
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Formalizing a student model for an educational system requires an engineering effort that is highly domain-specific. This model-specificity limits the ability to scale ...
ICSE
2008
IEEE-ACM
16 years 17 days ago
2008
IEEE-ACM
In computer science curricula the two areas programming and software engineering are usually separated. In programming students learn an object oriented language and then deepen t...
103
click to vote
RE
1997
Springer
15 years 3 months ago
1997
Springer
The field of requirements engineering emerges out of tradition of research and engineering practice that stresses rtance of generalizations and abstractions. abstraction is essent...
124
click to vote
SIGCSE
2002
ACM
14 years 11 months ago
2002
ACM
This paper describes a tutorial program that serves a double role as an educational tool and a research environment. First, it introduces students to fundamental concepts of propo...