1137 search results - page 69 / 228 » Disciplined Methods of Software Specification: A Case Study |
IFIP
2007
Springer
15 years 3 months ago
2007
Springer
Effective methods for metrics definition are of particular importance, as measurement mechanisms are indispensable in virtually any engineering discipline. The paper describes how ...
ASE
2000
14 years 9 months ago
2000
Inconsistencies may arise in the course of specification of systems, and it is now recognised that they cannot be forbidden. Recent work has concentrated on enabling requirements ...
109
click to vote
ASWEC
1998
IEEE
15 years 2 months ago
1998
IEEE
This paper reports the results from an action research project which studies the benefits of documenting the evolution and the rationale for the evolution of a requirements specif...
IWSM
2007
Springer
15 years 3 months ago
2007
Springer
This paper reports on initial findings in an empirical study carried out with representatives of two ERP vendors, six ERP adopting organizations, four ERP implementation consulting...
STTT
2008
14 years 9 months ago
2008
We present ProB, a validation toolset for the B method. ProB's automated animation facilities allow users to gain confidence in their specifications. ProB also contains a mode...