379 search results - page 33 / 76 » Usability testing: what have we overlooked |
ASM
2010
ASM
13 years 11 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
ICSE
2009
IEEE-ACM
14 years 8 months ago
2009
IEEE-ACM
Innovations from multiple directions have been proposed to improve software reliability. Unfortunately, many of the innovations are not fully exploited by programmers. To bridge t...
ICWS
2007
IEEE
13 years 9 months ago
2007
IEEE
Web services provide an instantiation of the loosely coupled service–oriented architecture and facilitate the process of enterprise application integration by encapsulating info...
WCRE
2006
IEEE
14 years 1 months ago
2006
IEEE
Requirements views, such as coverage and status views, are an important asset for monitoring and managing software development. We have developed a method that automates the proce...
COMPUTER
2008
13 years 7 months ago
2008
higher, more appropriate, level of abstraction. It still entails writing programs, usually by using symbols, keywords, and operational instructions to tell the computer what we wan...