399 search results - page 50 / 80 » Verification of System Level Model Transformations |
153
click to vote
JUCS
2010
15 years 4 months ago
2010
: For many complex and dynamic ubiquitous services, context-aware cooperation can be a solution. However, the way is not yet clear to make individual objects cooperate with each ot...
212
click to vote
SPLC
2007
15 years 7 months ago
2007
Software product line engineering aims to reduce development time, effort, cost, and complexity by taking advantage of the commonality within a portfolio of similar products. The ...
170
Voted
ICLP
2005
Springer
15 years 11 months ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
147
click to vote
DATE
2006
IEEE
15 years 12 months ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
220
click to vote
ECOOP
2000
Springer
15 years 10 months ago
2000
Springer
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...