Sciweavers

3192 search results - page 137 / 639
» A Requirements-Driven Development Methodology
Sort
View
138
Voted
INFOVIS
2005
IEEE
15 years 10 months 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...
129
Voted
CAISE
2005
Springer
15 years 10 months 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 6 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
WWW
2004
ACM
16 years 5 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 4 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...