611 search results - page 2 / 123 » A Formal Contract Language for Plugin-based Software Enginee... |
AMAST
2008
Springer
13 years 7 months ago
2008
Springer
FMCO
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
KBSE
2006
IEEE
13 years 11 months ago
2006
IEEE
The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level,...
EMSOFT
2006
Springer
13 years 9 months ago
2006
Springer
TCS
2002
13 years 4 months ago
2002
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...