611 search results - page 2 / 123 » A Formal Contract Language for Plugin-based Software Enginee... |
AMAST
2008
Springer
15 years 3 months ago
2008
Springer
129
Voted
FMCO
2003
Springer
15 years 6 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...
110
Voted
KBSE
2006
IEEE
15 years 7 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,...
138
Voted
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
114
Voted
TCS
2002
15 years 23 days 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 ...