224 search results - page 2 / 45 » A formally grounded software specification method |
IFIP
2007
Springer
14 years 15 days 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...
FM
2005
Springer
13 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 ...
ICFEM
1998
Springer
13 years 10 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
14 years 19 days ago
2007
IEEE
ADAEUROPE
2001
Springer
13 years 11 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...