Sciweavers

9018 search results - page 238 / 1804
» 3D-Brain Model Software
Sort
View
135
Voted
ASWEC
2007
IEEE
15 years 8 months ago
Managing Conflicts When Using Combination Strategies to Test Software
Testers often represent systems under test in input parameter models. These contain parameters with associated values. Combinations of parameter values, with one value for each pa...
Mats Grindal, Jeff Offutt, Jonas Mellin
ICALT
2006
IEEE
15 years 10 months ago
Social Software and the Emergence of Control
Social software, such as blogs, wikis, tagging systems and collaborative filters, treats the group as a first-class object within the system. Drawing from theories of transactiona...
Jon Dron
FM
2003
Springer
129views Formal Methods» more  FM 2003»
15 years 9 months ago
Trends in Software Verification
With the steady increase in computational power of general purpose computers, our ability to analyze routine software artifacts is also steadily increasing. As a result, we are wit...
Gerard J. Holzmann
122
Voted
CSEE
2008
Springer
15 years 6 months ago
The Current State of Software Engineering Masters Degree Programs
A broad coalition of professionals from academia, industry, and government, under sponsorship of the US Department of Defense, is building a new model curriculum for a Masters Deg...
Arthur B. Pyster, Richard Turner, Devanandham Henr...
133
Voted
WEBNET
2001
15 years 5 months ago
Evaluation of Online Educational Software Designed for the Purpose of Teaching Programming
: In this paper we evaluate educational software, available in the market, designed for the purpose of teaching programming that addresses mainly beginners and intermediate student...
Georgiadou Elissavet, Anastasios A. Economides, An...