1601 search results - page 3 / 321 » The affordable application of formal methods to software eng... |
CSMR
1997
IEEE
13 years 9 months ago
1997
IEEE
WCRE
1995
IEEE
13 years 8 months ago
1995
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
IUI
1999
ACM
13 years 9 months ago
1999
ACM
This paper takes a first step toward formalizing the concept of affordance in user interfaces. Using a simple example of an AI planning domain, we show how different types of aff...
SIGSOFT
2010
ACM
13 years 3 months ago
2010
ACM
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...
COMPSAC
1997
IEEE
13 years 9 months ago
1997
IEEE
Formal methods are used in a surprisingly wide variety of applications and ways throughout the world. While they may still’be considered a niche market, there is growing evidenc...