845 search results - page 22 / 169 » A Formal Model of the Software Test Process |
HCI
2007
13 years 9 months ago
2007
The collection and sharing of results from usability laboratories around the world has not yet made good use of emerging models of Internetbased knowledge sharing technologies. Thi...
KBSE
2002
IEEE
14 years 20 days ago
2002
IEEE
Software engineering (SE) truisms capture broadlyapplicable principles of software construction. The trouble with truisms is that such general principles may not apply in specifi...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
This paper proposes the use of an interaction modeling language called MoLIC to graphically represent scenarios as an additional resource in software development. MoLIC brings hum...
CHI
2007
ACM
14 years 8 months ago
2007
ACM
Traditionally, software engineering processes are based on a formalist model that emphasizes strict documentation, procedural and validation standards. Although this is a poor fit...
ICSE
2001
IEEE-ACM
14 years 6 days ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...