3984 search results - page 423 / 797 » A Model-Driven Transformation Method |
152
click to vote
SAS
2005
Springer
16 years 5 days ago
2005
Springer
The termination insensitive secure information flow problem can be reduced to solving a safety problem via a simple program transformation. Barthe, D’Argenio, and Rezk coined th...
178
click to vote
SG
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We present a method to generate glyphs which convey complex information in graphical form. A glyph has a linear geometry which is specified using geometric operations, e...
162
click to vote
APLAS
2004
ACM
16 years 3 days ago
2004
ACM
Modular programming enjoys many well-known advantages: readability, maintainability, separate development and compilation. However, the composition of modular units (components) s...
179
click to vote
EUROSPI
2004
Springer
16 years 2 days ago
2004
Springer
Post-mortem project reviews often yield useful lessons learned. These project reviews are mostly recorded in plain text. This makes it difficult to derive useful overall findings ...
146
click to vote
FATES
2004
Springer
16 years 2 days ago
2004
Springer
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EF...