Sciweavers

62 search results - page 9 / 13
» The misbehavior of value and the discipline of the will
Sort
View
AFP
2004
Springer
128views Formal Methods» more  AFP 2004»
14 years 1 months ago
GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications
Abstract. Programming GUIs with conventional GUI APIs is notoriously tedious. In these notes we present the GEC toolkit in which the programmer can create user interfaces without a...
Peter Achten, Marko C. J. D. van Eekelen, Rinus Pl...
VISUALIZATION
2002
IEEE
14 years 19 days ago
A Radial Focus+Context Visualization for Multi-Dimensional Functions
The analysis of multidimensional functions is important in many engineering disciplines, and poses a major problem as the number of dimensions increases. Previous visualization ap...
Sanjini Jayaraman, Chris North
PCI
2001
Springer
14 years 5 days ago
Communicating X-Machines: From Theory to Practice
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
Petros Kefalas, George Eleftherakis, Evangelos Keh...
IWSSD
2000
IEEE
14 years 3 days ago
Design Guidance through the Controlled Application of Constraints
We seek to facilitate development of high quality software designs and architectures by using rigorous process definitions to guide application of the complex structure of relati...
Aaron G. Cass, Leon J. Osterweil
AGILEDC
2004
IEEE
13 years 11 months ago
Emergent Database Design: Liberating Database Development with Agile Practices
Many agile projects do not apply agile practices to their database development. Common wisdom dictates that the entire data model be carefully designed up front and protected from...
Alan Harriman, Paul Hodgetts, Mike Leo