Sciweavers

3192 search results - page 137 / 639
» A Requirements-Driven Development Methodology
Sort
View
178
Voted
INFOVIS
2005
IEEE
16 years 16 days ago
Graph-Theoretic Scagnostics
We introduce Tukey and Tukey scagnostics and develop graphtheoretic methods for implementing their procedure on large datasets. CR Categories: H.5.2 [User Interfaces]: Graphical U...
Leland Wilkinson, Anushka Anand, Robert L. Grossma...
154
Voted
CAISE
2005
Springer
16 years 15 days ago
The Logic of Correctness in Software Engineering
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...
Mark Priestly
BCSHCI
2007
15 years 8 months ago
Creating and analysing models in IBM Task Modeler
We illustrate the basic constituents of a model and demonstrate how the facilities of Task Modeler, such as the visualization options, enable the rapid creation, analysis, and com...
Mark Farmer, Colin Bird
191
Voted
WWW
2004
ACM
16 years 7 months ago
Web engineering with the visual software circuit board
The Visual Software Circuit Board (VSCB) platform supports a component based development methodology towards the development of software systems. The circuit board design techniqu...
Hovhannes Avoyan, Barry Levine
SP
2002
IEEE
114views Security Privacy» more  SP 2002»
15 years 6 months ago
Efficiently building on-line tools for distributed heterogeneous environments
Software development is getting more and more complex, especially within distributed middleware-based environments. A major drawback during the overall software development proces...
Günther Rackl, Thomas Ludwig 0002, Markus Lin...