4917 search results - page 493 / 984 » Software Engineering is Not Computer Science |
127
click to vote
COMPSAC
2001
IEEE
15 years 8 months ago
2001
IEEE
The time-triggered message-triggered object (TMO) programming scheme has been established to remove the limitation of conventional object programming techniques and tools in devel...
154
click to vote
FOSSACS
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
141
click to vote
TACS
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...
118
Voted
UIST
1995
ACM
15 years 8 months ago
1995
ACM
The central research issue addressed by this paper is how we can design computer interfaces that better support human attention and better maintain the fluency of work. To accompl...
130
click to vote
WCRE
1995
IEEE
15 years 8 months ago
1995
IEEE
One of the factors that can make a program di cult to understand is that code responsible for accomplishing more than one purpose may be woven together in a single section. We cal...