Sciweavers

16725 search results - page 342 / 3345
» Engineering Software Correctness
Sort
View
ICSE
2008
IEEE-ACM
16 years 5 months ago
Tool support for data validation by end-user programmers
End-user programming tools for creating spreadsheets and webforms offer no data types except "string" for storing many kinds of data, such as person names and street add...
Christopher Scaffidi, Brad A. Myers, Mary Shaw
ICSE
2008
IEEE-ACM
16 years 4 months ago
Formal concept analysis applied to fault localization
One time-consuming task in the development of software is debugging. Recent work in fault localization crosschecks traces of correct and failing execution traces, it implicitly se...
Peggy Cellier
UIST
2000
ACM
15 years 9 months ago
Interaction techniques for ambiguity resolution in recognition-based interfaces
Because of its promise of natural interaction, recognition is coming into its own as a mainstream technology for use with computers. Both commercial and research applications are ...
Jennifer Mankoff, Scott E. Hudson, Gregory D. Abow...
135
Voted
FORTE
2007
15 years 6 months ago
Transactional Reduction of Component Compositions
Behavioural protocols are beneficial to Component-Based Software Engineering and Service-Oriented Computing as they foster automatic procedures for discovery, composition, composi...
Serge Haddad, Pascal Poizat