1988 search results - page 311 / 398 » Engineering formal metatheory |
183
click to vote
ICFEM
2009
Springer
16 years 28 days ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
138
click to vote
PDP
2007
IEEE
16 years 20 days ago
2007
IEEE
Scientific and engineering programming has been around since the beginning of computing, often being the driving force for new system development and innovation. At the same time...
180
click to vote
SEW
2007
IEEE
16 years 20 days ago
2007
IEEE
: After over a decade of use, design patterns continue to find new areas of application. In previous work, we presented a contract formalism for specifying patterns precisely, and...
159
click to vote
SCAM
2006
IEEE
16 years 12 days ago
2006
IEEE
Many articles and tools have been proposed over the years for mining design patterns from source code. These tools differ in several aspects, thus their fair comparison is hard. B...
154
click to vote
ICSM
2005
IEEE
15 years 12 months ago
2005
IEEE
In the work presented here, we introduce a method to automatically generate a subset of a UML class model based on a user-defined criterion. The goal of this work is to allow us to...