224 search results - page 2 / 45 » A formally grounded software specification method |
194
click to vote
IFIP
2007
Springer
15 years 12 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...
136
Voted
FM
2005
Springer
15 years 11 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 ...
166
Voted
ICFEM
1998
Springer
15 years 9 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...
163
Voted
ADAEUROPE
2001
Springer
15 years 10 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...