2806 search results - page 112 / 562 » BML and Related Tools |
157
click to vote
EUSFLAT
2007
15 years 8 months ago
2007
This paper generalizes the well-known representations of fuzzy preorders and similarities according to Valverde to the graded framework of Fuzzy Class Theory (FCT). The results de...
165
click to vote
FATES
2004
Springer
16 years 7 days ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
182
click to vote
DIMVA
2006
15 years 8 months ago
2006
Incomplete or improper input validation is one of the major sources of security bugs in programs. While traditional approaches often focus on detecting string related buffer overfl...
145
click to vote
KBS
2002
15 years 6 months ago
2002
In this paper we present an overview of SHAMASH, a process modelling tool for business process reengineering. The main features that differentiate it from most current related too...
217
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
Software modifications are often systematic—they consist of similar, but not identical, program changes to multiple contexts. Existing tools for systematic program transformati...