611 search results - page 1 / 123 » A Formal Contract Language for Plugin-based Software Enginee... |
ICECCS
2007
IEEE
13 years 11 months ago
2007
IEEE
Abstract—Plugin-based application design has become increasingly popular in recent years, and has contributed to the success of a range of very different applications including ...
POPL
2012
ACM
12 years 12 days ago
2012
ACM
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...
EMSOFT
2009
Springer
13 years 11 months ago
2009
Springer
ICFCA
2005
Springer
13 years 10 months ago
2005
Springer
A key difficulty in the maintenance and evolution of complex software systems is to recognize and understand the implicit dependencies that define contracts that must be respecte...
VL
2010
IEEE
13 years 3 months ago
2010
IEEE
Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper addresses the problems of formality, rigour and co...