1146 search results - page 96 / 230 » Formal Specification Generation from Requirement Documents |
HYBRID
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
ICALT
2010
IEEE
14 years 8 months ago
2010
IEEE
—In China, the number of online learners who attend formal education has quadrupled in the last 5 years to 8.2 millions until the end of 2008. How can online teachers build and u...
105
click to vote
KBSE
2000
IEEE
15 years 1 months ago
2000
IEEE
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
104
click to vote
COMPSAC
1998
IEEE
15 years 2 months ago
1998
IEEE
Many world wide web applications require access, transfer, and synchronization of large multimedia data objects (MDOs) (such as, audio, video, and images) across the communication...
102
click to vote
AND
2010
14 years 8 months ago
2010
High-level spoken document analysis is required in many applications seeking access to the semantic content of audio data, such as information retrieval, machine translation or au...