1137 search results - page 26 / 228 » Disciplined Methods of Software Specification: A Case Study |
IWSSD
2000
IEEE
15 years 2 months ago
2000
IEEE
In recent years, UML has become a standard language for modeling software requirements and design. In this paper we investigate the suitability of UML as a semiformal requirements...
WER
2004
Springer
15 years 3 months ago
2004
Springer
Who uses requirements engineering and design methodologies besides the people who invented them? Are researchers - at least - actually trying to use them in real-world complex proj...
IWFM
1998
14 years 11 months ago
1998
In this paper we suggest methods to aid the development of specifications using the B method. We propose an objectoriented approach to specification, developing the structure thro...
ICTAC
2009
Springer
14 years 7 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
RE
2010
Springer
14 years 4 months ago
2010
Springer
Today, companies are required to be in control of their IT assets, and to provide proof of this in the form of independent IT audit reports. However, many companies have outsourced...