3837 search results - page 195 / 768 » Concurrent Engineering support in Software Engineering |
214
Voted
EUROMICRO
1999
IEEE
15 years 11 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...
206
Voted
PROFES
2004
Springer
16 years 11 days 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...
187
click to vote
GECCO
2008
Springer
15 years 8 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 ...
166
click to vote
KBSE
2003
IEEE
16 years 9 days 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 ...
169
Voted
SIGSOFT
1993
ACM
15 years 11 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...