3706 search results - page 260 / 742 » The Transformational Approach to Program Development |
135
click to vote
AOSD
2010
ACM
15 years 10 months ago
2010
ACM
The development of complex software requires the implementation of functions over a variety of recursively defined data structures. The design (and modeling) of structures can it...
131
click to vote
INTERACT
1997
15 years 4 months ago
1997
This paper describes an innovative approach to teaching about human-computer interaction to a large class of students in their third year of a Computer Science major. Because of t...
137
click to vote
IJCSA
2007
15 years 3 months ago
2007
This article presents experiences in the automation of a testing process. The main goal is the unified testing of not only one program, but a whole family of programs. The family ...
173
Voted
TPLP
2010
15 years 1 months ago
2010
In this paper we explore the use of Answer Set Programming (ASP) to formalize, and reason about, psychological knowledge. In the field of psychology, a considerable amount of kno...
137
Voted
EDOC
2003
IEEE
15 years 8 months ago
2003
IEEE
Distributed systems are inherently complex, and therefore difficult to design and develop. Experience shows that new technologies—such as components, aspects, and application f...