13456 search results - page 121 / 2692 » Design and Development in the |
109
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
105
click to vote
COMPSAC
2001
IEEE
15 years 8 months ago
2001
IEEE
To support commercial-strength web development it is as important to utilize a process as it is in regular, non-web information systems development. Using an established OO/CBD de...
136
click to vote
OHS
2001
Springer
15 years 9 months ago
2001
Springer
Developing adaptive internet based learning courses usually requires a lot of programming efforts to provide session management, keeping track of the learners current state, and ad...
136
click to vote
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
With the proliferation of consumer computing devices with varied display and input characteristics, it has become desirable to develop interactive systems that are usable across m...
150
click to vote
ECLIPSE
2004
ACM
15 years 10 months ago
2004
ACM
In this paper, we describe marking features provided in Gild, a set of plug-ins to support education in Eclipse developed at the University of Victoria. We discuss our requirement...