210 search results - page 35 / 42 » On testing UML statecharts |
ICSE
2001
IEEE-ACM
14 years 2 months ago
2001
IEEE-ACM
Design traceability has been widely recognized as being an integral aspect of software development. In the past years this fact has been amplified due to the increased use of lega...
JFR
2007
13 years 9 months ago
2007
This paper describes two steps in the evolution of human-robot interaction designs developed by the University of Massachusetts Lowell (UML) and the Idaho National Laboratory (INL...
ISSTA
2009
ACM
14 years 2 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
AOSD
2009
ACM
14 years 4 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
BMCBI
2010
13 years 10 months ago
2010
Background: Word sense disambiguation (WSD) algorithms attempt to select the proper sense of ambiguous terms in text. Resources like the UMLS provide a reference thesaurus to be u...