5961 search results - page 426 / 1193 » Design Science and Software Engineering |
180
click to vote
KBSE
2006
IEEE
16 years 27 days 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,...
175
click to vote
COMPSAC
2005
IEEE
16 years 15 days ago
2005
IEEE
SLABS is a formal specification language designed for modular and composable specification of multi-agent systems. This paper reports our attempts to support SLABS at the level ...
183
click to vote
ICSM
2005
IEEE
16 years 15 days ago
2005
IEEE
As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvabil...
155
click to vote
APSEC
1999
IEEE
15 years 11 months ago
1999
IEEE
As new software components become available for an existing system, we can evolve not only the system itself but also its requirements based on the new components. In this paper, ...
194
click to vote
ICSE
1999
IEEE-ACM
15 years 11 months ago
1999
IEEE-ACM
We present an architectural style for the integration of multiple real-time data feeds on Windows-NT platforms. We motivate the development of this style by highlighting different...