3255 search results - page 275 / 651 » Usage-Centered Design and Software Engineering: Models for I... |
157
click to vote
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
We present the concepts, usage, and prototypic implementation of a new kind of visual debugging tool based on symbolic execution of Java source code called visual symbolic state d...
153
click to vote
APSEC
2000
IEEE
15 years 10 months ago
2000
IEEE
SOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, Data Flow Diagrams, and VDM-SL. As a method it is a com...
184
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
Cloud computing is an emerging paradigm aimed to offer users pay-per-use computing resources, while leaving the burden of managing the computing infrastructure to the cloud provid...
173
click to vote
SEKE
1994
Springer
15 years 10 months ago
1994
Springer
Scienti c research addressing global change continues to generate large quantities of information for analysis and understanding. However, the volume, distributed nature, and dive...
189
click to vote
DIGITALCITIES
2000
Springer
15 years 11 months ago
2000
Springer
The paper outlines results of feasibility experiments with new functions for a local version of the digital city, performed under a collective name 'Engineering City Oulu'...