3799 search results - page 209 / 760 » An Engineering Approach to Formal Methods |
132
click to vote
ISOLA
2007
Springer
15 years 10 months ago
2007
Springer
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...
133
click to vote
FMCAD
2008
Springer
15 years 6 months ago
2008
Springer
The semantics of temporal logic is usually defined with respect to a word representing a computation path over a set of atomic propositions. A temporal logic formula does not contr...
123
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Software systems have become more complex, with myriad features and multiple functionalities. A major challenge in developing and maintaining such complex software is to identify ...
133
click to vote
DSS
2008
15 years 4 months ago
2008
As the Web continues to grow, it has become increasingly difficult to search for relevant information using traditional search engines. Topic-specific search engines provide an al...
145
click to vote
ECMDAFA
2008
Springer
15 years 5 months ago
2008
Springer
In requirements engineering, there are several approaches for requirements modeling such as goal-oriented, aspect-driven, and system requirements modeling. In practice, companies o...