3799 search results - page 82 / 760 » An Engineering Approach to Formal Methods |
152
Voted
APSEC
2001
IEEE
15 years 7 months ago
2001
IEEE
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
152
Voted
TC
2010
15 years 2 months ago
2010
—Reliability analysis has become a tool of fundamental importance to virtually all electrical and computer engineers because of the extensive usage of hardware systems in safety ...
144
Voted
SEKE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...
126
click to vote
WISE
2009
Springer
16 years 25 days ago
2009
Springer
Identifying the right-grained services is important to lead the successful service orientation because it has a direct impact on two major goals: the composability of loosely-coupl...
140
Voted
ISSTA
2000
ACM
15 years 8 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...