224 search results - page 2 / 45 » A formally grounded software specification method |
140
Voted
IFIP
2007
Springer
15 years 7 months ago
2007
Springer
In global software development (GSD) projects, distributed teams collaborate to deliver high-quality software. Project managers need to control these development projects, which in...
90
Voted
FM
2005
Springer
15 years 6 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 ...
124
Voted
ICFEM
1998
Springer
15 years 4 months ago
1998
Springer
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...
MEMOCODE
2007
IEEE
15 years 7 months ago
2007
IEEE
106
Voted
ADAEUROPE
2001
Springer
15 years 5 months ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...