4469 search results - page 144 / 894 » A Language for Role Specifications |
124
Voted
ICSE
2007
IEEE-ACM
16 years 4 months ago
2007
IEEE-ACM
We present Trio2Promela, a tool for model checking metric temporal logic specifications written in the TRIO language. Our approach is based on the translation of formulae into Pro...
127
Voted
ATVA
2010
Springer
15 years 2 months ago
2010
Springer
Exception handling is an important language feature for building more robust software programs. It is primarily concerned with capturing abnormal events, with the help of catch han...
125
click to vote
GCC
2004
Springer
15 years 10 months ago
2004
Springer
Web services (WS) provide a technology for integrating applications over the Internet. The components of a WS are active and persistent computational entities that have autonomous ...
127
click to vote
SEFM
2003
IEEE
15 years 10 months ago
2003
IEEE
The Specification and Description Language (SDL) together with its associated tool sets can be used for the generation of Tree and Tabular Combined Notation (TTCN) test cases. Sur...
155
Voted
ENTCS
2006
15 years 4 months ago
2006
Formal notations for system performance modeling need to be equipped with suitable notations for specifying performance measures. These companion notations have been traditionally...