412 search results - page 14 / 83 » Lagrein: Visualizing User Requirements and Development Effor... |
ICSEA
2007
IEEE
14 years 1 months ago
2007
IEEE
We investigate the trade off between investing effort in improving the features of a research environment that increases productivity and investing such effort in actually conduct...
VSTTE
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
VL
1999
IEEE
13 years 11 months ago
1999
IEEE
Although there has been considerable research into ways to design visual programming environments to improve the processes of creating new programs and of understanding existing o...
KBSE
2007
IEEE
14 years 1 months ago
2007
IEEE
Flexibility and interoperability make web services well suited for designing highly-customizable reactive service-based applications, that is interactive applications that can be ...
ICWE
2009
Springer
14 years 2 months ago
2009
Springer
Rich Internet Applications (RIAs) are highly interactive web applications that resemble desktop applications. Modeling RIAs hence requires techniques for web modeling enriched by m...