1604 search results - page 40 / 321 » Development Separation in Lambda-Calculus |
ICSE
2010
IEEE-ACM
14 years 14 days ago
2010
IEEE-ACM
A reachability question is a search across feasible paths through a program for target statements matching search criteria. In three separate studies, we found that reachability q...
CAISE
2006
Springer
13 years 11 months ago
2006
Springer
Ubiquitous system can be considered as the intelligent space, in which many kinds of component are connected by networks and also each component recognizes their connection and coo...
WSC
1997
13 years 9 months ago
1997
Virtual prototyping with 3D drawing programs provides a means of rapidly developing system concepts and analyzing them for form, fit, logistics, human factors integration, and gen...
ICSE
2007
IEEE-ACM
14 years 1 months ago
2007
IEEE-ACM
Investigations of software development practices, processes, and techniques frequently report separately on the costs and benefits of a phenomenon under study, but rarely adequate...
CONIELECOMP
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents WISBuilder, a framework that investigates an approach for facilitating the development of Web-based Information Systems. The approach is based on the Model-Vie...