Sciweavers

1641 search results - page 111 / 329
» The Timeboxing process model for iterative software developm...
Sort
View
AVI
2004
15 years 3 months ago
Sim-U-Sketch: a sketch-based interface for SimuLink
Sim-U-Sketch is an experimental sketch-based interface we developed for Matlab 's Simulink software package. With this tool, users can construct functional Simulink models si...
Levent Burak Kara, Thomas F. Stahovich
SIGSOFT
2007
ACM
16 years 2 months ago
State space exploration using feedback constraint generation and Monte-Carlo sampling
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
Sriram Sankaranarayanan, Richard M. Chang, Guofei ...
ACE
2004
179views Education» more  ACE 2004»
15 years 3 months ago
Less Extreme Programming
Industrial practice in software engineering has developed in recent years from rigid heavyweight document-based development techniques, such as the Rational Unified Process, to in...
James Noble, Stuart Marshall, Stephen Marshall, Ro...
ISORC
2008
IEEE
15 years 8 months ago
QoS Aware Dependable Distributed Stream Processing
In this paper we describe our approach for developing a QoS-aware, dependable execution environment for large-scale distributed stream processing applications. Distributed stream ...
Vana Kalogeraki, Dimitrios Gunopulos, Ravi S. Sand...
CMOT
2011
14 years 5 months ago
A generic architecture for redesign of organizations triggered by changing environmental circumstances
Artificial Intelligence has contributed (formal) design models and software support tools to application areas such as architecture, engineering and software design. This paper exp...
Mark Hoogendoorn, Catholijn M. Jonker, Jan Treur