5832 search results - page 730 / 1167 » Software complexity and maintainability |
213
click to vote
ISSTA
2000
ACM
15 years 12 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
205
click to vote
CODES
1999
IEEE
15 years 11 months ago
1999
IEEE
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...
227
click to vote
COMPSAC
1999
IEEE
15 years 11 months ago
1999
IEEE
Design patterns have been used in object-oriented frameworks such as the IBM San Francisco framework, Apple's Rhaspody, OpenStep, and WebObjects, and DIWB. However, few guide...
195
click to vote
ICSM
1999
IEEE
15 years 11 months ago
1999
IEEE
Many coupling measures have been proposed in the context of object-oriented (OO) systems. In addition, several studies have highlighted the complexity of using dependency analysis...
217
click to vote
ACSD
1998
IEEE
15 years 11 months ago
1998
IEEE
The development of an interactive application is a complex task that has to consider data, behavior, intercommunication, architecture and distribution aspects of the modeled syste...