1559 search results - page 104 / 312 » Software needs engineering: a position paper |
UIST
1993
ACM
14 years 29 days ago
1993
ACM
Maintaining knowledge of current position and orientation is frequently a problem for people in virtual environments. In this paper we present a toolset of techniques based on pri...
AOSD
2007
ACM
14 years 27 days ago
2007
ACM
Aspect-oriented languages mostly employ implicit languagedefined join point models, where well-defined points in the program are called join points and declarative predicates are ...
COMPSAC
2004
IEEE
14 years 19 days ago
2004
IEEE
Emerging patterns have been studied as a useful type of pattern for the diagnosis and understanding of diseases based on the analysis of gene expression profiles. They are useful ...
FOSSACS
2000
Springer
14 years 15 days 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...
IWPC
1997
IEEE
14 years 14 days ago
1997
IEEE
A dynamic program slice is an executable part of a program whose behavior is identical, for the same program input, to that of an original program with respect to a variable(s) of...