1137 search results - page 22 / 228 » Disciplined Methods of Software Specification: A Case Study |
98
Voted
FAC
2008
14 years 9 months ago
2008
This paper explains how the Alloy model-finding method has been used to check the specification of an electronic purse (also called smart card) system, called the Mondex case study...
RE
2010
Springer
14 years 4 months ago
2010
Springer
Companies in the software business often distribute requirements engineering responsibilities over several roles. Product management has overall product responsibility and performs...
FM
2005
Springer
15 years 3 months ago
2005
Springer
It has been recognised for a while that formal specifications can bring much to software testing. Numerous methods have been proposed for the derivation of test cases from various ...
116
click to vote
CORR
2011
Springer
14 years 4 months ago
2011
Springer
—Validation is one of the software engineering disciplines that help build quality into software. The major objective of software validation process is to determine that the soft...
CSMR
2005
IEEE
15 years 3 months ago
2005
IEEE
A domain-specific visual language, Function Block Language (FBL), is used in Metso Automation for writing automation control programs. The same engineering environment is used for...