287 search results - page 13 / 58 » Guidelines From Organizational Requirements to Formal Specif... |
108
click to vote
ASE
1998
14 years 9 months ago
1998
Software process improvement requires high level formalisms for describing project-specific, organizational and quality aspects. These formalisms must be convenient not only for ...
ASWEC
2008
IEEE
15 years 4 months ago
2008
IEEE
The past ten years have seen a radical shift in business application software development. Rather than developing software from scratch using a conventional programming language, ...
116
click to vote
DSVIS
1998
Springer
15 years 1 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
HICSS
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper examines the non-linear nature of progress on software projects. It asserts that this uneven accomplishment stems from the continuous need to drive value quickly in res...
RE
1999
Springer
15 years 1 months ago
1999
Springer
Requirements capture by scenarios and user interface prototyping have become popular techniques. Yet, the transition from scenarios to formal specifications is still ill-defined, ...