3837 search results - page 195 / 768 » Concurrent Engineering support in Software Engineering |
162
Voted
EUROMICRO
1999
IEEE
15 years 8 months ago
1999
IEEE
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
157
click to vote
PROFES
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Software maintenance is the most expensive activity in software development. Many software companies spent a large amount of cost to maintain the existing software system...
126
click to vote
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
124
Voted
KBSE
2003
IEEE
15 years 9 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
125
click to vote
SIGSOFT
1993
ACM
15 years 7 months ago
1993
ACM
1 Many software libraries (e.g., the Booch C++ Components, libg++, NIHCL, COOL) provide components (classes) that implement data structures. Each component is written by hand and r...