4895 search results - page 611 / 979 » Tools for Grammar Engineering |
166
click to vote
AOSD
2003
ACM
16 years 1 days ago
2003
ACM
An effective requirements engineering (RE) approach must harmonise the need to achieve separation of concerns with the need to satisfy broadly scoped requirements and constraints....
200
click to vote
SIGSOFT
2000
ACM
15 years 11 months ago
2000
ACM
Although software reuse can improve both the quality and productivity of software development, it will not do so until software developers stop believing that it is not worth thei...
186
click to vote
SIGSOFT
1995
ACM
15 years 10 months ago
1995
ACM
The notion of a program slice, originally introduced by Mark Weiser, is a fundamental operation for addressing many software-engineering problems, including program understanding,...
161
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
A fundamental part of a Computer Science degree is learning to program. Rather than starting students on a full commercial language, we favour using a dedicated "teaching lan...
151
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...