652 search results - page 14 / 131 » Deriving Specifications of Dependable Systems: toward a Meth... |
114
click to vote
PLILP
1994
Springer
15 years 2 months ago
1994
Springer
Abstract. Program slicing is a useful technique for debugging, testing, and analyzing programs. A program slice consists of the parts of a program which (potentially) affect the va...
108
click to vote
FM
1997
Springer
15 years 2 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
CAISE
1997
Springer
15 years 2 months ago
1997
Springer
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this fi...
ACHI
2008
IEEE
15 years 20 days ago
2008
IEEE
The complicated user interfaces and complex functionality of nowadays interactive products lead to a new class of failures: People do not understand their products and thus fail t...
SEFM
2005
IEEE
15 years 4 months ago
2005
IEEE
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of ...