611 search results - page 5 / 123 » A Formal Contract Language for Plugin-based Software Enginee... |
ISSTA
2009
ACM
14 years 4 months ago
2009
ACM
Where do contracts — specification elements embedded in executable code — come from? To produce them, should we rely on the programmers, on automatic tools, or some combinati...
QSIC
2005
IEEE
14 years 3 months ago
2005
IEEE
In component software, the independence of components is achieved by separating their interfaces from implementations. The interface definition of a component serves as the contr...
FCA
2005
Springer
14 years 3 months ago
2005
Springer
Formal Concept Analysis (FCA) has typically been applied in the field of software engineering to support software maintenance and object-oriented class identification tasks. This...
CIBSE
2009
ACM
14 years 4 months ago
2009
ACM
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In t...
QSIC
2003
IEEE
14 years 3 months ago
2003
IEEE
The goal of this paper is to examine the Japanese experience with the software development process, the challenges they face and how formal engineering methods, in particular SOFL...