3837 search results - page 264 / 768 » Concurrent Engineering support in Software Engineering |
142
click to vote
ICSE
2009
IEEE-ACM
15 years 11 months ago
2009
IEEE-ACM
The paper presents Save-IDE, an Integrated Development Environment for the development of component-based embedded systems. Save-IDE supports efficient development of dependable ...
136
click to vote
KBSE
2006
IEEE
15 years 10 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,...
113
click to vote
KBSE
2006
IEEE
15 years 10 months ago
2006
IEEE
Software has been and is still mostly refactored without tool support. Moreover, as we found in our case studies, programmers tend not to document these changes as refactorings, o...
108
click to vote
APSEC
1999
IEEE
15 years 8 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, ...
157
click to vote
ICFEM
1998
Springer
15 years 8 months ago
1998
Springer
We show how familiar mathematical concepts from differential and integral calculus can be represented in the Z specification language. Digital computer systems involve hardware de...