3799 search results - page 4 / 760 » An Engineering Approach to Formal Methods |
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, depen...
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...
ICSE
1997
IEEE-ACM
13 years 11 months ago
1997
IEEE-ACM
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners...
ASWEC
1998
IEEE
13 years 12 months ago
1998
IEEE
This paper reports the results from an action research project which studies the benefits of documenting the evolution and the rationale for the evolution of a requirements specif...
ADAEUROPE
2001
Springer
14 years 4 days 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...