1397 search results - page 70 / 280 » On the Need for Practical Formal Methods |
129
click to vote
IFL
2007
Springer
15 years 10 months ago
2007
Springer
Haskell is a functional language, with features such as higher order functions and lazy evaluation, which allow succinct programs. These high-level features present many challenges...
104
Voted
DSVIS
2003
Springer
15 years 9 months ago
2003
Springer
Modern industrial-strength user interface toolkits are usually described informally, in terms of implementation artifacts such as objects and imperative state. While the practical...
109
click to vote
FMCAD
2008
Springer
15 years 5 months ago
2008
Springer
A message flow is a sequence of messages sent among processors during the execution of a protocol, usually illustrated with something like a message sequence chart. Protocol design...
113
click to vote
ICWS
2007
IEEE
15 years 5 months ago
2007
IEEE
In order to find suitable web services in a large market of web services, automatic support is needed to filter out web services semantically. Existing matchmaking approaches ma...
127
click to vote
ENTCS
2007
15 years 3 months ago
2007
We propose to use a formal specification language as a high-level hardware description language. Formal languages allow for compact, unambiguous representations and yield designs...