2419 search results - page 284 / 484 » A Formal Approach to Software Testing |
138
click to vote
ECMDAFA
2005
Springer
15 years 9 months ago
2005
Springer
This article presents a control flow analysis methodology based on UML 2.0 sequence diagrams (SD). In contrast to the conventional code-based control flow analysis techniques, thi...
150
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Biological sequence repeats arranged in tandem patterns are widespread in DNA and proteins. While many software tools have been designed to detect DNA tandem repeats (...
159
click to vote
EMSOFT
2003
Springer
15 years 9 months ago
2003
Springer
We present a formalism for specifying component interfaces that expose component requirements on limited resources. The formalism permits an algorithmic check if two or more compon...
125
Voted
CBSE
2009
Springer
15 years 8 months ago
2009
Springer
A challenge of componentizing legacy applications is to extract behavior specification of suggested components. It is desirable to preserve a relation between the original structur...
132
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
Recently a lot of multimedia applications are emerging on portable appliances. They require both the flexibility of upgradeable devices (traditionally software based) and a powerf...