1782 search results - page 198 / 357 » Tool Support for Proof Engineering |
189
click to vote
COMPSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
With the ongoing trend towards the globalization of software systems and their development, components in these systems might not only work together, but may end up evolving indep...
160
click to vote
ACMDIS
2006
ACM
16 years 14 days ago
2006
ACM
In this paper we describe a collaborative environment created to support distributed evaluation of a complex system architecture. The approach couples an interactive architecture ...
160
click to vote
IWPC
2003
IEEE
15 years 11 months ago
2003
IEEE
Increasingly, applications are being built by combining existing software components. For the most part, a software developer can treat components as black-boxes. However, for som...
242
click to vote
ESEC
1999
Springer
15 years 10 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
175
click to vote
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
A contemporary office or knowledge worker has to deal with an ever increasing number of information channels and associated flows of events (i.e., software applications using vary...