1057 search results - page 78 / 212 » Testing from Formal Specifications, a Generic Approach |
113
Voted
ITS
2010
Springer
15 years 8 months ago
2010
Springer
This paper presents a novel Automatic Question Generation (AQG) approach that generates trigger questions as a form of support for students’ learning through writing. The approac...
138
click to vote
VLSID
2007
IEEE
16 years 3 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...
122
Voted
SP
2007
IEEE
15 years 9 months ago
2007
IEEE
To achieve end-to-end security, traditional machine-to-machine security measures are insufficient if the integrity of the human-computer interface is compromised. GUI logic flaws ...
135
Voted
ANSOFT
2002
15 years 3 months ago
2002
Abstract. Current practice in Web application development is based on the skills of the individual programmers and often does not apply the principles of software engineering. The ...
167
Voted
ASE
2006
15 years 3 months ago
2006
User interface (UI) prototyping and scenario engineering have become popular techniques. Yet, the transition from scenario to formal specifications and the generation of UI code is...