2419 search results - page 354 / 484 » A Formal Approach to Software Testing |
CICLING
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. Language software applications encounter new words, e.g., acronyms, technical terminology, names or compounds of such words. In order to add new words to a lexicon, we ne...
CHI
1994
ACM
14 years 13 days ago
1994
ACM
rom abstract objects like user tasks. ost interface development problems can be traced to two sources: the need for usercentered design environments and the lack of software system...
CICLING
2008
Springer
13 years 10 months ago
2008
Springer
Language software applications encounter new words, e.g., acronyms, technical terminology, loan words, names or compounds of such words. Looking at English, one might assume that t...
FOSSACS
2009
Springer
14 years 3 months ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
MODELS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Model-Driven Engineering places models as first-class artifacts throughout the software lifecycle requiring the availability of proper transformation languages. Although...