4872 search results - page 395 / 975 » CBR for Modeling Complex Systems |
171
click to vote
ICECCS
2005
IEEE
16 years 12 days ago
2005
IEEE
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
180
Voted
UML
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Current software systems increasingly consist of distributed interacting components. The use of web services and similar middleware technologies strongly fosters such arc...
190
click to vote
FATES
2003
Springer
16 years 12 hour ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
172
click to vote
ICCS
2003
Springer
16 years 5 hour ago
2003
Springer
The academic literature suggests that the extent of exporting by multinational corporation subsidiaries (MCS) depends on their product manufactured, resources, tax protection, cus...
175
click to vote
SEKE
1993
Springer
15 years 11 months ago
1993
Springer
1 To handle the complexity of modern software systems, a software comprehension strategy pointing out the al abstraction level is necessary. In this context, the role of technology...