3837 search results - page 193 / 768 » Concurrent Engineering support in Software Engineering |
117
Voted
AVI
2010
15 years 5 months ago
2010
This paper reports on an empirical study designed as a follow-up of a theoretical model intended to support reasoning about the composition of smart artifacts by end-users. We hav...
109
Voted
POPL
2010
ACM
16 years 1 months ago
2010
ACM
Serializability is a commonly used correctness condition in concurrent programming. When a concurrent module is serializable, certain other properties of the module can be verifie...
144
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
Software comprehension (understanding software structure and behavior) is essential for developing, maintaining, and improving software. This is particularly true of agent-based s...
146
Voted
CBSE
2005
Springer
15 years 9 months ago
2005
Springer
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After ...
125
Voted
STEP
2005
IEEE
15 years 9 months ago
2005
IEEE
Maintenance costs make up the bulk of the total life cycle costs of a software system. Besides organizational issues such as knowledge management and turnover, the longterm mainte...