1397 search results - page 21 / 280 » On the Need for Practical Formal Methods |
ICFEM
1998
Springer
13 years 11 months ago
1998
Springer
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...
TLDI
2003
ACM
14 years 26 days ago
2003
ACM
We describe a design pattern for writing programs that traverse data structures built from rich mutually-recursive data types. Such programs often have a great deal of “boilerpl...
ATAL
2003
Springer
14 years 26 days ago
2003
Springer
Effective human teams often benefit from proactivity through members’ capability of anticipating different needs of teammates. In this paper, we focus on three issues related...
ACE
2004
13 years 9 months ago
2004
The advent of Web technology has enabled new ways in which groups of people may interact, leading to the development of online communities. In an academic environment these virtua...
ICSM
1996
IEEE
13 years 11 months ago
1996
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...