611 search results - page 39 / 123 » A Formal Contract Language for Plugin-based Software Enginee... |
APSEC
2004
IEEE
15 years 3 months ago
2004
IEEE
The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, w...
SIGSOFT
2001
ACM
16 years 16 days ago
2001
ACM
For several different reasons, such as changes in the business or technological environment, the configuration of a system may need to evolve during execution. Support for such ev...
FOSSACS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. In this paper, we show how Miquel's Implicit Calculus of Constructions (ICC) can be used as a programming language featuring dependent types. Since this system has a...
132
click to vote
AOSD
2009
ACM
15 years 3 months ago
2009
ACM
Some security concerns are sensitive to flow of information in a program execution. The dataflow pointcut has been proposed by Masuhara and Kawauchi in order to easily implement s...
FASE
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Model-driven development is a field within software engineering in which software artifacts are represented as models in order to improve productivity, quality, and cost ...