611 search results - page 34 / 123 » A Formal Contract Language for Plugin-based Software Enginee... |
104
click to vote
PUK
2003
15 years 1 months ago
2003
In order to handle the large amount of variability in product families, automated product derivation support is desirable. To make automated product derivation possible one importa...
120
click to vote
ISORC
2009
IEEE
15 years 6 months ago
2009
IEEE
AUTOSAR as specified in its current version fosters timing-constraints at application level to support the development of real-time automotive applications. However, the standard...
107
click to vote
APN
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Software performance engineering deals with the consideration of quantitative analysis of the behaviour of software systems from the early development phases in the life ...
AAAI
2008
15 years 2 months ago
2008
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
110
click to vote
SAC
2010
ACM
14 years 9 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...