1360 search results - page 166 / 272 » The SMART Approach for Software Process Engineering |
136
Voted
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
— Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well as loop invariants before we construct the code ...
110
click to vote
FASE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper we present a novel approach for the predicative specification of user rights in the context of an object oriented use case driven development process. We e...
112
click to vote
COMPSAC
2003
IEEE
15 years 8 months ago
2003
IEEE
We propose an approach (based on Water Transformations) to migrate web applications between various web development frameworks. This migration process preserves the structure of t...
131
click to vote
COMPSAC
2003
IEEE
15 years 8 months ago
2003
IEEE
Extracting data from Web pages using wrappers is a fundamental problem arising in a large variety of applications of vast practical interest. In this paper, we propose a novel sch...
152
click to vote
FOSSACS
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Domain theory began in an attempt to provide mathematical models for high-level programming languages, an area where it has proved to be particularly useful. It is perhap...