16725 search results - page 2597 / 3345 » Engineering Software Correctness |
184
click to vote
DEBU
2008
15 years 7 months ago
2008
Software infrastructures and applications more and more must deal with data available in a variety of different storage engines, accessible through a multitude of protocols and in...
163
click to vote
ENTCS
2008
15 years 7 months ago
2008
This paper combines two successful techniques from software engineering, aspect-oriented programming and design-by-contract, and applies them in the context of reactive systems. F...
188
click to vote
IEE
2008
15 years 7 months ago
2008
: A simple and practical technique for assessing the risks, that is, the potential for error, and consequent loss, in software system development, acquired during a requirements en...
226
click to vote
IJVR
2008
15 years 7 months ago
2008
Due to its importance as a model for several software and hardware applications, automata theory is a core topic in computer science and engineering education. But because of its m...
174
click to vote
ETS
2002
IEEE
15 years 7 months ago
2002
IEEE
IT-giftedness represents abilities related with widely differing uses of information technologies (IT). Children and adolescents often exhibit surprising abilities in the use of c...