Sciweavers

4917 search results - page 361 / 984
» Software Engineering is Not Computer Science
Sort
View
130
Voted
SIGSOFT
2006
ACM
16 years 4 months ago
User guidance for creating precise and accessible property specifications
Property specifications concisely describe aspects of what a system is supposed to do. No matter what notation is used to describe them, however, it is difficult to represent thes...
Rachel L. Cobleigh, George S. Avrunin, Lori A. Cla...
KBSE
2005
IEEE
15 years 9 months ago
Automating experimentation on distributed testbeds
Engineering distributed systems is a challenging activity. This is partly due to the intrinsic complexity of distributed systems, and partly due to the practical obstacles that de...
Yanyan Wang, Matthew J. Rutherford, Antonio Carzan...
SAC
2010
ACM
15 years 11 months ago
MetaSelf: an architecture and a development method for dependable self-* systems
This paper proposes a software architecture and a development process for engineering dependable and controllable self-organising (SO) systems. Our approach addresses dependabilit...
Giovanna Di Marzo Serugendo, John S. Fitzgerald, A...
AMAST
2004
Springer
15 years 9 months ago
Counting Votes with Formal Methods
This abstract provides some background information about the electronic voting experiment that is planned in the Netherlands for the European Elections of 2004, and about our own i...
Bart Jacobs
GECCO
2009
Springer
144views Optimization» more  GECCO 2009»
15 years 10 months ago
Using automated search to generate test data for matlab
The critical functionality of many software applications relies on code that performs mathematically complex computations. However, such code is often difficult to test owing to t...
Sion Ll Rhys, Simon M. Poulding, John A. Clark