16725 search results - page 2748 / 3345 » Engineering Software Correctness |
195
click to vote
CAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper introduces the model-based software development lifecycle model SMA--the Smyle Modeling Approach--which is centered around Smyle. Smyle is a dedicated learning...
161
click to vote
CLEIEJ
2010
15 years 4 months ago
2010
This article presents the design, implementation and use of a remote network lab with multiple users support as an aid to teaching computer networks. The purpose is to enable mult...
324
click to vote
TSE
2010
15 years 1 months ago
2010
Abstract-- Code and design smells are poor solutions to recurring implementation and design problems. They may hinder the evolution of a system by making it hard for software engin...
211
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
People routinely rely on Internet search engines to support their use of interactive systems: they issue queries to learn how to accomplish tasks, troubleshoot problems, and other...
197
click to vote
ATAL
2011
Springer
14 years 7 months ago
2011
Springer
We propose that the trust an agent places in another agent declaratively captures an architectural connector between the two agents. We formulate trust as a generic modality expre...