5433 search results - page 505 / 1087 » Tool Support for Traceability-Adaptation |
179
Voted
SIGCSE
2004
ACM
16 years 26 days ago
2004
ACM
Various methods have been proposed in the past to improve student learning by introducing new styles of working with assignments. These include problem-based learning, use of case...
192
click to vote
ADC
2004
Springer
16 years 26 days ago
2004
Springer
Forms are the most common way to interface users and Web-based applications. Traditional forms cannot provide the functionality needed to fulfil the requirements of complex appli...
243
click to vote
FMCO
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
218
click to vote
ICFEM
2004
Springer
16 years 25 days ago
2004
Springer
Circus is a combination of Z, CSP, and Morgan’s refinement calculus; it has an associated refinement strategy that supports the development of reactive programs. In this work, ...
200
click to vote
IFM
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements ar...