4418 search results - page 132 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
153
click to vote
COMPSAC
2007
IEEE
15 years 4 months ago
2007
IEEE
Lose sight of the existence of system crosscutting concerns, e.g. safety and quality etc, often causes the system hard to maintain and evolve according to the changing environment...
135
click to vote
ACSC
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs. It is applicable to all loops for ...
128
click to vote
ICSM
2006
IEEE
15 years 10 months ago
2006
IEEE
Software design patterns are documented best practice solutions that can be applied to reoccurring problems. Although well documented, there are often opportunities to apply them ...
149
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
A large amount of handwritten documents exist in image form, as scanned documents. The supporting electronic media allows for better preservation, but to access their content they...
127
click to vote
CONTEXT
2007
Springer
15 years 10 months ago
2007
Springer
Context-aware systems are software systems which adapt their behaviour according to the context of use. The requirements engineering phase is recognized as a primordial step to dev...