1001 search results - page 19 / 201 » Testing Formal Dialectic |
FM
2005
Springer
14 years 1 months ago
2005
Springer
FORMATS
2004
Springer
14 years 1 months ago
2004
Springer
ISOLA
2004
Springer
14 years 1 months ago
2004
Springer
FATES
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal...
ISSE
2010
2010
An approach to applying SOFL for agile process and its application in developing a test support tool
13 years 6 months ago
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...